A Dichotomy in the Complexity of Propositional Circumscription.
Lefteris M. KirousisPhokion G. KolaitisPublished in: LICS (2001)
Keyphrases
- default logic
- propositional logic
- autoepistemic logic
- computational complexity
- worst case
- first order logic
- computational cost
- logic programming
- disjunctive logic programming
- default reasoning
- classical logic
- closed world assumption
- database
- polynomial hierarchy
- minimal models
- nonmonotonic reasoning
- theorem prover
- situation calculus
- data sets