 | 2009 |
|---|
| 5 |       | Jörg Pührer,
Hans Tompits:
Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.
LPNMR 2009: 264-276 |
| 2008 |
|---|
| 4 |  | Martin Gebser,
Jörg Pührer,
Torsten Schaub,
Hans Tompits:
A Meta-Programming Technique for Debugging Answer-Set Programs.
AAAI 2008: 448-453 |
| 3 | | Jörg Pührer,
Hans Tompits,
Stefan Woltran:
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.
ICLP 2008: 561-575 |
| 2007 |
|---|
| 2 | | Martin Gebser,
Jörg Pührer,
Torsten Schaub,
Hans Tompits,
Stefan Woltran:
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
INAP/WLP 2007: 247-252 |
| 1 | | 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 |
