Login / Signup
CENT
2007
2007
2007
Keyphrases
Publications
2007
David Pearce
,
Hans Tompits
,
Stefan Woltran
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.
CENT
(2007)
Martin Gebser
,
Torsten Schaub
,
Hans Tompits
,
Stefan Woltran
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
CENT
(2007)
David Pearce
,
Agustín Valverde
Interpretability and Equivalence in Quantified Equilibrium Logic.
CENT
(2007)
Stefan Woltran
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming.
CENT
(2007)
Joohyung Lee
,
Ravi Palla
Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs.
CENT
(2007)
volume 265, 2007
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007
CENT
265 (2007)