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

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Oetsch, Johannes ; Tompits, Hans Gentzen-type Refutation Systems for Three-Valued LogicsKonferenzbeitrag Inproceedings 2010
2Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set ProgramsKonferenzbeitrag Inproceedings 2010