-dlv: The New Intelligent Grounder of dlv.
Francesco CalimeriDavide FuscàSimona PerriJessica ZangariPublished 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