Johannes Oetsch

Universitetslektor Datavetenskap
Avdelningen för datavetenskap , Tekniska Högskolan
Presentation Publikationer

"Habe Mut, dich deines eigenen Verstandes zu bedienen!" (Kant 1784)

Forskningsintressen

  • Knowledge Representation and Reasoning
  • Answer-Set Programming
  • Neurosymbolic AI
  • Search and Optimisation in Industrial Contexts

Kort biografi

Johannes avlade sin doktorsexamen vid TU Wien (Vienna University of Technology) och genomförde en forskningspraktik vid National Institute of Informatics (NII) i Tokyo under sin doktorandutbildning. Därefter tillbringade han två år som postdoktor i Umeå, Sverige. Johannes deltog även i ett fyraårigt industriellt samarbete mellan TU Wien och Bosch Center for AI i Tyskland, vilket bidrog till att bygga broar mellan akademisk och industriell forskning.

Publikationer

Google Scholar profile

Artikel

Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., Pfliegler, D., Stepanova, D. (2024). Adaptive large-neighbourhood search for optimisation in answer-set programming Artificial Intelligence, 337. More information
Eiter, T., Geibinger, T., Musli, N., Oetsch, J., Skočovský, P., Stepanova, D. (2023). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling Theory and Practice of Logic Programming, 23(6), 1281-1306. More information
Eiter, T., Higuera, N., Oetsch, J., Pritz, M. (2022). A Neuro-Symbolic ASP Pipeline for Visual Question Answering Theory and Practice of Logic Programming, 22(5), 739-754. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2021). Beyond Uniform Equivalence between Answer-set Programs ACM Transactions on Computational Logic, 22(1). More information
Oetsch, J., Pührer, J., Tompits, H. (2018). Stepwise debugging of answer-set programs Theory and Practice of Logic Programming, 18(1), 30-80. More information
Busoniu, P., Oetsch, J., Pührer, J., Skočovský, P., Tompits, H. (2013). SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support Theory and Practice of Logic Programming, 13(4-5), 657-673. More information
De Vos, M., Kisa, D., Oetsch, J., Pührer, J., Tompits, H. (2012). Annotating answer-set programs in Lana Theory and Practice of Logic Programming, 12(4-5), 619-637. More information
Brain, M., Erdem, E., Inoue, K., Oetsch, J., Pührer, J., Tompits, H., Yilmaz, C. (2012). Event-sequence testing using answer-set programming International Journal on Advances in Software, 5(3 & 4), 237-251. More information
Oetsch, J., Pührer, J., Schwengerer, M., Tompits, H. (2010). The system Kato: Detecting cases of plagiarism for answer-set programs Theory and Practice of Logic Programming, 10(4-6), 759-775. More information
Oetsch, J., Pührer, J., Tompits, H. (2010). Catching the Ouroboros: On debugging non-ground answer-set programs Theory and Practice of Logic Programming, 10(4-6), 513-529. More information

Doktorsavhandling

Oetsch, J. (2021). Testing for ASP—ASP for Testing (Doctoral thesis, Wien: Technische Universität Wien). More information

Antologibidrag

Oetsch, J., Pührer, J., Tompits, H. (2012). Stepwise debugging of description-logic programs. In: E. Erdem, J. Lee, Y. Lierler & D. Pearce (Ed.), Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz (pp. 492 -508). More information

Konferensbidrag

Eiter, T., Geibinger, T., Oetsch, J. (2023). Contrastive Explanations for Answer-Set Programs. 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023. More information
Eiter, T., Geibinger, T., Higuera, N., Oetsch, J. (2023). A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 19 August-25 August 2023. More information
Eiter, T., Ruiz, N., Oetsch, J. (2023). A Modular Neurosymbolic Approach for Visual Graph Question Answering. 17th International Workshop on Neural-Symbolic Learning and Reasoning, Siena, Italy, July 3-5, 2023. More information
Bauer, J., Eiter, T., Ruiz, N., Oetsch, J. (2023). Neuro-symbolic Visual Graph Question Answering with LLMs for language parsing. TAASP 2023, Workshop on Trends and Applications of Answer Set Programming, November 20-21, 2023, Potsdam, Germany. More information
Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 31 July-5 August 2022, Haifa, Israel. More information
Eiter, T., Geibinger, T., Ruiz, N., Musliu, N., Oetsch, J., Stepanova, D. (2022). Large-Neighbourhood Search for ASP Optimisation. 38th International Conference on Logic Programming, ICLP 2022, 31 July-6 August 2022, Haifa, Israel. More information
Eiter, T., Geibinger, T., Ruiz, N., Musliu, N., Oetsch, J., Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving. 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 22 February-1 March 2022. More information
Eiter, T., Higuera, N., Oetsch, J., Pritz, M. (2022). A confidence-based interface for neuro-symbolic visual question answering. CLeaR 2022, The First International Workshop on Combining Learning and Reasoning: Programming Languages, Formalisms, and Representations In conjunction with the 36th AAAI conference on artificial intelligence (AAAI-2022), February 22–March 1, 2022, Vancouver, BC, Canada. More information
Eiter, T., Geibinger, T., Gisbrecht, A., Ruiz, N., Musliu, N., Oetsch, J., Stepanova, D. (2022). An open challenge for exact job scheduling with reticle batching in photolithography. 2022 Workshop on Knowledge Engineering for Planning and Scheduling, An ICAPS'22 Workshop, 15 June 2022, Singapore. More information
Eiter, T., Geibinger, T., Musliu, N., Oetsch, J., Skočovský, P., Stepanova, D. (2021). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, 3 November 2021 through 12 November 2021. More information
Oetsch, J., Nieves, J. (2019). Stable-Ordered Models for Propositional Theories with Order Operators. 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019. More information
Greßler, A., Tompits, H., Oetsch, J. (2017). Harvey: A system for random testing in ASP. 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017. More information
Egly, U., Lonsing, F., Oetsch, J. (2015). Automated benchmarking of incremental SAT and QBF solvers. 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015. More information
Alviano, M. Calimeri, F. Charwat, G. Dao-Tran, M. Dodaro, C. Ianni, G. , ... Xiao G. (2013). The fourth answer set programming competition: Preliminary report. 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. More information
Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H. (2013). Kara: A system for visualising and visual editing of interpretations for answer-set programs. 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011. More information
Oetsch, J., Pührer, J., Tompits, H. (2013). The SeaLion has landed: An IDE for answer-set programming—preliminary report. 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011. More information
Oetsch, J., Prischink, M., Pührer, J., Schwengerer, M., Tompits, H. (2012). On the small-scope hypothesis for testing answer-set programs. 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, 10-14 June 2012, Rome, Italy. More information
Oetsch, J., Pührer, J., Tompits, H. (2012). An FLP-style answer-set semantics for abstract-constraint programs with disjunctions. 28th International Conference on Logic Programming, ICLP 2012, 4 September 2012 through 8 September 2012, Budapest, Hungary. More information
Oetsch, J., Pührer, J., Tompits, H. (2012). Extending object-oriented languages by declarative specifications of complex objects using answer-set programming. 26th Workshop on Logic Programming, WLP 2012, 24-25 September 2012, Bonn, Germany. More information
De Vos, M., Kisa, D., Oetsch, J., Puehrer, J., Tompits, H. (2012). LANA: A Language for Annotating Answer-Set Programs. NMR 2012, 14th International Workshop on Non-Monotonic Reasoning, 8–10 June 2012, Rome, Italy. More information
Erdem, E., Inoue, K., Oetsch, J., Pührer, J., Tompits, H., Yilmaz, C. (2011). Answer-set programming as a new approach to event-sequence testing. 3rd International Conference on Advances in System Testing and Validation Lifecycle, VALID 2011, 23-29 October 2011, Barcelona, Spain. More information
Oetsch, J., Pührer, J., Seidl, M., Tompits, H., Zwickl, P. (2011). VIDEAS: A development tool for answer-set programs based on model-driven engineering technology. 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. More information
Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J., Tompits, H. (2011). Random vs. structure-based testing of answer-set programs: An experimental comparison. 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. More information
Oetsch, J., Pührer, J., Tompits, H. (2011). Stepping through an answer-set program. 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. More information
Oetsch, J., Tompits, H. (2011). Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence. 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. More information
Oetsch, J., Pührer, J., Seidl, M., Tompits, H., Zwickl, P. (2011). VIDEAS: Supporting Answer-Set ProgramDevelopment using Model-Driven Engineering Techniques. MELO 2011 - Model-Driven Engineering, Logic and Optimization: friends or foes? 6 June 2011, Birmingham, UK. More information
Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J., Tompits, H. (2010). On testing answer-set programs. 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010, 17 August 2010, Lisbon, Portugal. More information
Oetsch, J., Pührer, J., Tompits, H. (2010). Methods and methodologies for developing answer-set programs project description. 26th International Conference on Logic Programming, ICLP 2010, 16-19 July 2010, Edinburgh, UK. More information
Oetsch, J., Puehrer, J., Tompits, H. (2010). Let’s Break the Rules: Interactive Procedural-Style Debugging of Answer-Set Programs. 24th Workshop on Constraint Logic Programming, WLP 2010. More information
Oetsch, J., Tompits, H. (2010). Gentzen-type Refutation Systems for Three-Valued Logics. 24th Workshop on Constraint Logic Programming, WLP 2010. More information
Oetsch, J., Schwengerer, M., Tompits, H. (2009). Kato: A plagiarism-detection tool for answer-set programs. 23rd Workshop on (Constraint) Logic Programming 2009, WLP 2009, 15-16 September 2009, Potsdam, Germany. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2009). Cc Τ on stage: Generalised uniform equivalence testing for verifying student assignment solutions. 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2009). Testing relativised uniform equivalence under answer-set projection in the system cc ⊤. 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007. More information
Oetsch, J., Tompits, H. (2008). Program correspondence under the answer-set semantics: The non-ground case. 24th International Conference, ICLP 2008 Udine, Italy, December 9-13, 2008. More information
Oetsch, J., Tompits, H. (2008). A generalised program-correspondence framework: Preliminary report. 22nd Workshop on (Constraint) Logic Programming, WLP 2008, 30 September-1 October 2008, Dresden, Germany. More information
Oetsch, J., Tompits, H., Woltran, S. (2007). Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection. 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference, 22-26 July 2007, Vancouver, BC, Canada. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2007). An Extension of the System cc⊤ for Testing Relativised Uniform Equivalence under Answer-Set Projection. 16th International Conference on Computing. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2006). Cc ⊤: A tool for checking advanced correspondence problems in answer-set programming. 15th International Conference on Computing, CIC 2006, 21-24 November 2006, Mexico City, Mexico. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2006). A tool for advanced correspondence checking in answer-set programming: Preliminary experimental results. 20th Workshop on Logic Programming, WLP 2006, 22-24 February 2006, Vienna. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2006). ccT: A correspondence-checking tool for logic programs under the answer-set semantics. Berlin: Springer, 10th European Conference on Logics on Artificial Intelligence, JELIA 2006, Liverpool, UK, September 13-15, 2006. More information
Oetsch, J., Seidl, M., Tompits, H., Woltran, S. (2006). A tool for advanced correspondence checking in answer-set programming. Clausthal-Zellerfeld: Clausthal University of Technology, 11th Workshop on Nonmonotonic Reasoning. More information

Övrigt

Oetsch, J., Nieves, J. . A Knowledge Representation Perspective on Activity Theory. More information

Proceedings (redaktörskap)

Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M., Wolf, A. (Eds.). (2013). 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. , Berlin: Springer More information
Abreu, S., Oetsch, J., Puehrer, J., Seipel, D., Tompits, H., Umeda, M., Wolf, A. (Eds.). (2011). Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011). , Wien: TU Wien More information