{"type":"ScholarlyArticle","title":"Complexity of Nested Circumscription and Abnormality Theories","authors":[{"name":"Marco Cadoli","slug":"marco-cadoli","given":"Marco","family":"Cadoli","affiliation":""},{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":""},{"name":"Georg Gottlob","slug":"georg-gottlob","given":"Georg","family":"Gottlob","affiliation":""}],"abstract":"We propose an extension of circumscription by allowing propositional combinations and nesting of circumscriptive theories. As shown, Lifschitz’s nested abnormality theories (NATs, introduced in AIJ, 1995) are naturally embedded into this language. We analyze the complexity of and NATs, and in particular the effect of nesting. The latter is found a source of complexity, as both formalisms are proved to be PSPACE-complete. We identify cases of lower complexity, including a tractable case. Our results give insight into the “cost” of using resp. NATs as a host language for expressing other formalisms, such as narratives.","doi":null,"url":"https://ijcai.org/proceedings/2001/23","pdf":"https://ijcai.org/proceedings/2001/0023.pdf","markdown":"https://ijcai.org/proceedings/2001/23.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/23","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":23,"pages":{"first":169,"last":173},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}