Listar1. Investigación por tema "Strong persistence"
Mostrando ítems 1-1 de 1
-
Syntactic ASP forgetting with forks
(Elsevier, 2024-01)[Abstract]: Answer Set Programming (ASP) constitutes nowadays one of the most successful paradigms for practical Knowledge Representation and declarative problem solving. The formal analysis of ASP programs is essential ...