Efficiently Coupling the I-DLV Grounder with ASP Solvers.

Francesco Calimeri Carmine Dodaro Davide Fuscà Simona Perri Jessica Zangari

Published in: CoRR (2018)

Keyphrases

answer set programming
logic programs
declarative programming
logic programming
web applications
answer sets
modulo theories
database
information retrieval
learning algorithm
computer vision
highly efficient
disjunctive logic programming