Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.
Miroslaw TruszczynskiPublished in: LPNMR (2009)
Keyphrases
- disjunctive logic programs
- polynomial hierarchy
- answer set programming
- disjunctive logic programming
- logic programming
- logic programs
- dnf formulas
- minimal models
- default logic
- stable model semantics
- knowledge base
- answer sets
- knowledge representation
- artificial intelligence
- reasoning problems
- dl lite
- stable models
- desirable properties