Statements (32)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
answer set programming system |
| gptkbp:author |
gptkb:Benjamin_Kaufmann
gptkb:Martin_Gebser gptkb:Roland_Kaminski gptkb:Torsten_Schaub |
| gptkbp:citation |
gptkb:Clingo_=_ASP_+_Control:_Preliminary_Report
2014 |
| gptkbp:developer |
gptkb:Potassco
|
| gptkbp:firstReleased |
2014
|
| gptkbp:hasComponent |
grounder
solver |
| https://www.w3.org/2000/01/rdf-schema#label |
clingo
|
| gptkbp:interface |
gptkb:graphical_user_interface
Python API |
| gptkbp:latestReleaseVersion |
2023-10-10
5.6.2 |
| gptkbp:license |
gptkb:MIT_License
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:partOf |
gptkb:Potassco_project
|
| gptkbp:programmingLanguage |
gptkb:Python
gptkb:C++ C |
| gptkbp:repository |
https://github.com/potassco/clingo
|
| gptkbp:supports |
gptkb:ASP-Core-2_standard
|
| gptkbp:usedFor |
gptkb:knowledge_representation
logic programming answer set programming nonmonotonic reasoning |
| gptkbp:website |
https://potassco.org/clingo/
|
| gptkbp:bfsParent |
gptkb:Answer_Set_Programming
|
| gptkbp:bfsLayer |
7
|