On the logic and computation of partial equilibrium models

Authors:
Pedro Cabalar;Sergei Odintsov;David Pearce;Agustín Valverde
Affiliations:
Corunna University, Corunna, Spain;Sobolev Institute of Mathematics, Novosibirsk, Russia;Universidad Rey Juan Carlos, Madrid, Spain;University of Málaga, Málaga, Spain
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 9
Cited 0

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Automated deduction in multiple-valued logics

Automated deduction in multiple-valued logics
Splitting a logic program

Proceedings of the eleventh international conference on Logic programming
Strongly equivalent logic programs

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Nested expressions in logic programs

Annals of Mathematics and Artificial Intelligence
A New Logical Characterisation of Stable Models and Answer Sets

NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
A Tableau Calculus for Equilibrium Entailment

TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Equilibrium logic

Annals of Mathematics and Artificial Intelligence
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The nonmonotonic formalism of partial equilibrium logic (PEL) has recently been proposed as a logical foundation for the partial stable and well-founded semantics of logic programs [1,2]. We study certain logical properties of PEL and some techniques to compute partial equilibrium models.