|
Search the dblp DataBase
Johannes Oetsch:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. [Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:502-505 [Conf]
- Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. [Citation Graph (0, 0)][DBLP] WLP, 2006, pp:200-205 [Conf]
- Johannes Oetsch, Hans Tompits, Stefan Woltran
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. [Citation Graph (0, 0)][DBLP] AAAI, 2007, pp:458-464 [Conf]
On Testing Answer-Set Programs. [Citation Graph (, )][DBLP]
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. [Citation Graph (, )][DBLP]
Methods and Methodologies for Developing Answer-Set Programs - Project Description. [Citation Graph (, )][DBLP]
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. [Citation Graph (, )][DBLP]
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. [Citation Graph (, )][DBLP]
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs [Citation Graph (, )][DBLP]
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|