Disjunctive Logic Programming and Autoepistemic Logic.
Li-Yan YuanJia-Huai YouRandy GoebelPublished in: LPKR (1997)
Keyphrases
- disjunctive logic programming
- autoepistemic logic
- logic programming
- default logic
- logic programs
- nonmonotonic reasoning
- answer set programming
- default theories
- classical logic
- minimal models
- knowledge representation and reasoning
- answer sets
- modal logic
- default reasoning
- knowledge representation
- nonmonotonic logics
- truth maintenance systems
- programming language
- answer set semantics
- polynomial hierarchy
- stable models
- reasoning tasks
- deductive databases
- model theoretic
- knowledge base
- fixpoint