A Dichotomy in the Complexity of Propositional Circumscription.
Lefteris M. KirousisPhokion G. KolaitisPublished in: Theory Comput. Syst. (2004)
Keyphrases
- default logic
- disjunctive logic programming
- polynomial hierarchy
- autoepistemic logic
- propositional logic
- computational complexity
- minimal models
- worst case
- answer sets
- situation calculus
- nonmonotonic reasoning
- default reasoning
- decision problems
- expert systems
- artificial intelligence
- loop formulas
- answer set programs