Partial Compilation of ASP Programs - CUTERI, BERNARDO; DODARO, CARMINE; RICCA, FRANCESCO; SCHÜLLER, PETER (Theory and practice of logic programming, 2019)
Keywords: 35th International Conference on Logic Programming; Algorithms; Combinatorial analysis; Declarative programming; Logic programming; Mathematical programming; Original Article; Grounding bottleneck; Answer set programming; Compilation