Alexander Beiser

Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting

Answer Set Programming (ASP) is a key paradigm for problems in artificial intelligence and industrial contexts. In ASP, problems are modeled via a set of rules. Over the time this paradigm grew into a rich language, enabling complex rule types like aggregate expressions. Most practical ASP systems f…