Login / Signup
-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