MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Equilibrium logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

44 documents found, showing 1 through 10. Next 10 →

ATOM

Quantified equilibrium logic and hybrid rules
by Jos De Bruijn, David Pearce, Axel Polleres, Agustín Valverde — 2007 — In Proceedings ASP-2007
…Quantified Equilibrium Logic and Hybrid Rules ⋆ Jos de Bruijn 3 , David Pearce 1 , Axel Polleres 1…
Cited by 2 (0 self) – Add To MetaCart

Temporal Equilibrium Logic: a first approach ⋆
by Pedro Cabalar, Gilberto Pérez Vega
…Temporal Equilibrium Logic: a first approach ⋆ Pedro Cabalar and Gilberto Pérez Vega Dept…
Cited by 1 (1 self) – Add To MetaCart

Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity
by D. Pearce, H. Tompits, S. Woltran, Juan Carlos, David Pearce, Hans Tompits, Stefan Woltran — 2007
…GIA – Grupo de Inteligencia Artificial Characterising Equilibrium Logic and Nested Logic Programs…
Cited by 1 (1 self) – Add To MetaCart

A.: Reducing propositional theories in equilibrium logic to logic programs
by Pedro Cabalar, David Pearce, Agustín Valverde — 2005 — Progress in Artificial Intelligence, Proc. of the 12th Portuguese Conf. on Artificial Intelligence, EPIA’05
…Reducing Propositional Theories in Equilibrium Logic to Logic Programs Pedro Cabalar 1 , David…
Cited by 5 (5 self) – Add To MetaCart

Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic
by Pedrocabalar Sergeiodintsov Davidpearceandagustnvalverde
…Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic…
Add To MetaCart

A New Logical Characterisation of Stable Models and Answer Sets
by David Pearce — 1997 — In Proc. of NMELP 96, LNCS 1216
… programming with nonclassical, nonmonotonic logics. We define a nonmonotonic logic, called equilibrium logic…
Cited by 26 (10 self) – Add To MetaCart

Answer Sets for Propositional Theories
by Paolo Ferraris — 2005 — In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR
… 78712, USA otto@(email omitted); Abstract. Equilibrium logic, introduced by David Pearce, extends…
Cited by 27 (4 self) – Add To MetaCart

A Tableau Calculus for Equilibrium Entailment
by David Pearce, Inmaculada P. de Guzman, Agustín Valverde — 2000 — In Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000, LNAI 1847
… semantics for logic programs. We describe tableau calculi for the nonclassical logics underyling equilibrium…
Cited by 10 (8 self) – Add To MetaCart

New Insights on the Intuitionistic Interpretation of Default Logic
by Pedro Cabalar, David Lorenzo
…) and Pearce’s Equilibrium Logic (which encodes logic programs into the intermediate logic of Here…
Add To MetaCart

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
by Pedro Cabalar, Sergei Odintsov, David Pearce — 2006 — Proceedings of IBERAMIA-SBIA 2006, LNCS 4140
…, Spain), davidandrew.pearce@(email omitted); Abstract. A formalism called partial equilibrium logic (PEL) has…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB