Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
gptkb:answer_set_programming_system |
| gptkbp:describes |
Smodels is a system for answer set programming and computing stable models of logic programs.
|
| gptkbp:developer |
gptkb:Patrik_Simons
gptkb:Ilkka_Niemelä |
| gptkbp:firstReleased |
1998
|
| gptkbp:genre |
logic programming
|
| gptkbp:latestReleaseVersion |
2003
2.34 |
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:operatingSystem |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:C++
|
| gptkbp:website |
http://www.tcs.hut.fi/Software/smodels/
|
| gptkbp:bfsParent |
gptkb:Answer_Set_Programming
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Smodels
|