Gilberto Pérez

Forgetting Auxiliary Atoms in Forks (Extended Abstract)

This work tackles the problem of checking strong equivalence of logic programs that may contain local auxiliary atoms, to be removed from their stable models and to be forbidden in any external context. We call this property projective strong equivalence (PSE). It has been recently proved that not a…