Vol-265 © 2007 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material on this page requires permission by the copyright owners.

CENT 2007
Correspondence and Equivalence for Nonmonotonic Theories

Proceedings of the LPNMR'07 Workshop on
Correspondence and Equivalence for Nonmonotonic Theories (CENT2007)
http://www.kr.tuwien.ac.at/cent2007/
Tempe, AZ, May 14, 2007.

David Pearce, Universidad Rey Juan Carlos, Madrid
Axel Polleres, DERI, National University of Ireland, Galway
Agustín Valverde, Universidad de Málaga, Spain
Stefan Woltran, Vienna University of Technology, Austria

Table of Contents

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