Strong Equivalence in Answer Set Programming with Constraints

Pedro Cabalar, Jorge Fandinno, Torsten Schaub +1

We investigate the concept of strong equivalence within the extended framework of Answer Set Programming with constraints. Two groups of rules are considered strongly equivalent if…