2022
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck
IJCAI 2022poster
Answer-Set Programming (ASP) has seen tremendous progress over the last two decades and is nowadays successfully applied in many real-world domains. However, for certain types of problems, the well-known ASP grounding bottleneck still causes severe problems. This becomes virulent when grounding of r…