ML Anthology

Complexity Results for Checking Equivalence of Stratified Logic Programs

Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
IJCAI 2007 pp. 330-335
/ijcai/2007/eiter2007ijcai-complexity/
PDF IJCAI Semantic Scholar

Cite

Text

Eiter et al. "Complexity Results for Checking Equivalence of Stratified Logic Programs." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Eiter et al. "Complexity Results for Checking Equivalence of Stratified Logic Programs." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/eiter2007ijcai-complexity/)

BibTeX

@inproceedings{eiter2007ijcai-complexity,
  title     = {{Complexity Results for Checking Equivalence of Stratified Logic Programs}},
  author    = {Eiter, Thomas and Fink, Michael and Tompits, Hans and Woltran, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {330-335},
  url       = {https://mlanthology.org/ijcai/2007/eiter2007ijcai-complexity/}
}