I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector.

Davide Fuscà Francesco Calimeri Jessica Zangari Simona Perri

Published in: RCRA@AI*IA (2017)

Keyphrases

answer set programming
logic programs
answer sets
data driven
logic programming
semi automatic
disjunctive logic programming
search space
knowledge representation
data sets
computer vision
e learning
case study
multi agent
lower bound
satisfiability modulo theories