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