ListarInformation Retrieval Lab (IRlab) por tema "Strong Equivalence"
Mostrando ítems 1-1 de 1
-
Forgetting Auxiliary Atoms in Forks
(Elsevier Ltd, 2019)[Abstract]: In this work we tackle 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. ...