Alexander Beiser
Projektass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Databases and Artificial Intelligence, E192-02
Publications
-
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
/
Beiser, A., Woltran, S., & Hecher, M. (2025). Automated Hybrid Grounding Using Structural and Data-Driven Heuristics. Theory and Practice of Logic Programming, 25(4), 489–506. https://doi.org/10.1017/S1471068425100173
Project: QuantASP (2025–2027) -
Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning
/
Beiser, A., Penz, D., & Musliu, N. (2025). Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning. In D. Chaves-Fraga, I. Heibi, D. Garijo, D. Collarana, A. Salatino, & S. Vahdati (Eds.), 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). CEUR.
Project: BILAI (2024–2029) -
Novel techniques for circumventing the ASP Bottleneck
/
Beiser, A. (2025). Novel techniques for circumventing the ASP Bottleneck [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.127965
Download: PDF (6.01 MB) -
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
/
Beiser, A., Hecher, M., Unalan, K., & Woltran, S. (2024). Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3250–3258). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/360
Project: REVEAL-AI (2020–2024)