-dlv: The New Intelligent Grounder of dlv.

Francesco Calimeri Davide Fuscà Simona Perri Jessica Zangari

Published in: AI*IA (2016)

Keyphrases

disjunctive logic programming
answer set programming
answer sets
logic programs
logic programming

decision support
stable model semantics
knowledge representation and reasoning
image processing

polynomial hierarchy
information retrieval
intelligent systems
probabilistic model

query language
user interface
decision trees
computer vision