Johannes Oetsch

According to our database, Johannes Oetsch authored at least 39 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova

Theory Pract. Log. Program., March, 2024

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets.

Thomas Eiter, Jan Hadl, Nelson Higuera, Johannes Oetsch

CoRR, 2024

Adaptive large-neighbourhood search for optimisation in answer-set programming.

Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova

Artif. Intell., 2024

2023

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova

Theory Pract. Log. Program., November, 2023

A Modular Neurosymbolic Approach for Visual Graph Question Answering.

Thomas Eiter, Nelson Higuera Ruiz, Johannes Oetsch

Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023

Contrastive Explanations for Answer-Set Programs.

Thomas Eiter, Tobias Geibinger, Johannes Oetsch

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.

Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

A Neuro-Symbolic ASP Pipeline for Visual Question Answering.

Thomas Eiter, Nelson Higuera, Johannes Oetsch, Michael Pritz

Theory Pract. Log. Program., 2022

ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.

Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Large-Neighbourhood Search for Optimisation in Answer-Set Solving.

Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Beyond Uniform Equivalence between Answer-set Programs.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

ACM Trans. Comput. Log., 2021

2019

Stable-Ordered Models for Propositional Theories with Order Operators.

Johannes Oetsch, Juan Carlos Nieves

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Stepwise debugging of answer-set programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Theory Pract. Log. Program., 2018

A Knowledge Representation Perspective on Activity Theory.

Johannes Oetsch, Juan Carlos Nieves

CoRR, 2018

2017

\mathsf Harvey : A System for Random Testing in ASP.

Alexander Greßler, Johannes Oetsch, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

2015

Automated Benchmarking of Incremental SAT and QBF Solvers.

Uwe Egly, Florian Lonsing, Johannes Oetsch

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2013

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support.

Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits

Theory Pract. Log. Program., 2013

The Fourth Answer Set Programming Competition: Preliminary Report.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Annotating answer-set programs in Lana.

Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits

Theory Pract. Log. Program., 2012

On the Small-Scope Hypothesis for Testing Answer-Set Programs.

Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Stepwise Debugging of Description-Logic Programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Correct Reasoning, 2012

2011

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Johannes Oetsch, Jörg Pührer, Hans Tompits

CoRR, 2011

Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence.

Johannes Oetsch, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Stepping through an Answer-Set Program.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology.

Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison.

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs.

Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

2010

Catching the Ouroboros: On debugging non-ground answer-set programs.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Theory Pract. Log. Program., 2010

The system Kato: Detecting cases of plagiarism for answer-set programs.

Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits

Theory Pract. Log. Program., 2010

Methods and Methodologies for Developing Answer-Set Programs - Project Description.

Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

On Testing Answer-Set Programs.

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits

Proceedings of the ECAI 2010, 2010

2009

ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Program Correspondence under the Answer-Set Semantics: The Non-ground Case.

Johannes Oetsch, Hans Tompits

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.

Johannes Oetsch, Hans Tompits, Stefan Woltran

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

Proceedings of the 20th Workshop on Logic Programming, 2006

ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.

Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006