TU Wien Informatics

Role

  • 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)