ListarInformation Retrieval Lab (IRlab) por tema "Denotational semantics"
Mostrando ítems 1-1 de 1
-
A Polynomial Reduction of Forks Into Logic Programs
(Elsevier, 2022)[Abstract] In this research note we present additional results for an earlier published paper [1]. There, we studied the problem of projective strong equivalence (PSE) of logic programs, that is, checking whether two logic ...