ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (JELIA, 2006)

A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (WLP, 2006)

Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. - Johannes Oetsch; Hans Tompits; Stefan Woltran (AAAI, 2007)

Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (INAP/WLP, 2007)

Program Correspondence under the Answer-Set Semantics: The Non-ground Case. - Johannes Oetsch; Hans Tompits (ICLP, 2008)

ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (LPNMR, 2009)

On Testing Answer-Set Programs. - Tomi Janhunen; Ilkka Niemelä; Johannes Oetsch; Jörg Pührer; Hans Tompits (ECAI, 2010)

Methods and Methodologies for Developing Answer-Set Programs - Project Description. - Johannes Oetsch; Jörg Pührer; Hans Tompits (ICLP (Technical Communications), 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)

Catching the Ouroboros: On debugging non-ground answer-set programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2010)

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 (INAP/WLP, 2011)

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report. - Johannes Oetsch; Jörg Pührer; Hans Tompits (INAP/WLP, 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 (LPNMR, 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 (LPNMR, 2011)

Stepping through an Answer-Set Program. - Johannes Oetsch; Jörg Pührer; Hans Tompits (LPNMR, 2011)

Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. - Johannes Oetsch; Hans Tompits (LPNMR, 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)

Stepwise Debugging of Description-Logic Programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Correct Reasoning, 2012)

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. - Johannes Oetsch; Jörg Pührer; Hans Tompits (ICLP (Technical Communications), 2012)

On the Small-Scope Hypothesis for Testing Answer-Set Programs. - Johannes Oetsch; Michael Prischink; Jörg Pührer; Martin Schwengerer; Hans Tompits (KR, 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)

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; et al. (LPNMR, 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)

Automated Benchmarking of Incremental SAT and QBF Solvers. - Uwe Egly; Florian Lonsing; Johannes Oetsch (LPAR, 2015)

mathsf Harvey : A System for Random Testing in ASP. - Alexander Greßler; Johannes Oetsch; Hans Tompits (LPNMR, 2017)

A Knowledge Representation Perspective on Activity Theory. - Johannes Oetsch; Juan Carlos Nieves (CoRR, 2018)

Stepwise debugging of answer-set programs. - Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2018)

Stable-Ordered Models for Propositional Theories with Order Operators. - Johannes Oetsch; Juan Carlos Nieves (JELIA, 2019)

Beyond Uniform Equivalence between Answer-set Programs. - Johannes Oetsch; Martina Seidl; Hans Tompits; Stefan Woltran (ACM Trans. Comput. Log., 2021)

Large-Neighbourhood Search for Optimisation in Answer-Set Solving. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Daria Stepanova 001 (AAAI, 2022)

ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Daria Stepanova 001 (KR, 2022)

A Neuro-Symbolic ASP Pipeline for Visual Question Answering. - Thomas Eiter; Nelson Higuera; Johannes Oetsch; Michael Pritz (Theory Pract. Log. Program., 2022)

A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. - Thomas Eiter; Tobias Geibinger; Nelson Higuera; Johannes Oetsch (IJCAI, 2023)

Contrastive Explanations for Answer-Set Programs. - Thomas Eiter; Tobias Geibinger; Johannes Oetsch (JELIA, 2023)

A Modular Neurosymbolic Approach for Visual Graph Question Answering. - Thomas Eiter; Nelson Higuera Ruiz; Johannes Oetsch (NeSy, 2023)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. - Thomas Eiter; Tobias Geibinger; Nysret Musliu; Johannes Oetsch; Peter Skocovský; Daria Stepanova 001 (Theory Pract. Log. Program., 2023)

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 001 (Artif. Intell., 2024)

Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets. - Thomas Eiter; Jan Hadl; Nelson Higuera; Johannes Oetsch (CoRR, 2024)

Visual Graph Question Answering with ASP and LLMs for Language Parsing. - Jakob Johannes Bauer; Thomas Eiter; Nelson Higuera Ruiz; Johannes Oetsch (ICLP, 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 001 (Theory Pract. Log. Program., 2024)

Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; David Pflieger; Daria Stepanova 001 (Zenodo, 2024)

Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; David Pflieger; Daria Stepanova 001 (Zenodo, 2024)

ASP-FZN: A Translation-based Constraint Answer Set Solver. - Thomas Eiter; Tobias Geibinger; Tobias Kaminski; Nysret Musliu; Johannes Oetsch (CoRR, 2025)