Skip to Content

TU Wien Fakultät für Informatik Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Tobias Geibinger>

Tools: Drucken


Tobias Geibinger

A picture of me
Photo by Nadja Meister
Research Assistant
email: tobias.geibinger at tuwien.ac.at
Phone: +43 (1) 58 801-192313
Fax: +43 (1) 58 801-18493
Sec: +43 (1) 58 801-18405
Room: HE0346
Office hours: by appointment
ORCiD: 0000-0002-0856-7162

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

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)

Under Submission

Investigating Constraint Programming and Hybrid Methods for Real World Industrial Test Laboratory Scheduling
Tobias Geibinger, Florian Mischek and Nysret Musliu
Preprint (Download)

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

Program Committees

Reviewing of Scientific Publications

I (sub)reviewed scientific publications for various venues such as AAAI, JAIR, 4OR, ECAI, ICLP, JELIA, ICAART, LPNMR, and CPAIOR.

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer. Datenschutzerklärung.