 | 2009 |
|---|
| 6 |       | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.
LPNMR 2009: 382-395 |
| 2008 |
|---|
| 5 | | Johannes Oetsch,
Hans Tompits:
Program Correspondence under the Answer-Set Semantics: The Non-ground Case.
ICLP 2008: 591-605 |
| 2007 |
|---|
| 4 |  | Johannes Oetsch,
Hans Tompits,
Stefan Woltran:
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
AAAI 2007: 458-464 |
| 3 | | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.
INAP/WLP 2007: 241-246 |
| 2006 |
|---|
| 2 | | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.
JELIA 2006: 502-505 |
| 1 | | Johannes Oetsch,
Martina Seidl,
Hans Tompits,
Stefan Woltran:
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
WLP 2006: 200-205 |
