معرفی
Tobias Geibinger is a PreDoc Researcher at the Institute of Logic and Computation of Vienna University of Technology, supported by a DOC Fellowship from the Austrian Academy of Sciences. His work focuses on explainability in Answer-Set Programming (ASP), particularly for advanced language features and hybrid ASP systems.
- Education: BSc, Dipl.-Ing. (Master's equivalent) in Computer Science
- Projects: CD Laboratory for AI and Optimization (2017–2025), KIRAS-PrEMI (2019–2022), ARTIS (2017–2025)
His research combines logic programming with constraint programming and hybrid methods to solve industrial scheduling problems. This includes automated test laboratory scheduling, photolithography job scheduling, and pandemic-era physician scheduling. Recent work investigates neurosymbolic integration and contrastive explanation frameworks.
Selected publications analyze ASP optimization techniques for parallel machine scheduling, large-neighborhood search strategies, and nonmonotonic paraconsistent logics. These contributions align with broader trends in declarative AI and logic-based optimization.
- Scientific Recognition: ASAI Master Thesis Prize (2023)
Tobias Geibinger در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Thomas EiterVienna University of Technology · استاد- NNelson Nicolas Higuera RuizVienna University of Technology · پژوهشگر
- TThomas EiterVienna University of Technology · استاد
Johannes OetschVienna University of Technology · پژوهشگر- MMartin GebserUniversity of Klagenfurt · استاد
Daria StepanovaVienna University of Technology · پژوهشگر