24th Workshop on (Constraint) Logic Programming (WLP 2010)
Event name
24th Workshop on (Constraint) Logic Programming (WLP 2010)
Start date
14-09-2010
End date
16-09-2010
Location
Kairo
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Oetsch, Johannes ; Tompits, Hans ; Abdennadher, Slim | Gentzen-type Refutation Systems for Three-Valued Logics | Konferenzbeitrag Inproceedings  | 2010 | |
| 2 | Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans ; Abdennadher, Slim | Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs | Konferenzbeitrag Inproceedings | 2010 |