9. LPNMR 2007: Tempe, AZ, USA - CENT

David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran (Eds.): Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, May 14, 2007. CEUR Workshop Proceedings 265 CEUR-WS.org 2007

Joohyung Lee, Ravi Palla:
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
Stefan Woltran:
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming.
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran:
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
David Pearce, Hans Tompits, Stefan Woltran:
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.
David Pearce, Agustín Valverde:
Interpretability and Equivalence in Quantified Equilibrium Logic.