Johannes Oetsch

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 17

Top Topics

Question Answering

Top Venues

Theory Pract. Log. Program.

Publications

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory Pract. Log. Program. 24 (2) (2024)
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
A Modular Neurosymbolic Approach for Visual Graph Question Answering. NeSy (2023)
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. IJCAI (2023)
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
Contrastive Explanations for Answer-Set Programs. JELIA (2023)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory Pract. Log. Program. 23 (6) (2023)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI (2022)
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. CoRR (2022)
Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz
A Neuro-Symbolic ASP Pipeline for Visual Question Answering. Theory Pract. Log. Program. 22 (5) (2022)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR (2022)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR (2022)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. KR (2021)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Beyond Uniform Equivalence between Answer-set Programs. ACM Trans. Comput. Log. 22 (1) (2021)
Johannes Oetsch, Juan Carlos Nieves
Stable-Ordered Models for Propositional Theories with Order Operators. JELIA (2019)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise debugging of answer-set programs. Theory Pract. Log. Program. 18 (1) (2018)
Johannes Oetsch, Juan Carlos Nieves
A Knowledge Representation Perspective on Activity Theory. CoRR (2018)
Alexander Greßler, Johannes Oetsch, Hans Tompits
\mathsf Harvey : A System for Random Testing in ASP. LPNMR (2017)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Answer-Set Programs. CoRR (2017)
Uwe Egly, Florian Lonsing, Johannes Oetsch
Automated Benchmarking of Incremental SAT and QBF Solvers. LPAR (2015)
Uwe Egly, Florian Lonsing, Johannes Oetsch
Automated Benchmarking of Incremental SAT and QBF Solvers. CoRR (2015)
Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13 (4-5) (2013)
Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Johannes Oetsch, Jörg Pührer, Hans Tompits
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. ICLP (Technical Communications) (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepwise Debugging of Description-Logic Programs. Correct Reasoning (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating Answer-Set Programs in LANA? CoRR (2012)
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12 (4-5) (2012)
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
On the Small-Scope Hypothesis for Testing Answer-Set Programs. KR (2012)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming CoRR (2011)
Johannes Oetsch, Hans Tompits
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. LPNMR (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. INAP/WLP (2011)
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs CoRR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. INAP/WLP (2011)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report CoRR (2011)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Stepping through an Answer-Set Program. LPNMR (2011)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs CoRR (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On debugging non-ground answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Methods and Methodologies for Developing Answer-Set Programs - Project Description. ICLP (Technical Communications) (2010)
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
The system Kato: Detecting cases of plagiarism for answer-set programs. Theory Pract. Log. Program. 10 (4-6) (2010)
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
On Testing Answer-Set Programs. ECAI (2010)
Johannes Oetsch, Jörg Pührer, Hans Tompits
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs CoRR (2010)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. LPNMR (2009)
Johannes Oetsch, Hans Tompits
Program Correspondence under the Answer-Set Semantics: The Non-ground Case. ICLP (2008)
Johannes Oetsch, Hans Tompits, Stefan Woltran
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. AAAI (2007)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. INAP/WLP (2007)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. JELIA (2006)
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. WLP (2006)