An abductive approach to disjunctive logic programming.
Jia-Huai YouLi-Yan YuanRandy GoebelPublished in: J. Log. Program. (2000)
Keyphrases
- disjunctive logic programming
- logic programming
- answer set programming
- knowledge representation and reasoning
- polynomial hierarchy
- logic programs
- deductive databases
- answer sets
- knowledge representation
- background knowledge
- knowledge base
- nonmonotonic reasoning
- reasoning tasks
- programming language
- inductive logic programming
- orders of magnitude
- answer set semantics