Tobias Geibinger

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Logic Programming

Top Venues

Publications

Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel
Parallel Empirical Evaluations: Resilience despite Concurrency. AAAI (2024)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory Pract. Log. Program. 24 (2) (2024)
Thomas Eiter, Tobias Geibinger
Explaining Answer-Set Programs with Abstract Constraint Atoms. IJCAI (2023)
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Johannes Oetsch
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. IJCAI (2023)
Tobias Geibinger
Explainable Answer-set Programming. CoRR (2023)
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
Contrastive Explanations for Answer-Set Programs. JELIA (2023)
Philipp Danzinger, Tobias Geibinger, David Janneau, Florian Mischek, Nysret Musliu, Christian Poschalko
A System for Automated Industrial Test Laboratory Scheduling. ACM Trans. Intell. Syst. Technol. 14 (1) (2023)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory Pract. Log. Program. 23 (6) (2023)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
Large-Neighbourhood Search for Optimisation in Answer-Set Solving. AAAI (2022)
Tobias Geibinger, Lucas Kletzander, Nysret Musliu
Instance Space Analysis for the Generalized Assignment Problem. MIC (2022)
Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. KR (2022)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR (2022)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. KR (2021)
Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu, Felix Winter
Physician Scheduling During a Pandemic. CPAIOR (2021)
Tobias Geibinger, Florian Mischek, Nysret Musliu
Constraint Logic Programming for Real-World Test Laboratory Scheduling. AAAI (2021)
Philipp Danzinger, Tobias Geibinger, Florian Mischek, Nysret Musliu
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping. ICAPS (2020)
Tobias Geibinger, Hans Tompits
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics. ICLP Technical Communications (2020)
Tobias Geibinger, Hans Tompits
Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. JELIA (2019)
Tobias Geibinger, Florian Mischek, Nysret Musliu
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. CPAIOR (2019)
Tobias Geibinger, Florian Mischek, Nysret Musliu
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling. CoRR (2019)