A General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

Michael Fink

Different notions of equivalence, such as the prominent notions of strong and uniform equivalence, have been studied in Answer-Set Programming, mainly for the purpose of identifyin…