| 2025 | CPAIOR | Modeling and Solving the Generalized Test Laboratory Scheduling Problem. | Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu |
| 2025 | ECAI | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. | Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran |
| 2025 | IJCAI | A Sequent Calculus for Answer Set Entailment. | Thomas Eiter, Tobias Geibinger |
| 2025 | JELIA | Why This and Not That? A Logic-Based Framework for Contrastive Explanations. | Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander |
| 2024 | AAAI | Parallel Empirical Evaluations: Resilience despite Concurrency. | Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlgel |
| 2023 | IJCAI | Explaining Answer-Set Programs with Abstract Constraint Atoms. | Thomas Eiter, Tobias Geibinger |
| 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 |
| 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 | AAAI | Constraint Logic Programming for Real-World Test Laboratory Scheduling. | Tobias Geibinger, Florian Mischek, Nysret Musliu |
| 2021 | CPAIOR | Physician Scheduling During a Pandemic. | Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter |
| 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 | CPAIOR | Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. | Tobias Geibinger, Florian Mischek, Nysret Musliu |
| 2019 | JELIA | Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. | Tobias Geibinger, Hans Tompits |