| Investigating constraint programming for real world industrial test laboratory scheduling T Geibinger, F Mischek, N Musliu Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 17 | 2019 |
| Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling T Eiter, T Geibinger, N Musliu, J Oetsch, P Skočovský, D Stepanova Theory and Practice of Logic Programming 23 (6), 1281-1306, 2023 | 11 | 2023 |
| Constraint logic programming for real-world test laboratory scheduling T Geibinger, F Mischek, N Musliu Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6358-6366, 2021 | 7 | 2021 |
| Solving the test laboratory scheduling problem with variable task grouping P Danzinger, T Geibinger, F Mischek, N Musliu Proceedings of the International Conference on Automated Planning and …, 2020 | 7 | 2020 |
| Sequent-type calculi for systems of nonmonotonic paraconsistent logics T Geibinger, H Tompits arXiv preprint arXiv:2009.10246, 2020 | 6 | 2020 |
| Characterising relativised strong equivalence with projection for non-ground answer-set programs T Geibinger, H Tompits European Conference on Logics in Artificial Intelligence, 542-558, 2019 | 5 | 2019 |
| Physician scheduling during a pandemic T Geibinger, L Kletzander, M Krainz, F Mischek, N Musliu, F Winter Integration of Constraint Programming, Artificial Intelligence, and …, 2021 | 4 | 2021 |
| A logic-based approach to contrastive explainability for neurosymbolic visual question answering T Eiter, T Geibinger, NH Ruiz, J Oetsch Proceedings of the 32rd International Joint Conference on Artificial …, 2023 | 3 | 2023 |
| Large-neighbourhood search for optimisation in answer-set solving T Eiter, T Geibinger, NH Ruiz, N Musliu, J Oetsch, D Stepanova Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5616-5625, 2022 | 3 | 2022 |
| A System for Automated Industrial Test Laboratory Scheduling P Danzinger, T Geibinger, D Janneau, F Mischek, N Musliu, C Poschalko ACM Transactions on Intelligent Systems and Technology (TIST), 2022 | 3 | 2022 |
| Investigating constraint programming and hybrid methods for real world industrial test laboratory scheduling T Geibinger, F Mischek, N Musliu arXiv preprint arXiv:1911.04766, 2019 | 3 | 2019 |
| Explaining answer-set programs with abstract constraint atoms T Eiter, T Geibinger # PLACEHOLDER_PARENT_METADATA_VALUE#, 3193-3202, 2023 | 2 | 2023 |
| Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling T Geibinger Diploma Thesis, Technische Universität Wien, Institute for Logic and Computation, 2020 | 2 | 2020 |
| Explainable Answer-set Programming T Geibinger arXiv preprint arXiv:2308.15901, 2023 | 1 | 2023 |
| ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser T Eiter, T Geibinger, N Higuera, N Musliu, J Oetsch, D Stepanova | 1 | 2022 |
| Characterising relativised strong equivalence with projection for non-ground logic programs T Geibinger Bachelor Thesis, Technische Universität Wien, Institute of Logic and Computation, 2018 | 1 | 2018 |
| Parallel Empirical Evaluations: Resilience despite Concurrency JK Fichte, T Geibinger, M Hecher, M Schlögel Proceedings of the AAAI Conference on Artificial Intelligence 38 (8), 8004-8012, 2024 | | 2024 |
| Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling-ADDENDUM T EITER, T GEIBINGER, N MUSLIU, J OETSCH, P SKOČOVSKÝ, ... Theory and Practice of Logic Programming 24 (2), 421-421, 2024 | | 2024 |
| Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling (vol 23, pg 1281, 2023) T Eiter, T Geibinger, N Musliu, J Oetsch, P Skocovsky, D Stepanova THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024 | | 2024 |
| Contrastive Explanations for Answer-Set Programs T Eiter, T Geibinger, J Oetsch European Conference on Logics in Artificial Intelligence, 73-89, 2023 | | 2023 |
Nysret MusliuFaculty of Informatics, TU Wien (Vienna University of Technology)Verified email at dbai.tuwien.ac.at
