Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)
Event name
Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)
Start date
14-05-2007
End date
17-05-2007
Location
Tempe, AZ, USA
Country
Event format Veranstaltungsformat
On Site
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 |