| 2025 | NeSy | Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning. | Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strtgen |
| 2023 | IJCAI | A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. | Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch |
| 2023 | JELIA | Contrastive Explanations for Answer-Set Programs. | Thomas Eiter, Tobias Geibinger, Johannes Oetsch |
| 2023 | NeSy | A Modular Neurosymbolic Approach for Visual Graph Question Answering. | Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch |
| 2022 | AAAI | Large-Neighbourhood Search for Optimisation in Answer-Set Solving. | Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova |
| 2022 | KR | ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. | Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova |
| 2021 | KR | Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. | Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsk, Daria Stepanova |
| 2019 | JELIA | Stable-Ordered Models for Propositional Theories with Order Operators. | Johannes Oetsch, Juan Carlos Nieves |
| 2017 | LPNMR | \mathsf Harvey : A System for Random Testing in ASP. | Alexander Greler, Johannes Oetsch, Hans Tompits |
| 2015 | LPAR | Automated Benchmarking of Incremental SAT and QBF Solvers. | Uwe Egly, Florian Lonsing, Johannes Oetsch |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2012 | ICLP | An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2012 | KR | On the Small-Scope Hypothesis for Testing Answer-Set Programs. | Johannes Oetsch, Michael Prischink, Jrg Phrer, Martin Schwengerer, Hans Tompits |
| 2011 | LPNMR | Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. | Tomi Janhunen, Ilkka Niemel, Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2011 | LPNMR | VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. | Johannes Oetsch, Jrg Phrer, Martina Seidl, Hans Tompits, Patrick Zwickl |
| 2011 | LPNMR | Stepping through an Answer-Set Program. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2011 | LPNMR | Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. | Johannes Oetsch, Hans Tompits |
| 2010 | ECAI | On Testing Answer-Set Programs. | Tomi Janhunen, Ilkka Niemel, Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2010 | ICLP | Methods and Methodologies for Developing Answer-Set Programs - Project Description. | Johannes Oetsch, Jrg Phrer, Hans Tompits |
| 2009 | LPNMR | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |
| 2008 | ICLP | Program Correspondence under the Answer-Set Semantics: The Non-ground Case. | Johannes Oetsch, Hans Tompits |
| 2007 | AAAI | Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. | Johannes Oetsch, Hans Tompits, Stefan Woltran |
| 2006 | JELIA | ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. | Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran |