The ASP System DLV: Advancements and Applications.
Weronika T. AdrianMario AlvianoFrancesco CalimeriBernardo CuteriCarmine DodaroWolfgang FaberDavide FuscàNicola LeoneMarco MannaSimona PerriFrancesco RiccaPierfrancesco VeltriJessica ZangariPublished in: Künstliche Intell. (2018)
Keyphrases
- answer set programming
- answer sets
- logic programs
- logic programming
- disjunctive logic programming
- stable model semantics
- answer set semantics
- answer set programs
- information processing
- knowledge representation
- special case
- machine learning
- information extraction
- domain knowledge
- case study
- stable models
- artificial intelligence
- normal logic programs
- data mining
- databases