Backdoors to Normality for Disjunctive Logic Programs.
Johannes Klaus FichteStefan SzeiderPublished in: AAAI (2013)
Keyphrases
- disjunctive logic programs
- answer set programming
- disjunctive logic programming
- logic programming
- logic programs
- polynomial hierarchy
- default logic
- minimal models
- stable model semantics
- desirable properties
- stable models
- satisfiability problem
- propositional logic
- answer sets
- sat solvers
- nonmonotonic reasoning
- knowledge representation
- sat instances
- knowledge representation and reasoning
- autoepistemic logic
- deductive databases
- general purpose
- default theories
- constraint satisfaction
- np complete
- upper bound