Compilation of Aggregates in ASP

Giuseppe Mazzotta

Answer Set Programming (ASP) is a well-known problem-solving formalism in computational logic. Nowadays, ASP is used in many real world scenarios thanks to ASP solvers. Standard ev…