The DLV System for Knowledge Representation and Reasoning
Nicola LeoneGerald PfeiferWolfgang FaberThomas EiterGeorg GottlobSimona PerriFrancesco ScarcelloPublished in: CoRR (2002)
Keyphrases
- knowledge representation and reasoning
- disjunctive logic programming
- stable model checking
- logic programming
- knowledge representation
- reasoning systems
- artificial intelligence
- description logics
- answer set programming
- answer sets
- incomplete information
- structured knowledge
- logic programs
- automated reasoning
- semantic modeling
- normal logic programs
- update semantics
- bayesian networks
- ai planning
- conference on artificial intelligence
- database systems
- constraint satisfaction problems
- software engineering
- high level
- database