The DLV System for Knowledge Representation and Reasoning
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:reasoning_system
gptkb:software gptkb:knowledge_representation_system |
| gptkbp:developedBy |
DLV research group
|
| gptkbp:firstReleased |
1997
|
| gptkbp:hasWebsite |
http://www.dlvsystem.com/
|
| gptkbp:implementedIn |
disjunctive logic programming
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:publishedIn |
Nicola Leone, et al. "The DLV System for Knowledge Representation and Reasoning." ACM Transactions on Computational Logic, 2006.
|
| gptkbp:supports |
answer set programming
|
| gptkbp:usedFor |
gptkb:artificial_intelligence
gptkb:knowledge_representation nonmonotonic reasoning |
| gptkbp:writtenBy |
gptkb:C++
|
| gptkbp:bfsParent |
gptkb:DLV
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
The DLV System for Knowledge Representation and Reasoning
|