Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs.
Miroslaw TruszczynskiPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- disjunctive logic programs
- polynomial hierarchy
- answer set programming
- disjunctive logic programming
- logic programming
- logic programs
- answer sets
- default logic
- reasoning tasks
- computational complexity
- dl lite
- stable models
- temporal reasoning
- dnf formulas
- stable model semantics
- upper and lower bounds
- computational properties
- answer set semantics
- programming language
- data model
- knowledge base