Strong Equivalence for Logic Programs and Default Theories (Made Easy).
Hudson TurnerPublished in: LPNMR (2001)
Keyphrases
- strong equivalence
- default theories
- logic programs
- autoepistemic logic
- answer set programming
- default logic
- logic programming
- answer sets
- stable models
- nonmonotonic reasoning
- answer set semantics
- classical logic
- default reasoning
- nonmonotonic logics
- fixpoint
- argumentation semantics
- reasoning tasks
- machine learning
- modal logic
- inductive logic programming
- deductive databases
- model theoretic
- belief revision
- dynamical systems