TU Wien Informatics

Role

  • Large-Neighbourhood Search for Optimisation in Answer-Set Solving / J. Oetsch, T. Eiter, T. Geibinger, D. Stepanova, N. N. Higuera Ruiz / in: "Artificial Intelligence. Aaai Conference. 36th 2022", AAAI Press, 2022
  • 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