I-DLV: The new intelligent grounder of DLV.
Francesco CalimeriDavide FuscàSimona PerriJessica ZangariPublished in: Intelligenza Artificiale (2017)
Keyphrases
- disjunctive logic programming
- answer set programming
- answer sets
- real time
- stable model semantics
- image processing
- case study
- bayesian networks
- logic programs
- mobile robot
- polynomial hierarchy
- adaptive systems
- agent technology
- intelligent systems
- knowledge representation
- artificial neural networks
- data structure
- three dimensional
- real world
- neural network
- databases