FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding

Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran. FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding. In Magdalena Ortiz 0001, Renata Wassermann, Torsten Schaub, editors, Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025, Melbourne, Australia, November 1-17, 2025. 2025. [doi]

Abstract

Abstract is missing.