A Trichotomy in the Complexity of Propositional Circumscription.
Gustav NordhPublished in: LPAR (2004)
Keyphrases
- default logic
- polynomial hierarchy
- disjunctive logic programming
- propositional logic
- default reasoning
- logic programs
- answer sets
- computational cost
- data sets
- first order logic
- partial order
- general logic programs
- minimal models
- commonsense knowledge
- propositional formulas
- nonmonotonic logics
- situation calculus
- data exchange
- decision problems
- knowledge representation
- relational databases