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
|
https://www.w3.org/2000/01/rdf-schema#label |
Potassco
|
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
|