{"type":"ScholarlyArticle","title":"Complexity Results for Checking Equivalence of Stratified Logic Programs","authors":[{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":""},{"name":"Michael Fink","slug":"michael-fink","given":"Michael","family":"Fink","affiliation":""},{"name":"Hans Tompits","slug":"hans-tompits","given":"Hans","family":"Tompits","affiliation":""},{"name":"Stefan Woltran","slug":"stefan-woltran","given":"Stefan","family":"Woltran","affiliation":""}],"abstract":"Recent research in nonmonotonic logic programming under the answer-set semantics focuses on different notions of program equivalence. However, previous results do not address the important classes of stratified programs and its subclass of acyclic (i.e., recursion-free) programs, although they are recognized as important tools for knowledge representation and reasoning. In this paper, we consider such programs, possibly augmented with constraints. Our results show that in the propositional setting, where reasoning is well-known to be polynomial, deciding strong and uniform equivalence is as hard as for arbitrary normal logic programs (and thus coNP-complete), but is polynomial in some restricted cases. Non-ground programs behave similarly. However, exponential lower bounds already hold for small programs (i.e., with constantly many rules). In particular, uniform equivalence is undecidable even for small Horn programs plus a single negative constraint.","doi":null,"url":"https://ijcai.org/proceedings/2007/51","pdf":"https://ijcai.org/proceedings/2007/0051.pdf","markdown":"https://ijcai.org/proceedings/2007/51.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/51","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":51,"pages":{"first":330,"last":334},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}