Keyphrases
- answer set programming
- disjunctive logic programs
- logic programming
- logic programs
- answer sets
- stable model semantics
- lower bound
- disjunctive logic programming
- upper bound
- worst case
- reasoning tasks
- answer set programs
- answer set semantics
- stable models
- knowledge representation
- polynomial hierarchy
- fixpoint
- search strategies
- relational databases