Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)

Event name
Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)
 
Event type
Event for scientific audience
 
Start date
14-05-2007
End date
17-05-2007
 
Location
Tempe, AZ, USA
Tempe, AZ, USA
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.005 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