Ordering default theories and nonmonotonic logic programs.
Chiaki SakamaPublished in: Theor. Comput. Sci. (2005)
Keyphrases
- logic programs
- default theories
- logic programming
- default logic
- autoepistemic logic
- nonmonotonic reasoning
- answer set programming
- nonmonotonic logics
- strong equivalence
- default rules
- answer sets
- default reasoning
- answer set semantics
- stable models
- classical logic
- fixpoint
- minimal models
- deductive databases
- reasoning tasks
- background knowledge
- computational properties
- knowledge representation and reasoning
- partial order
- abductive reasoning
- truth maintenance systems
- disjunctive logic programming
- model theoretic
- answer set programs
- defeasible logic
- possibilistic logic
- knowledge representation
- machine learning