TU Home
This publication list has been generated automatically from the publication data of the Faculty of Informatics. Please invoke the page "Publications of the Faculty" directly for more complex searches and queries, or use the global search function of the Publication Database of the Vienna University of Technology!


Publication Database Home  

Publication list for
Johannes Oetsch
as author or essentially involved person

44 records (2006 - 2015)


Books and Book Editorships


  1. H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.):
    "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011, Revised Selected Papers";
    Springer, LNAI, 2013, ISBN: 978-3-642-41523-4.

    More information

  2. S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, H. Tompits, M. Umeda, A. Wolf (ed.):
    "Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)";
    TU Wien, Wien, 2011, 290 pages.


Publications in Scientific Journals


  1. M. Brain, E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz:
    "Event-Sequence Testing using Answer-Set Programming";
    International Journal On Advances in Software, 5 (2012), 3 & 4; 15 pages.

    More information


Contributions to Books


  1. J. Oetsch, J. Puehrer, H. Tompits:
    "Stepwise Debugging of Description-Logic Programs";
    in: "Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz", Springer, LNCS 7265, 2012, (invited), 492 - 508.

    More information


Contributions to Proceedings


  1. P. Busoniu, J. Oetsch, J. Puehrer, P. Skocovsky, H. Tompits:
    "SeaLion: An Eclipse-based IDE for Answer-Set Programming with Advanced Debugging Support";
    in: "Theory and Practice of Logic Programming, Volume 13, Special Issue 4-5 (29th International Conference on Logic Programming)", Cambridge University Press, 2013, 657 - 673.

    More information

  2. C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011 Vienna, Austria, September 28-30, 2011 Revised Selected Papers", Springer, LNAI, 2013, 325 - 344.

    More information

  3. J. Oetsch, J. Puehrer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    in: "Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers", Springer, LNAI, 2013, 305 - 324.

    More information

  4. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246.


Talks and Poster Presentations (with Proceedings-Entry)


  1. U. Egly, F. Lonsing, J. Oetsch:
    "Automated Benchmarking of Incremental SAT and QBF Solvers";
    Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Suva, Fiji; 11-24-2015 - 11-28-2015; in: "Lecture Notes in Computer Science", Springer, 9450 (2015), 178 - 186.

    More information

  2. M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "The Fourth Answer Set Programming Competition: Preliminary Report";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

    More information

  3. J. Oetsch, J. Puehrer, H. Tompits:
    "Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming";
    Talk: 26th Workshop on Logic Programming (WLP 2012), Bonn, Germany; 09-24-2012 - 09-25-2012; in: "26th Workshop on Logic Programming (WLP 2012)", (2012), 129 - 137.

    More information

  4. M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits:
    "Annotating Answer-Set Programs in LANA";
    Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 08-04-2012 - 08-08-2012; in: "28th International Conference on Logic Programming", Cambridge University Press, Volume 12 / Special Issue 4-5 / Cambridge (2012), 619 - 637.

    More information

  5. J. Oetsch, J. Puehrer, H. Tompits:
    "An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions";
    Talk: 28th International Conference on Logic Programming, Budapest, Hungary; 08-04-2012 - 08-08-2012; in: "Technical Communications of the 28th International Conference on Logic Programming", LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Volume 17 (2012), 12 pages.

    More information

  6. J. Oetsch, M. Prischink, J. Puehrer, M. Schwengerer, H. Tompits:
    "On the Small-Scope Hypothesis for Testing Answer-Set Programs";
    Talk: 13th International Conference on Principles of Knowledge Representation and Reasoning, Rome, Italy; 06-10-2012 - 06-14-2012; in: "13th International Conference on Principles of Knowledge Representation and Reasoning", AAAI Press, (2012), ISBN: 978-1-57735-561-8; 43 - 53.

    More information

  7. M. De Vos, D. Kisa, J. Oetsch, J. Puehrer, H. Tompits:
    "LANA: A Language for Annotating Answer-Set Programs";
    Talk: 14th International Workshop on Non-Monotonic Reasoning, Rome, Italy; 06-08-2012 - 06-10-2012; in: "14th International Workshop on Non-Monotonic Reasoning", (2012), 9 pages.

    More information

  8. E. Erdem, K. Inoue, J. Oetsch, J. Puehrer, H. Tompits, C. Yilmaz:
    "Answer-Set Programming as a new Approach to Event-Sequence Testing";
    Talk: Third International Conference on Advances in System Testing and Validation Lifecycle (VALID'11), Barcelona, Spain; 10-23-2011 - 10-29-2011; in: "Proceedings of The Second International Conference on Advances in System Testing and Validation Lifecycle", Xpert Publishing Services, (2011), ISBN: 978-1-61208-168-7; 25 - 34.

    More information

  9. C. Kloimüllner, J. Oetsch, J. Puehrer, H. Tompits:
    "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs";
    Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 152 - 164.

    More information

  10. J. Oetsch, J. Puehrer, H. Tompits:
    "The SeaLion has Landed: An IDE for Answer-Set Programming-Preliminary Report";
    Talk: 25th Workshop on Logic Programming (WLP 2011), Wien; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011)", INFSYS Research Report, 1843-11-06 (2011), 141 - 151.

    More information

  11. J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: Supporting Answer-Set Program Development using Model-Driven Engineering Techniques";
    Talk: MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes?, Birmingham, UK; 06-06-2011; in: "Proceedings of the MELO 2011Workshop: Model-Driven Engineering, Logic and Optimization: friends or foes?", (2011), 16 pages.

    More information

  12. T. Janhunen, I. Niemelä, J. Oetsch, J. Puehrer, H. Tompits:
    "Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 242 - 247.

    More information

  13. J. Oetsch, J. Puehrer, M. Seidl, H. Tompits, P. Zwickl:
    "VIDEAS: A Development Tool for Answer-Set Programs based on Model-Driven Engineering Technology";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 382 - 387.

    More information

  14. J. Oetsch, J. Puehrer, H. Tompits:
    "Stepping through an Answer-Set Program";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 134 - 147.

    More information

  15. J. Oetsch, H. Tompits:
    "Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence";
    Talk: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, Canada; 05-16-2011 - 05-19-2011; in: "11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)", Springer, (2011), ISBN: 978-3-642-20894-2; 254 - 259.

    More information

  16. J. Oetsch, J. Puehrer, H. Tompits:
    "Let's Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs";
    Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Cairo, Egypt (2010), 77 - 87.

    More information

  17. J. Oetsch, H. Tompits:
    "Gentzen-type Refutation Systems for Three-Valued Logics";
    Talk: 24th Workshop on (Constraint) Logic Programming (WLP 2010), Kairo; 09-14-2010 - 09-16-2010; in: "24th Workshop on (Constraint) Logic Programming WLP'2010", S. Abdennadher (ed.); Technical Report, Faculty of Media Engineering and Technology, German University in Cairo, Kario, Ägypten (2010), 88 - 98.

    More information

  18. I. Niemelä, T. Janhunen, J. Oetsch, J. Puehrer, H. Tompits:
    "On Testing Answer-Set Programs";
    Talk: 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 08-16-2010 - 08-20-2010; in: "19th European Conference on Artificial Intelligence (ECAI 2010)", H. Coelho, R. Studer, M. Wooldridge (ed.); IOS Press, Volume 215 of Frontiers in Artificial Intelligence and Applications (2010) (2010), ISBN: 978-1-60750-605-8; 951 - 956.

    More information

  19. J. Oetsch, J. Puehrer, M. Schwengerer, H. Tompits:
    "The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 759 - 775.

    More information

  20. J. Oetsch, J. Puehrer, H. Tompits:
    "Methods and Methodologies for Developing Answer-Set Programs - Project Description";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-16-2010 - 07-19-2010; in: "Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Leibniz International Proceedings in Informatics / Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 7 / Dagstuhl, Germany (2010), ISBN: 978-3-939897-17-0; 154 - 161.

    More information

  21. J. Oetsch, J. Puehrer, H. Tompits:
    "Catching the Ouroboros: On debugging non-ground answer-set programs";
    Talk: 26th International Conference on Logic Programming (ICLP 2010), Edinburgh, Scotland, United Kingdom; 07-14-2009 - 07-17-2009; in: "26th International Conference on Logic Programming (ICLP 2010)", M. Hermenegildo, T. Schaub (ed.); Theory and Practice of Logic Programming / Cambridge University Press, 10 / 4-6 / Cambridge, England, United Kingdom (2010), ISSN: 1471-0684; 513 - 529.

    More information

  22. J. Oetsch, M. Schwengerer, H. Tompits:
    "Kato: A Plagiarism-Detection Tool for Answer-Set Programs";
    Talk: 23rd Workshop on (Constraint) Logic Programming, Potsdam, Germany; 09-15-2009 - 09-16-2009; in: "23rd Workshop on (Constraint) Logic Programming", A. Wolf, U. Geske (ed.); Universitätsverlag Potsdam, (2009), ISBN: 978-3-86956-026-7; 75 - 79.

    More information

  23. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395.

    More information

  24. J. Oetsch, H. Tompits:
    "Program Correspondence under the Answer-Set Semantics: The Non-Ground Case";
    Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 591 - 605.

    More information

  25. J. Oetsch, H. Tompits:
    "A Generalised Program-Correspondence Framework: Preliminary Report";
    Talk: Workshop on Logic Programming (WLP), Dresden, Germany; 09-30-2008 - 10-01-2008; in: "22nd Workshop on (Constraint) Logic Programming", S. Schwarz (ed.); Technical Report, University Halle-Wittenberg, Institute of Computer Science, Martin-Luther-University Halle-Wittenberg D-06099 Halle, Germany (2008), 72 - 82.

    More information

  26. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
    accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 11-04-2007 - 11-09-2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).

  27. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 10-04-2007 - 10-06-2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 pages.

  28. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Talk: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 05/AAAI07-072, 7 pages.

    More information

  29. J. Oetsch, H. Tompits, S. Woltran:
    "Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007), Tempe, AZ, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", D. Pearce, A. Polleres, S. Woltran, A. Valverde (ed.); (2007), 25 - 36.

  30. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
    Talk: 15th International Conference on Computing (CIC 2006), Mexico City, Mexico; 11-21-2006 - 11-24-2006; in: "Proceedings of CIC-06", IEEE Computer Society, (2006), ISBN: 978-0-7695-2708-6; 3 - 11.

    More information

  31. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics";
    Talk: 10th European Conference on Logics in Artificial Intelligence, Liverpool, UK; 09-13-2006 - 09-15-2006; in: "Proceedings of the JELIA2006", Springer, LNCS - Logics in Artificial Intelligence/4160 (2006), ISBN: 978-3-540-39625-3; 502 - 505.

    More information

  32. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
    Talk: ICLP'06 Workshop: Lash'06, Seattle, Washington; 08-16-2006; in: "Proceedings", (2006).

    More information

  33. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "A Tool for Advanced Correspondence Checking in Answer-Set Programming";
    Talk: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 05-30-2006 - 06-01-2006; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning", (2006).

    More information

  34. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results";
    Talk: 20th Workshop on Logic Programming, Wien; 02-22-2006 - 02-24-2006; in: "Online Proceedings - WLP 2006", (2006).

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Poster: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007.


Diploma and Master Theses (authored and supervised)


  1. J. Oetsch:
    "Beyond Uniform Equivalence between Answer-Set Programs: Relativisation and Projection";
    Supervisor: H. Tompits; Institut für Informationssysteme, 2012; final examination: 01-15-2013.

    More information