| |
| 2008 | ||
|---|---|---|
| 4 | EE | Johannes Oetsch, Hans Tompits: Program Correspondence under the Answer-Set Semantics: The Non-ground Case. ICLP 2008: 591-605 |
| 2007 | ||
| 3 | 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 | |
| 2006 | ||
| 2 | EE | 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 | EE | 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 |
| 1 | Martina Seidl | [1] [2] |
| 2 | Hans Tompits | [1] [2] [3] [4] |
| 3 | Stefan Woltran | [1] [2] [3] |