Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories
 
Editor Herausgeber_in
 

Publications Publikationen

Results 1-4 of 4 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltran, Stefan A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2007
2Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary ReportKonferenzbeitrag Inproceedings2007
3Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set ProjectionKonferenzbeitrag Inproceedings 2007
4Pearce, David ; Tompits, Hans ; Woltran, Stefan Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary ReportKonferenzbeitrag Inproceedings 2007