Compilation of Aggregates in ASP: Preliminary Results.

Giuseppe Mazzotta Bernardo Cuteri Carmine Dodaro Francesco Ricca

Published in: CILC (2020)

Keyphrases

answer set programming
web applications
data streams
logic programs
answer set programs
decision trees
spatio temporal
logic programming
artificial intelligence
metadata
association rules
software engineering
answer sets
prime implicates
model counting
range aggregate queries