Alexander Gebhard Beiser
Hello, I’m
Alexander Gebhard Beiser, a PhD student specializing in Artificial Intelligence (AI) for Air Traffic Management (ATM).
I have a background in computer science with a strong emphasis on AI.
I completed my Bachelor's degree in Software and Information Engineering at TU Wien, followed by a Master's degree in Logic and Computation at the same institution.
My degree focused on symbolic AI, including logic programming and planning.
In this field, more precisely in Answer Set Programming, I published my first two papers.
During my exchange at EPFL in Switzerland, I had the opportunity to gain experience in subsymbolic AI and neuroscience.
My PhD at
TU Wien (in collaboration with
Frequentis) will focus primarily on developing and applying neurosymbolic AI for ATM to enable efficient and safe air traffic operations.
I am open to collaborate on neurosymbolic AI or explainable AI for ATM.
Links
Publications (Selection)
- 2024
- Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
- Authors: Alexander Beiser, Markus Hecher, Kaan Unalan and Stefan Woltran
- Conference: IJCAI24
- Proceedings link
- ASP-driven User-interaction with Clinguin
- Authors: Alexander Beiser, Susana Hahn and Torsten Schaub
- Conference: ICLP24
Theses
- Master's Thesis
- Year: 2025
- Title: Novel Techniques for Circumventing the ASP Bottleneck
- Supervisors: Markus Hecher, Stefan Woltran
- Document: Master Thesis
- GitHub: Newground3
- Bachelor's Thesis
- Year: 2023
- Title: Body-decoupled Grounding for Answer Set Programming extended with Aggregates
- Supervisors: Markus Hecher, Stefan Woltran
- Document: Bachelor Thesis
- GitHub: Newground
- High School Thesis
- Year: 2018
- Title: JavaChess, ChessPI AndChess
- GitHub: JavaChess
Additional Information