About
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)
Find Tobias Geibinger elsewhere
Related Searches
You Might Also Like
Thomas EiterVienna University of Technology · Professor- NNelson Nicolas Higuera RuizVienna University of Technology · Researcher
- TThomas EiterVienna University of Technology · Professor
- HHans TompitsVienna University of Technology · Associate Professor
Johannes OetschVienna University of Technology · Researcher- AAlexander BeiserVienna University of Technology · Researcher