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

Filter:
Author:  Woltran, Stefan
Author:  Tompits, Hans

Results 1-3 of 3 (Search time: 0.003 seconds).

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