ListarInformation Retrieval Lab (IRlab) por tema "Projective entailment"
Mostrando ítems 1-1 de 1
-
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
(MDPI, 2022)[Abstract] Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics ...