Tobias Geibinger |
Photo by Nadja Meister
|
|||||||||||||
|
Research Assistant |
||||||||||||||
|
About me
I am a recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Logic and
Computation at the TU Wien.
I work on notions of explainability in Answer-set Programming (ASP), especially for advanced language features
and hybrid forms of ASP, under the supervison of Thomas Eiter.
Furthermore, I'm interested in logic in general and particularly in the context of AI.
Before my DOC Fellowship, I was a Project Assistant working with Nysret Musliu on Discrete Optimization for scheduling and
related topics like optimization
in KRR paradigms or hybrid systems.
Publications
Journal Articles
|
Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Dave Pfliegler and Daria Stepanova Artificial Intelligence, 2024 (Article) |
|
Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory
Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu Journal of Schedulung, 2024 (Article, Preprint) |
|
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skočovský and Daria Stepanova Theory and Practice of Logic Programming, 2023 (Article, Preprint) |
|
A System for Automated Industrial Test Laboratory Scheduling Philipp Danzinger, Tobias Geibinger, David Janneu, Florian Mischek, Nysret Musliu and Christian Poschalko ACM Transactions on Intelligent Systems and Technology, 2022 (Article) |
Conference Papers
|
Parallel Empirical Evaluations: Resilience despite Concurrency Johannes K. Fichte, Tobias Geibinger, Markus Hecher and Matthias Schloegel AAAI 2024 (Paper) |
|
Contrastive Explanations for Answer-Set Programs Thomas Eiter, Tobias Geibinger and Johannes Oetsch JELIA 2023 (Paper) |
|
Explaining Answer-Set Programs with Abstract Constraint Atoms Thomas Eiter and Tobias Geibinger IJCAI 2023 (Paper) |
|
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz and Johannes Oetsch IJCAI 2023 (Paper) |
|
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova KR 2022 (Paper) |
|
Instance Space Analysis for the Generalized Assignment Problem Tobias Geibinger, Lucas Kletzander and Nysret Musliu MIC 2022 (Paper) |
|
Large-Neighbourhood Search for Optimisation in Answer-Set Solving Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova AAAI 2022 (Paper) |
|
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skočovský and Daria Stepanova KR 2021 (Paper) |
|
Physician Scheduling During a Pandemic Tobias Geibinger, Lucas Kletzander, Matthias Krainz, Florian Mischek, Nysret Musliu and Felix Winter CPAIOR 2021 (Paper) |
|
Constraint Logic Programming for Real-World Test Laboratory Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu AAAI 2021 (Paper) |
|
Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics Tobias Geibinger and Hans Tompits ICLP 2020 Technical Communication (Paper) |
|
Solving the Test Laboratory Scheduling Problem with Variable Task Grouping Philipp Danzinger, Tobias Geibinger, Florian Mischek and Nysret Musliu ICAPS 2020 (Paper) |
|
Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling Tobias Geibinger, Florian Mischek and Nysret Musliu CPAIOR 2019 (Paper) |
|
Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set
Programs Tobias Geibinger and Hans Tompits JELIA 2019 (Paper) |
Workshop Papers
|
An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography Thomas Eiter, Tobias Geibinger, Andrej Gisbrecht, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova KEPS 2022 (Paper) |
Abstracts
|
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova TAASP 2022 (Abstract) |
|
Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract) Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch and Daria Stepanova ICLP 2022 (Abstract) |
Academic Writing
|
Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory
Scheduling Tobias Geibinger Diploma Thesis, Technische Universität Wien, Institute of Logic and Computation, Advisor: Nysret Musliu, 2020 (Download) One nominee of four for the Distinguished Young Alumn Award of the Faculty of Informatics |
|
Characterising Relativised Strong Equivalence with Projection for Non-Ground Logic Programs Tobias Geibinger Bachelor Thesis, Technische Universität Wien, Institute of Logic and Computation, Advisor: Hans Tompits, 2018 (Download) |
Community Activities
Organisation
- Web Master for the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
- Organising committee member of the 6th and 7th Workshop on Trends and Applications of Answer Set Programming (TAASP 2023, TAASP 2024)
- Organising committee member of the 17th and 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2020, 2021)
Program Committees
- PC Member of the 17th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2024)
- PC Member of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025)
- PC Member of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
- PC Member of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
- PC Member of the 18th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2023)