TU Wien CAIML

Overview News Researchers & Projects Team Partners

Alexander Beiser

alexander-beiser.jpg

On This Page

Short Bio

Alexander Gebhard Beiser is a PhD student at TU Wien, specializing in Artificial Intelligence (AI) for Air Traffic Management. He holds a BSc degree (2023) in Software Engineering and a Master’s degree (2025) in Logic and Computation from TU Wien. His work before his PhD focused on enhancing the symbolic AI framework Answer Set Programming, where he had already published papers. In this context, he did research internships at the University of Potsdam (2022 and 2023) and was a student researcher at the DBAI research group at TU Wien. In 2024, he did an exchange at EPFL in Lausanne, Switzerland, and was admitted to the highly competitive Summer@EPFL program. At EPFL, he was part of the laboratory of computational neuroscience. There, his work focused on the reconstruction of neural networks.

During his PhD, he participated in the Engage 2 Winter School 2025 in Belgrade and is looking forward to developing Neurosymbolic AI techniques for Air Traffic Management.

Website: https://www.beiser.eu

PhD Project - AI for Air Traffic Management

Supervised by Stefan Woltran and Nysret Musliu

Air Traffic Management (ATM) faces increasing complexity due to growing aircraft traffic and the integration of drones while also struggling with a shortage of air traffic controllers. Alexander Beiser’s research at TU Wien, under the supervision of Stefan Woltran and Nysret Musliu, seeks to optimize air traffic operations by integrating trustworthy AI systems into ATM. The research focuses on explainable and neurosymbolic AI, to enhance efficiency and safety.

The research project is in collaboration with Georg Trausmuth from Frequentis.

Publications and Conferences

Journal Papers

  • Beiser A., Hecher M., and Woltran S., (2025) “Automated Hybrid Grounding Using Structural and Data-Driven Heuristics”, in TPLP, 25(4), 489-506. doi: 10.1017/S1471068425100173.

Conference Proceedings

  • Beiser A., Gebser M., Hecher M., and Woltran S., (2025) “FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding”, in KR25, doi: 10.24963/kr.2025/10.

  • Beiser, M. Hecher, K. Unalan, and S. Woltran, (2024) “Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting,” in IJCAI24, K. Larson, Ed., International Joint Conferences on Artificial Intelligence Organization, pp. 3250–3258. doi: 10.24963/ijcai.2024/360.

  • Beiser, S. Hahn, and T. Schaub, (2024) “ASP-driven User-interaction with Clinguin,” in ICLP24, P. Cabalar, F. Fabiano, M. Gebser, G. Gupta, and T. Swift, Eds., ser. Electronic Proceedings in Theoretical Computer Science, vol. 416, Open Publishing Association, pp. 215–228. doi: 10.48550/arXiv.2502.09222.

Presentations

  • “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. University of Klagenfurt, Austria. November 25, 2024

  • “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. TU Dresden, Online. November 14, 2024

  • “Bypassing the ASP Bottleneck Hybrid Grounding by Splitting and Rewriting”. IJCAI24, Jeju, South Korea. August 7, 2024

  • “On the ASP Grounding Bottleneck Over Aggregates Efficiently Grounding via Rewriting & Solving”. TAASP23, University of Potsdam, Germany. November 21, 2023

Workshops

  • Beiser A., Penz D., and Musliu N. (2025), “Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning”, in KG-NeSy25 (Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025)), https://ceur-ws.org/Vol-4064/kgnesy-paper3.pdf

  • Beiser A., Martinelli F., Gerstner W., and Brea J. (2025), “Data Augmentation Techniques to Reverse-Engineer Neural Network Weights from Input-Output Queries”, in UniReps25 (Proceedings of the III edition of the Workshop on Unifying Representations in Neural Models), https://arxiv.org/abs/2511.20312

  • Beiser A., Hecher M., and Woltran S. (2025), “Automated Hybrid Grounding Using Structural and Data-Driven Heuristics (Extended Abstract)”, in TAASP25 (Workshop on Trends and Applications of Answer Set Programming), https://taasp.at/2025/