Tobias Geibinger

30 papers A* 9A 1B 5Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
An XAI View on Explainable ASP: Methods, Systems, and Perspectives.
CoRR
Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur
2025 A conf
A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs.
ECAI
Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran
2025 A* conf
A Sequent Calculus for Answer Set Entailment.
IJCAI
Thomas Eiter, Tobias Geibinger
2025 J jnl
ASP-FZN: A Translation-Based Constraint Answer Set Solver.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Tobias Kaminski
2025 J jnl
ASP-FZN: A Translation-based Constraint Answer Set Solver.
CoRR
Thomas Eiter, Tobias Geibinger, Tobias Kaminski, Nysret Musliu, Johannes Oetsch
2025 — conf
Modeling and Solving the Generalized Test Laboratory Scheduling Problem.
CPAIOR (1)
Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu
2025 — conf
Why This and Not That? A Logic-Based Framework for Contrastive Explanations.
JELIA (1)
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2025 J jnl
Why this and not that? A Logic-based Framework for Contrastive Explanations.
CoRR
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto, Xinghan Liu, Miikka Vilander
2024 J jnl
Adaptive large-neighbourhood search for optimisation in answer-set programming.
Artif. Intell.
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova
2024 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2024 J jnl
Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling.
J. Sched.
Tobias Geibinger, Florian Mischek, Nysret Musliu
2024 A* conf
Parallel Empirical Evaluations: Resilience despite Concurrency.
AAAI
Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel
2023 A* conf
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.
IJCAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
2023 J jnl
A System for Automated Industrial Test Laboratory Scheduling.
ACM Trans. Intell. Syst. Technol.
Philipp Danzinger, Tobias Geibinger, David Janneau, Florian Mischek, Nysret Musliu, Christian Poschalko
2023 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Theory Pract. Log. Program.
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2023 B conf
Contrastive Explanations for Answer-Set Programs.
JELIA
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
2023 B conf
Explainable Answer-set Programming.
ICLP
Tobias Geibinger
2023 A* conf
Explaining Answer-Set Programs with Abstract Constraint Atoms.
IJCAI
Thomas Eiter, Tobias Geibinger
2022 A* conf
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.
KR
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2022 J jnl
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
CoRR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
2022 — conf
Instance Space Analysis for the Generalized Assignment Problem.
MIC
Tobias Geibinger, Lucas Kletzander, Nysret Musliu
2022 A* conf
Large-Neighbourhood Search for Optimisation in Answer-Set Solving.
AAAI
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
2021 A* conf
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
KR
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
2021 A* conf
Constraint Logic Programming for Real-World Test Laboratory Scheduling.
AAAI
Tobias Geibinger, Florian Mischek, Nysret Musliu
2021 B conf
Physician Scheduling During a Pandemic.
CPAIOR
Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter
2020 — conf
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics.
ICLP Technical Communications
Tobias Geibinger, Hans Tompits
2020 A* conf
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping.
ICAPS
Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu
2019 B conf
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs.
JELIA
Tobias Geibinger, Hans Tompits
2019 J jnl
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling.
CoRR
Tobias Geibinger, Florian Mischek, Nysret Musliu
2019 B conf
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling.
CPAIOR
Tobias Geibinger, Florian Mischek, Nysret Musliu