Infinitary Equilibrium Logic and Strong Equivalence - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde. Infinitary Equilibrium Logic and Strong Equivalence. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 398-410, Springer, 2015. [doi]

The following publications are possibly variants of this publication:

Infinitary equilibrium logic and strongly equivalent logic programsAmelia Harrison, Vladimir Lifschitz, David Pearce 0001, Agustín Valverde. ai, 246:22-33, 2017. [doi]

Interpretability and Equivalence in Quantified Equilibrium LogicDavid Pearce, Agustín Valverde. lpnmr 2007: [doi]

Some Typesmof Equivalence for Logic Programs and Equilibrium LogicDavid Pearce, Agustín Valverde. agp 2003: 350-361

Uniform Equivalence for Equilibrium Logic and Logic ProgramsDavid Pearce, Agustín Valverde. lpnmr 2004: 194-206 [doi]

Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary ReportDavid Pearce, Hans Tompits, Stefan Woltran. lpnmr 2007: [doi]

A Characterization of Strong Equivalence for Logic Programs with VariablesVladimir Lifschitz, David Pearce, Agustín Valverde. lpnmr 2007: 188-200 [doi]

runs on WebDSL