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.

Role

2022W

2023S

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

  • Large-Neighbourhood Search for Optimisation in Answer-Set Solving / T. Eiter, T. Geibinger, N. N. Higuera Ruiz, N. Musliu, J. Oetsch, D. Stepanova / in: "36th AAAI Conference on Artificial Intelligence (AAAI-22)", AAAI Press, 2022, 10 pages
  • Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling / T. Eiter, T. Geibinger, N. Musliu, J. Oetsch, P. Skocovsky, D. Stepanova / Talk: KR 2021 - 18th International Conference on Principles of Knowledge Representation and Reasoning, online event; 2021-11-03 - 2021-11-12; in: "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2021, Online event, November 3-12, 2021},", (2021), 280 - 290
  • Physician Scheduling During a Pandemic / T. Geibinger, L. Kletzander, M. Krainz, F. Mischek, N. Musliu, F. Winter / Talk: CPAIOR 2021 - 18th International Conference of Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Wien; 2021-07-05 - 2021-07-08; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, {CPAIOR} 2021, Vienna, Austria, July 5-8, 2021, Proceedings},", (2021), 456 - 465
  • Constraint Logic Programming for Real-World Test Laboratory Scheduling / T. Geibinger, F. Mischek, N. Musliu / Talk: 35th AAAI 2021, virtual event; 2021-02-02 - 2021-02-09; in: "Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021", (2021), 6358 - 6366
  • Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling / Master Thesis by T. Geibinger / Supervisor: N. Musliu; Institute of Logic and Computation, 2020; final examination: 2020-12-15
  • Solving the Test Laboratory Scheduling Problem with Variable Task Grouping / P. Danzinger, T. Geibinger, F. Mischek, N. Musliu / Talk: ICAPS 2020 - International Conference on Automated Planning and Scheduling, Nancy, France; 2020-10-26 - 2020-10-30; in: "Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling", 30 (2020), ISBN: 978-1-57735-824-4; 357 - 365
  • Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics / T. Geibinger, H. Tompits / Talk: 36th International Conference on Logic Programming (ICLP 2020), Rende, Italien; 2020-09-18 - 2020-09-25; in: "Proceedings of the 36th International Conference on Logic Programming (Technical Communications)", Electronic Proceedings in Theoretical Computer Science (EPTCS), 325 (2020), 178 - 191
  • Investigating Constraint Programming for Real World Industrial Test Laboratory Scheduling / T. Geibinger, F. Mischek, N. Musliu / Talk: CPAIOR 2019 - 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence and Operations Research, Thessaloniki, Greece; 2019-06-04 - 2019-06-07; in: "Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, {CPAIOR} 2019", Springer, 11494 (2019), ISBN: 978-3-030-19211-2; 304 - 319
  • Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs / T. Geibinger, H. Tompits / Talk: JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalabrien, Italien; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Proceedings", Springer, 11468 (2019), ISBN: 978-3-030-19569-4; 542 - 558