Tobias Geibinger

According to our database, Tobias Geibinger authored at least 25 papers between 2019 and 2025.

Collaborative distances:

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

2025

ASP-FZN: A Translation-based Constraint Answer Set Solver.

Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch

CoRR, July, 2025

Why This and Not That? A Logic-Based Framework for Contrastive Explanations.

Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

A Sequent Calculus for Answer Set Entailment.

Thomas Eiter, Tobias Geibinger

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Modeling and Solving the Generalized Test Laboratory Scheduling Problem.

Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2025

2024

Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling.

Tobias Geibinger, Florian Mischek, Nysret Musliu

J. Sched., December, 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

Dataset, December, 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

Dataset, April, 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

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

Parallel Empirical Evaluations: Resilience despite Concurrency.

Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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., February, 2023

Explainable Answer-set Programming.

Tobias Geibinger

Proceedings of the Proceedings 39th International Conference on Logic Programming, 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

Explaining Answer-Set Programs with Abstract Constraint Atoms.

Thomas Eiter, Tobias Geibinger

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

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

Instance Space Analysis for the Generalized Assignment Problem.

Tobias Geibinger, Lucas Kletzander, Nysret Musliu

Proceedings of the Metaheuristics - 14th International Conference, 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

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

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

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Physician Scheduling During a Pandemic.

Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2021

Constraint Logic Programming for Real-World Test Laboratory Scheduling.

Tobias Geibinger, Florian Mischek, Nysret Musliu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics.

Tobias Geibinger, Hans Tompits

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Solving the Test Laboratory Scheduling Problem with Variable Task Grouping.

Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs.

Tobias Geibinger, Hans Tompits

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

Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling.

Tobias Geibinger, Florian Mischek, Nysret Musliu

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019