Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Answer Set Programming System
|
| gptkbp:author |
Nicola Leone, Wolfgang Faber, Gerald Pfeifer, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
|
| gptkbp:citation |
gptkb:The_DLV_System_for_Knowledge_Representation_and_Reasoning
2006 |
| gptkbp:developedBy |
gptkb:University_of_Calabria
|
| gptkbp:firstReleased |
1997
|
| gptkbp:hasFeature |
Aggregates
Built-in Predicates Disjunctive Rules Strong Negation Weak Constraints |
| https://www.w3.org/2000/01/rdf-schema#label |
DLV
|
| gptkbp:implementedIn |
Disjunctive Logic Programming
|
| gptkbp:license |
gptkb:GPL
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:supports |
Answer Set Semantics
|
| gptkbp:usedFor |
gptkb:knowledge_representation
Declarative Problem Solving Nonmonotonic Reasoning |
| gptkbp:website |
http://www.dlvsystem.com/
|
| gptkbp:writtenBy |
gptkb:C++
|
| gptkbp:bfsParent |
gptkb:Answer_Set_Programming
|
| gptkbp:bfsLayer |
7
|