24th Workshop on (Constraint) Logic Programming WLP'2010
Book title Buchtitel
24th Workshop on (Constraint) Logic Programming WLP'2010
Editor Herausgeber_in
Publisher Herausgeber
Technical Report, Faculty of Media Engineering and Technology, German University in Cairo
Place of publishing Erscheinungsort
Kario, Ägypten
Date issued
Results 1-2 of 2 (Search time: 0.001 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 |