2008 | ||
---|---|---|
3 | Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits: A Meta-Programming Technique for Debugging Answer-Set Programs. AAAI 2008: 448-453 | |
2 | EE | Jörg Pührer, Hans Tompits, Stefan Woltran: Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. ICLP 2008: 561-575 |
2007 | ||
1 | EE | Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran: Debugging ASP Programs by Means of ASP. LPNMR 2007: 31-43 |
1 | Martin Brain | [1] |
2 | Martin Gebser | [1] [3] |
3 | Torsten Schaub | [1] [3] |
4 | Hans Tompits | [1] [2] [3] |
5 | Stefan Woltran | [1] [2] |