The DLV system for knowledge representation and reasoning
Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge
representation and reasoning, which is very expressive in a precise mathematical sense: it …
representation and reasoning, which is very expressive in a precise mathematical sense: it …
Equilibrium logic
D Pearce - Annals of Mathematics and Artificial Intelligence, 2006 - Springer
Equilibrium logic is a general purpose nonmonotonic reasoning formalism closely aligned
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …
with answer set programming (ASP). In particular it provides a logical foundation for ASP as …
Weight constraints as nested expressions
P Ferraris, V Lifschitz - Theory and Practice of Logic Programming, 2005 - cambridge.org
We compare two recent extensions of the answer set (stable model) semantics of logic
programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of …
programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of …
Applications of intuitionistic logic in answer set programming
M Osorio, JA Navarro, J Arrazola - Theory and Practice of Logic …, 2004 - cambridge.org
We present some applications of intermediate logics in the field of Answer Set Programming
(ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and …
(ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and …
Towards a first order equilibrium logic for nonmonotonic reasoning
D Pearce, A Valverde - Logics in Artificial Intelligence: 9th European …, 2004 - Springer
Abstract Equilibrium logic, introduced in [20], is a conservative extension of answer set
semantics for logic programs to the full language of propositional logic. In this paper we …
semantics for logic programs to the full language of propositional logic. In this paper we …
ASP at Work: Spin-off and Applications of the DLV System
Abstract Answer Set Programming (ASP) is a declarative language for knowledge
representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and …
representation and reasoning. After its proposal, in a seminal paper by Michael Gelfond and …
Reducing propositional theories in equilibrium logic to logic programs
The paper studies reductions of propositional theories in equilibrium logic to logic programs
under answer set semantics. Specifically we are concerned with the question of how to …
under answer set semantics. Specifically we are concerned with the question of how to …
Characterising equilibrium logic and nested logic programs: Reductions and complexity1, 2
Equilibrium logic is an approach to non-monotonic reasoning that extends the stable-model
and answer-set semantics for logic programs. In particular, it includes the general case of …
and answer-set semantics for logic programs. In particular, it includes the general case of …
Model-based recasting in answer-set programming
As is well known, answer-set programs do not satisfy the replacement property in general,
ie, programs and that are equivalent may cease to be so when they are put in the context of …
ie, programs and that are equivalent may cease to be so when they are put in the context of …
[PDF][PDF] A Glimpse of Answer Set Programming.
C Anger, K Konczak, T Linke, T Schaub - Künstliche Intell., 2005 - cs.uni-potsdam.de
Answer Set Programming (ASP) is a declarative paradigm for solving search problems
appearing in knowledge representation and reasoning. To solve a problem, a programmer …
appearing in knowledge representation and reasoning. To solve a problem, a programmer …