Bernardo Cuteri

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators

Answer Set Programming (ASP) is a well-known formalism for Knowledge Representation and Reasoning, successfully employed to solve many AI problems, also thanks to the availability of efficient implementations. Traditionally, ASP systems are based on the ground&solve approach, where the grounding tra…