ML Anthology

Hyperequivalence of Logic Programs with Respect to Supported Models

Miroslaw Truszczynski, Stefan Woltran
AAAI 2008 pp. 560-565
/aaai/2008/truszczynski2008aaai-hyperequivalence/
PDF AAAI Semantic Scholar

Cite

Text

Truszczynski and Woltran. "Hyperequivalence of Logic Programs with Respect to Supported Models." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Truszczynski and Woltran. "Hyperequivalence of Logic Programs with Respect to Supported Models." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/truszczynski2008aaai-hyperequivalence/)

BibTeX

@inproceedings{truszczynski2008aaai-hyperequivalence,
  title     = {{Hyperequivalence of Logic Programs with Respect to Supported Models}},
  author    = {Truszczynski, Miroslaw and Woltran, Stefan},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {560-565},
  url       = {https://mlanthology.org/aaai/2008/truszczynski2008aaai-hyperequivalence/}
}