Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories
Book title Buchtitel
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories
Publisher Herausgeber
CEUR-Proceedings
Place of publishing Erscheinungsort
265
Series Schriftenreihe
CEUR Workshop Proceedings
Results 1-4 of 4 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Woltran, Stefan | A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming | Konferenzbeitrag Inproceedings | 2007 | |
2 | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report | Konferenzbeitrag Inproceedings | 2007 | |
3 | Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan ; Pearce, David ; Polleres, Axel Florian ; Woltran, Stefan ; Valverde, Agustin | Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection | Konferenzbeitrag Inproceedings | 2007 | |
4 | Pearce, David ; Tompits, Hans ; Woltran, Stefan | Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report | Konferenzbeitrag Inproceedings | 2007 |