ASP-Bench: From Natural Language to Logic Programs

Abstract

Full Citation:

Stefan Szeider. ASP-Bench: From Natural Language to Logic Programs. Proceedings of the 2nd IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering (NSE ‘26), pages 1–8, 2026, ACM. (Note: Preprint: CoRR abs/2602.01171, https://arxiv.org/abs/2602.01171. Extended abstract in Proceedings 42nd International Conference on Logic Programming, ICLP 2026, EPTCS 450, pages 104–118, https://doi.org/10.4204/EPTCS.450.10)

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.