Johannes Oetsch

55 papers A* 6A 1B 13C 2Journal 24Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
ASP-FZN: A Translation-Based Constraint Answer Set Solver.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Tobias Kaminski
2025 J jnl
ASP-FZN: A Translation-based Constraint Answer Set Solver.
CoRR
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
2025 — conf
Explainable Zero-Shot Visual Question Answering Logic-Based Reasoning (Extended Abstract).
SEMANTiCS (Posters, Demos, Workshops & Tutorials)
Thomas Eiter, Jan Hadl, Nelson Higuera, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen
2025 C conf
Explainable Zero-Shot Visual Question Answering via Logic-Based Reasoning.
NeSy
Thomas Eiter, Jan Hadl, Nelson Higuera Ruiz, Lukas Lange, Johannes Oetsch, Bileam Scheuvens, Jannik Strötgen
2024 J jnl
Adaptive large-neighbourhood search for optimisation in answer-set programming.
Artif. Intell.
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova
2024 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2024 J jnl
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets.
CoRR
Thomas Eiter, Jan Hadl, Nelson Higuera, Johannes Oetsch
2024 B conf
Visual Graph Question Answering with ASP and LLMs for Language Parsing.
ICLP
Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
2023 A* conf
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.
IJCAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
2023 C conf
A Modular Neurosymbolic Approach for Visual Graph Question Answering.
NeSy
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch
2023 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2023 B conf
Contrastive Explanations for Answer-Set Programs.
JELIA
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
2022 J jnl
A Neuro-Symbolic ASP Pipeline for Visual Question Answering.
CoRR
Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch, Michael Pritz
2022 J jnl
A Neuro-Symbolic ASP Pipeline for Visual Question Answering.
Theory Pract. Log. Program.
Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz
2022 A* conf
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.
KR
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2022 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
CoRR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
2022 A* conf
Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
AAAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2021 A* conf
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
KR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2021 J jnl
Beyond Uniform Equivalence between Answer-set Programs.
ACM Trans. Comput. Log.
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2019 B conf
Stable-Ordered Models for Propositional Theories with Order Operators.
JELIA
Johannes Oetsch, Juan Carlos Nieves
2018 J jnl
A Knowledge Representation Perspective on Activity Theory.
CoRR
Johannes Oetsch, Juan Carlos Nieves
2018 J jnl
Stepwise debugging of answer-set programs.
Theory Pract. Log. Program.
Johannes Oetsch, Jörg Pührer, Hans Tompits
2017 J jnl
Stepwise Debugging of Answer-Set Programs.
CoRR
Johannes Oetsch, Jörg Pührer, Hans Tompits
2017 B conf
\mathsf Harvey : A System for Random Testing in ASP.
LPNMR
Alexander Greßler, Johannes Oetsch, Hans Tompits
2015 B conf
Automated Benchmarking of Incremental SAT and QBF Solvers.
LPAR
Uwe Egly, Florian Lonsing, Johannes Oetsch
2015 J jnl
Automated Benchmarking of Incremental SAT and QBF Solvers.
CoRR
Uwe Egly, Florian Lonsing, Johannes Oetsch
2013 — 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
INAP/WLP
Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf
2013 J jnl
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support.
Theory Pract. Log. Program.
Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
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
2012 — conf
An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.
ICLP (Technical Communications)
Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 J jnl
Annotating Answer-Set Programs in LANA?
CoRR
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 J jnl
Annotating answer-set programs in Lana.
Theory Pract. Log. Program.
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 A* conf
On the Small-Scope Hypothesis for Testing Answer-Set Programs.
KR
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
2012 — conf
Stepwise Debugging of Description-Logic Programs.
Correct Reasoning
Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 J jnl
Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming
CoRR
Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 B conf
Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.
LPNMR
Johannes Oetsch, Hans Tompits
2011 J jnl
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
CoRR
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 — conf
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs.
INAP/WLP
Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 B conf
Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.
LPNMR
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 B conf
Stepping through an Answer-Set Program.
LPNMR
Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 — conf
The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report.
INAP/WLP
Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 J jnl
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
CoRR
Johannes Oetsch, Jörg Pührer, Hans Tompits
2011 B conf
VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology.
LPNMR
Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl
2010 J jnl
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
CoRR
Johannes Oetsch, Jörg Pührer, Hans Tompits
2010 J jnl
Catching the Ouroboros: On debugging non-ground answer-set programs.
Theory Pract. Log. Program.
Johannes Oetsch, Jörg Pührer, Hans Tompits
2010 — conf
Methods and Methodologies for Developing Answer-Set Programs - Project Description.
ICLP (Technical Communications)
Johannes Oetsch, Jörg Pührer, Hans Tompits
2010 A conf
On Testing Answer-Set Programs.
ECAI
Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits
2010 J jnl
The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs
CoRR
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
2010 J jnl
The system Kato: Detecting cases of plagiarism for answer-set programs.
Theory Pract. Log. Program.
Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits
2009 B conf
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.
LPNMR
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2008 B conf
Program Correspondence under the Answer-Set Semantics: The Non-ground Case.
ICLP
Johannes Oetsch, Hans Tompits
2007 A* conf
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
AAAI
Johannes Oetsch, Hans Tompits, Stefan Woltran
2007 — conf
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.
INAP/WLP
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2006 — conf
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
WLP
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2006 B conf
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.
JELIA
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran