The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Johannes Oetsch: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]

  4. On Testing Answer-Set Programs. [Citation Graph (, )][DBLP]


  5. Program Correspondence under the Answer-Set Semantics: The Non-ground Case. [Citation Graph (, )][DBLP]


  6. Methods and Methodologies for Developing Answer-Set Programs - Project Description. [Citation Graph (, )][DBLP]


  7. ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. [Citation Graph (, )][DBLP]


  8. Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. [Citation Graph (, )][DBLP]


  9. The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs [Citation Graph (, )][DBLP]


  10. Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002