Johannes Oetsch

Johannes Oetsch is a researcher at TU Wien's Forschungsbereich Knowledge Based Systems within the Faculty of Informatics. His work focuses on Answer Set Programming (ASP), neuro-symbolic computing, and visual question answering systems. He holds a Diplom-Ingenieur (Dipl.-Ing.) and a Doctor of Technical Sciences (Dr.techn.) in informatics.

Key research areas include:

• Integration of large language models with symbolic reasoning frameworks
• Optimization techniques in ASP for scheduling problems
• Explainability mechanisms for neuro-symbolic systems

Recent work emphasizes visual question answering using graph-based representations and contrastive explanation methods. He has contributed to the development of ALASPO, an adaptive optimization framework for ASP solvers. His research also explores applications in manufacturing scheduling and automated testing of logic programs.

Notable contributions include:

• Neuro-symbolic pipelines combining ASP with vision-language models
• Lexicographical makespan optimization in parallel machine scheduling
• Large-neighbourhood search strategies for ASP-based optimization