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

51 records (2006 - 2022)


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. J. Oetsch, H. Tompits, M. Seidl, S. Woltran:
    "Beyond Uniform Equivalence between Answer-set Programs";
    ACM Transactions on Computational Logic, 22 (2021), 1; 1 - 46.

    More information
  2. J. Pührer, J. Oetsch, H. Tompits:
    "Stepwise debugging of answer-set programs";
    Theory and Practice of Logic Programming, 18 (2018), 1; 30 - 80.

    More information
  3. 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. T. Eiter, T. Geibinger, N. N. Higuera Ruiz, N. Musliu, J. Oetsch, D. Stepanova:
    "Large-Neighbourhood Search for Optimisation in Answer-Set Solving";
    in: "36th AAAI Conference on Artificial Intelligence (AAAI-22)", AAAI Press, 2022, 10 pages.

    More information
  2. T. Eiter, J. Oetsch, N. N. Higuera Ruiz, M. Pritz:
    "A Confidence-Based Interface for Neuro-Symbolic Visual Question Answering";
    in: "CLeaR Workshop AAAI 2022", AAAI Press, 2022.

    More information
  3. 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
  4. 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
  5. 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
  6. 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. T. Eiter, T. Geibinger, N. Musliu, J. Oetsch, P. Skocovsky, D. Stepanova:
    "Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling";
    Talk: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, online event; 11-03-2021 - 11-12-2021; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021},", (2021), 280 - 290.

    More information
  2. A. Greßler, J. Oetsch, H. Tompits:
    "Harvey : A System for Random Testing in ASP.";
    Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland; 07-03-2017 - 07-06-2017; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", M. Balduccini, T. Janhunen (ed.); Lecture Notes in Computer Science, Springer LNCS, 10377 (2017), ISBN: 978-3-319-61659-9; 229 - 235.

    More information
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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).
  29. 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.
  30. 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
  31. 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.
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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, J. Pührer, H. Tompits:
    "Catching the Ouroboros: On debugging non-ground answer-set programs";
    Talk: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italy; 09-18-2020 - 09-25-2020.
  2. 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