TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Tobias Geibinger

Projektass. Dipl.-Ing. / BSc

Tobias Geibinger

About

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. Furthermore, I'm interested in logic in general and particularly in the context of AI.

Photo by Nadja Meister.

Role

Contact

2026

  • Extending Structured Declarative Language with Constraint Programming via MiniZinc / Alviano, M., Dodaro, C., Eiter, T., Geibinger, T., & Vasile, I. R. (2026). Extending Structured Declarative Language with Constraint Programming via MiniZinc. In D. Azzolini, A. Bertagnon, M. Gavanelli, F. Riguzzi, & M. Vespa (Eds.), Proceedings of the 41th Italian Conference on Computational Logic. https://doi.org/10.34726/12690
    Download: Full text (297 KB)
  • An XAI View on Explainable ASP: Methods, Systems, and Perspectives / Eiter, T., Geibinger, T., & Saribatur, Z. G. (2026). An XAI View on Explainable ASP: Methods, Systems, and Perspectives. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (pp. 7835–7844). https://doi.org/10.24963/ijcai.2026/870
    Projects: AURA (2022–2026) / BILAI (2024–2029) / LAGER (2026–2029)

2025

  • What Can We Explain in Answer Set Programming? / Geibinger, T., & Saribatur, Z. G. (2025). What Can We Explain in Answer Set Programming? In Proceedings of the 6th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2025). The 6th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2025), Melbourne, Australia. http://hdl.handle.net/20.500.12708/223669
    Project: AURA (2022–2026)
  • Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract) / Pfliegler, D., Geibinger, T., & Eiter, T. (2025). Bayesian Hyperparameter Optimization with ALASPO (Extended Abstract). In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025). 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Wien, Austria. http://hdl.handle.net/20.500.12708/223782
  • An Argumentation Calculus for Equilibrium Logic / Geibinger, T., & Eiter, T. (2025). An Argumentation Calculus for Equilibrium Logic. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025). 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria. http://hdl.handle.net/20.500.12708/223668
  • Why This and Not That? A Logic-Based Framework for Contrastive Explanations / Geibinger, T., Jaakkola, R., Kuusisto, A., Liu, X., & Vilander, M. (2025). Why This and Not That? A Logic-Based Framework for Contrastive Explanations. In G. Casini, B. Dundua, & T. Kutsia (Eds.), Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (pp. 45–60). Springer. https://doi.org/10.34726/11634
    Download: Preprint (495 KB)
    Project: BILAI (2024–2029)
  • ASP-FZN: a translation-based constraint answer set solver / Eiter, T., Geibinger, T., Musliu, N., Oetsch, J., & Kaminski, T. (2025). ASP-FZN: a translation-based constraint answer set solver. Theory and Practice of Logic Programming, 25(4), 649–667. https://doi.org/10.1017/S1471068425100264
    Download: PDF (378 KB)
  • Modeling and Solving the Generalized Test Laboratory Scheduling Problem / Danzinger, P., Geibinger, T., Mischek, F., & Musliu, N. (2025). Modeling and Solving the Generalized Test Laboratory Scheduling Problem. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I (pp. 188–204). Springer. https://doi.org/10.1007/978-3-031-95973-8_12
    Projects: ARTIS (2017–2025) / BioLog (2022–2026)
  • A Sequent Calculus for Answer Set Entailment / Eiter, T., & Geibinger, T. (2025). A Sequent Calculus for Answer Set Entailment. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4463–4472). https://doi.org/10.24963/ijcai.2025/497
    Project: BILAI (2024–2029)
  • A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs / Geibinger, T., Saribatur, Z. G., & Woltran, S. (2025). A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. In I. Lynce, N. Murano, M. Vallati, S. Villata, F. Chesani, M. Milano, A. Omicini, & M. Dastani (Eds.), ECAI 2025 (pp. 1535–1542). IOS Press. https://doi.org/10.3233/FAIA250977
    Download: PDF (345 KB)
    Projects: AURA (2022–2026) / BILAI (2024–2029)

2024

2023

  • Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract) / Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms (Extended Abstract). In Proceedings of the 2nd Workshop on Challenges and Adequacy Conditions for Logics in the New Age of Artificial Intelligence (ACLAI 2023) (pp. 1–6).
  • Contrastive Explanations for Answer-Set Programs / Eiter, T., Geibinger, T., & Oetsch, J. (2023). Contrastive Explanations for Answer-Set Programs. In Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings (pp. 73–89). Springer. https://doi.org/10.1007/978-3-031-43619-2_6
  • Explainable Answer-set Programming / Geibinger, T. (2023). Explainable Answer-set Programming. In Proceedings ICLP 2023 (pp. 423–429). https://doi.org/10.4204/EPTCS.385.52
  • Explaining Answer-Set Programs with Abstract Constraint Atoms / Eiter, T., & Geibinger, T. (2023). Explaining Answer-Set Programs with Abstract Constraint Atoms. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3193–3202). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/356
  • A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering / Eiter, T., Geibinger, T., Higuera, N., & Oetsch, J. (2023). A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering. In E. Elkind (Ed.), Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (pp. 3668–3676). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2023/408
  • Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling / EITER, T., GEIBINGER, T., MUSLIU, N., OETSCH, J., SKOČOVSKÝ, P., & STEPANOVA, D. (2023). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory and Practice of Logic Programming, 23(6), 1281–1306. https://doi.org/10.1017/S1471068423000017
    Download: PDF (1020 KB)

2022

  • ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract) / Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser (Extended Abstract). In Proceedings of the 5th Workshop on Trends and Applications of Answer Set Programming. 5th Workshop on Trends and Applications of Answer Set Programming, Vienna, Austria. http://hdl.handle.net/20.500.12708/139760
  • Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract) / Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving (Extended Abstract). In Proceedings of the 38th International Conference on Logic Programming. 38th International Conference on Logic Programming, Haifa, Israel. Open Publishing Association. http://hdl.handle.net/20.500.12708/139851
  • A System for Automated Industrial Test Laboratory Scheduling / Danzinger, P., Geibinger, T., Janneau, D., Mischek, F., Musliu, N., & Poschalko, C. (2022). A System for Automated Industrial Test Laboratory Scheduling. ACM Transactions on Intelligent Systems and Technology. https://doi.org/10.1145/3546871
  • Large-Neighbourhood Search for Optimisation in Answer-Set Solving / Eiter, T., Geibinger, T., Higuera Ruiz, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). Large-Neighbourhood Search for Optimisation in Answer-Set Solving. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (pp. 5616–5625). AAAI Press. https://doi.org/10.1609/aaai.v36i5.20502
  • An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography / Eiter, T., Geibinger, T., Gisbrecht, A., Higuera Ruiz, N. N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). An Open Challenge for Exact Job Scheduling with Reticle Batching in Photolithography. In KEPS 2022 Workshop on Knowledge Engineering for Planning and Scheduling. Workshop on Knowledge Engineering for Planning and Scheduling, Singapore. http://hdl.handle.net/20.500.12708/139763
  • ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser / Eiter, T., Geibinger, T., Higuera, N., Musliu, N., Oetsch, J., & Stepanova, D. (2022). ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. In G. Kern-Isberner, G. Lackemeyer, & T. Meyer (Eds.), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning — Applications and Systems (pp. 565–569). IJCAI Organization. https://doi.org/10.24963/kr.2022/58

2021

  • Physician Scheduling During a Pandemic / Geibinger, T., Kletzander, L., Krainz, M., Mischek, F., Musliu, N., & Winter, F. (2021). Physician Scheduling During a Pandemic. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (pp. 456–465). https://doi.org/10.1007/978-3-030-78230-6_29
    Project: ARTIS (2017–2025)
  • Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling / Eiter, T., Geibinger, T., Musliu, N., Oetsch, J., Skočovský, P., & Stepanova, D. (2021). Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning. KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, virtual event, Unknown. https://doi.org/10.24963/kr.2021/27
    Project: KIRAS-PrEMI (2019–2022)
  • Constraint Logic Programming for Real-World Test Laboratory Scheduling / Geibinger, T., Mischek, F., & Musliu, N. (2021). Constraint Logic Programming for Real-World Test Laboratory Scheduling. In 35th AAAI Conference on Artificial Intelligence (pp. 6358–6366). http://hdl.handle.net/20.500.12708/58591
    Project: ARTIS (2017–2025)

2020

2019

 

  • ASAI Master Thesis Prize
    2023 / Austrian Society for Artificial Intelligence (ASAI) / Austria

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Tobias Geibinger’s research profile in TISS .