Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach.
Mirek Truszczynski · 2006
We show that the concept of strong equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong equivalence for several nonmonotonic logics including logic programming with aggregates, default logic and a version of autoepistemic logic.