IJCAI24 - Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting

The prototype "NaGG" (specialized version of Newground) for the work, as presented in [Beiser et al., 2024].

[Beiser et al., 2024]

IJCAI22 - Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck

The prototype "newground" for the work, as presented in [Besin et al., 2022].

[Besin et al., 2022] Viktor Besin, Markus Hecher, and Stefan Woltran. Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck. In IJCAI’22, pages 2546–2552. ijcai.org, 2022