Argumentation-based abduction in disjunctive logic programming.
Kewen WangPublished in: J. Log. Program. (2000)
Keyphrases
- disjunctive logic programming
- logic programming
- answer set programming
- logic programs
- knowledge representation and reasoning
- background knowledge
- answer sets
- deductive databases
- reasoning tasks
- polynomial hierarchy
- knowledge representation
- nonmonotonic reasoning
- probabilistic reasoning
- artificial intelligence
- general purpose
- answer set semantics
- knowledge base