Strong Equivalence Made Easy: Nested Expressions and Weight Constraints

Hudson Turner

Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is…