Следене
Tobias Geibinger
Tobias Geibinger
Project Assistant, TU Wien
Потвърден имейл адрес: tuwien.ac.at - Начална страница
Заглавие
Позовавания
Позовавания
Година
Investigating constraint programming for real world industrial test laboratory scheduling
T Geibinger, F Mischek, N Musliu
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
182019
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
122023
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
102021
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
92020
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
82022
Sequent-type calculi for systems of nonmonotonic paraconsistent logics
T Geibinger, H Tompits
arXiv preprint arXiv:2009.10246, 2020
82020
Explaining Answer-Set Programs with Abstract Constraint Atoms.
T Eiter, T Geibinger
IJCAI, 3193-3202, 2023
72023
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.
T Eiter, T Geibinger, N Higuera, J Oetsch
IJCAI, 3668-3676, 2023
62023
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
62022
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
62021
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
52019
ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser
T Eiter, T Geibinger, N Higuera, N Musliu, J Oetsch, D Stepanova
42022
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
42019
Contrastive Explanations for Answer-Set Programs
T Eiter, T Geibinger, J Oetsch
European Conference on Logics in Artificial Intelligence, 73-89, 2023
32023
Explainable Answer-set Programming
T Geibinger
arXiv preprint arXiv:2308.15901, 2023
32023
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
22020
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
12024
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
12018
Adaptive large-neighbourhood search for optimisation in answer-set programming
T Eiter, T Geibinger, NH Ruiz, N Musliu, J Oetsch, D Pfliegler, ...
Artificial Intelligence 337, 104230, 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Ý, D Stepanova
Theory and Practice of Logic Programming 24 (2), 421-421, 2024
2024
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20