|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Artikel Article | 2016 |
| 2 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan ; Calimeri, Francesco ; Ianni, Giovambattista ; Truszczynski, Miroslaw | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings  | 2015 |
| 3 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan ; Inclezan, Daniela ; Maratea, Marco | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |
| 4 | | Gebser, Martin ; Pührer, Jörg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Seipel, Dietmar ; Hanus, Michael ; Wolf, Armin | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2009 |
| 5 | | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Hartmann, Sven ; Kern-Isberner, Gabriele | Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets | Konferenzbeitrag Inproceedings | 2008 |
| 6 | | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Fox, Dieter ; Gomes, Carla P. | A Meta-Programming Technique for Debugging Answer-Set Programs | Konferenzbeitrag Inproceedings | 2008 |
| 7 | | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics | Konferenzbeitrag Inproceedings | 2007 |
| 8 | | Gebser, Martin ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report | Konferenzbeitrag Inproceedings | 2007 |
| 9 | | Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | Debugging ASP Programs by Means of ASP | Konferenzbeitrag Inproceedings | 2007 |
| 10 | | Brain, Martin ; Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan | That is illogical Captain! The Debugging Support Tool spock for Answer-Set Programs -- System Description | Konferenzbeitrag Inproceedings | 2007 |
