Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs

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 to more general classes of programs and theories. When intertheory relations are studied...

Full description

Bibliographic Details
Main Authors: Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
Format: Article
Language:English
Published: MDPI AG 2022-06-01
Series:Algorithms
Subjects:
answer set programming
equilibrium logic
intertheory relations
projective entailment
forks in ASP
Online Access:https://www.mdpi.com/1999-4893/15/6/201

Similar Items

Similar Items