Alexander Beiser, in collaboration with his PhD supervisor Stefan Woltran and their colleagues Markus Hecher and Kaan Unalan, presented their innovative research on Answer Set Programming (ASP) at the International Joint Conference on Artificial Intelligence (IJCAI24) in Jeju, South Korea. This joint work, initiated before Alexander’s PhD studies, introduces “hybrid grounding,” a technique that synergizes traditional grounding with body-decoupled grounding (BDG) to efficiently manage the grounding bottleneck in ASP systems. They also addressed how their novel aggregate rewriting techniques facilitate the efficient grounding of complex aggregates within this framework. These enhancements significantly reduce grounding sizes, advancing problem-solving capabilities in symbolic AI and indicating a promising direction for future research in the field.

Proceedings link: Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting