The DLV system for knowledge representation and reasoning.
Nicola LeoneGerald PfeiferWolfgang FaberThomas EiterGeorg GottlobSimona PerriFrancesco ScarcelloPublished in: ACM Trans. Comput. Log. (2006)
Keyphrases
- knowledge representation and reasoning
- disjunctive logic programming
- stable model checking
- logic programming
- knowledge representation
- artificial intelligence
- reasoning systems
- description logics
- incomplete information
- structured knowledge
- answer set programming
- automated reasoning
- answer sets
- normal logic programs
- semantic modeling
- conference on artificial intelligence
- data model