TU Wien Informatics

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

2023W

 

  • 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.
  • 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
  • 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, International. 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
  • 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, International. https://doi.org/10.24963/kr.2021/27
    Project: KIRAS-PrEMI (2019–2022)
  • Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling / Geibinger, T., Mischek, F., & Musliu, N. (2021). Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (pp. 304–319). https://doi.org/10.1007/978-3-030-19212-9_20
    Project: ARTIS (2017–2024)
  • 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–2024)
  • Investigating constraint programming and hybrid answer-set solving for industrial test laboratory scheduling / Geibinger, T. (2020). Investigating constraint programming and hybrid answer-set solving for industrial test laboratory scheduling [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.73541
    Download: PDF (654 KB)
  • Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics / Geibinger, T., & Tompits, H. (2020). Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics. In Electronic Proceedings in Theoretical Computer Science (pp. 178–191). Electronic Proceedings in Theoretical Computer Science (EPTCS). https://doi.org/10.4204/eptcs.325.23
  • Solving the Test Laboratory Scheduling Problem with Variable Task Grouping / Danzinger, P., Geibinger, T., Mischek, F., & Musliu, N. (2020). Solving the Test Laboratory Scheduling Problem with Variable Task Grouping. In Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (pp. 357–365). http://hdl.handle.net/20.500.12708/58340
    Project: ARTIS (2017–2024)
  • Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs / Geibinger, T., & Tompits, H. (2019). Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs. In F. Calimeri, N. Leone, & M. Manna (Eds.), Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 (pp. 542–558). Springer. https://doi.org/10.1007/978-3-030-19570-0_36
    Project: ARTIS (2017–2024)
  • Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling / Geibinger, T., Mischek, F., & Musliu, N. (2019). Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (pp. 304–319). Springer. https://doi.org/10.1007/978-3-030-19212-9_20
    Project: ARTIS (2017–2024)
  • 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 .