A Characterization of Strong Equivalence for Logic Programs with Variables.
Vladimir LifschitzDavid PearceAgustín ValverdePublished in: LPNMR (2007)
Keyphrases
- strong equivalence
- logic programs
- logic programming
- stable models
- answer sets
- answer set programming
- fixpoint
- answer set semantics
- general logic programs
- autoepistemic logic
- normal logic programs
- inductive logic programming
- argumentation frameworks
- horn clauses
- sufficient conditions
- model theoretic
- artificial intelligence
- belief revision
- description logics