Geibinger, Tobias

6 publications

IJCAI 2025 A Sequent Calculus for Answer Set Entailment Thomas Eiter, Tobias Geibinger

AAAI 2024 Parallel Empirical Evaluations: Resilience Despite Concurrency Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel

IJCAI 2023 A Logic-Based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch

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

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

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