Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:research_institute
|
| gptkbp:affiliation |
gptkb:University_of_Potsdam
|
| gptkbp:contributedTo |
gptkb:software
|
| gptkbp:field |
gptkb:artificial_intelligence
gptkb:knowledge_representation logic programming |
| gptkbp:focus |
answer set programming
|
| gptkbp:foundedIn |
2006
|
| gptkbp:fullName |
Potsdam Answer Set Solving Collection
|
| gptkbp:location |
gptkb:Potsdam,_Germany
|
| gptkbp:notableMember |
gptkb:Benjamin_Kaufmann
gptkb:Martin_Gebser gptkb:Roland_Kaminski gptkb:Torsten_Schaub |
| gptkbp:notableProject |
gptkb:clingo
aspcud clingcon gringo lpopt |
| gptkbp:website |
https://potassco.org/
|
| gptkbp:bfsParent |
gptkb:CLASP
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Potassco
|