11th International Workshop on Nonmonotonic Reasoning
Event name
11th International Workshop on Nonmonotonic Reasoning
Start date
30-05-2006
End date
01-06-2006
Location
Lake District, UK
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | A Tool for Advanced Correspondence Checking in Answer-Set Programming | Konferenzbeitrag Inproceedings  | 2006 | |
| 2 | Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Dix, Jürgen ; Hunter, Anthony | Towards Efficient Evaluation of HEX Programs | Konferenzbeitrag Inproceedings | 2006 |