Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. - Tobias Geibinger; Florian Mischek; Nysret Musliu (CPAIOR, 2019)

Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. - Tobias Geibinger; Hans Tompits (JELIA, 2019)

Solving the Test Laboratory Scheduling Problem with Variable Task Grouping. - Philipp Danzinger; Tobias Geibinger; Florian Mischek; Nysret Musliu (ICAPS, 2020)

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics. - Tobias Geibinger; Hans Tompits (ICLP Technical Communications, 2020)

Constraint Logic Programming for Real-World Test Laboratory Scheduling. - Tobias Geibinger; Florian Mischek; Nysret Musliu (AAAI, 2021)

Physician Scheduling During a Pandemic. - Tobias Geibinger; Lucas Kletzander; Matthias Krainz; Florian Mischek; Nysret Musliu; Felix Winter (CPAIOR, 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)

Instance Space Analysis for the Generalized Assignment Problem. - Tobias Geibinger; Lucas Kletzander; Nysret Musliu (MIC, 2022)

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

Explaining Answer-Set Programs with Abstract Constraint Atoms. - Thomas Eiter; Tobias Geibinger (IJCAI, 2023)

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)

Explainable Answer-set Programming. - Tobias Geibinger (ICLP, 2023)

A System for Automated Industrial Test Laboratory Scheduling. - Philipp Danzinger; Tobias Geibinger; David Janneau; Florian Mischek; Nysret Musliu; Christian Poschalko (ACM Trans. Intell. Syst. Technol., 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)

Parallel Empirical Evaluations: Resilience despite Concurrency. - Johannes Klaus Fichte; Tobias Geibinger; Markus Hecher; Matthias Schlögel (AAAI, 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 001 (Artif. Intell., 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)

Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling. - Tobias Geibinger; Florian Mischek; Nysret Musliu (J. Sched., 2024)

Modeling and Solving the Generalized Test Laboratory Scheduling Problem. - Philipp Danzinger; Tobias Geibinger; Florian Mischek; Nysret Musliu (CPAIOR (1), 2025)

Why This and Not That? A Logic-Based Framework for Contrastive Explanations. - Tobias Geibinger; Reijo Jaakkola; Antti Kuusisto; Xinghan Liu; Miikka Vilander (JELIA (1), 2025)

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