publish.UP Institut für Informatik und Computational Science

Institut für Informatik und Computational Science

1 search hit

1 to 1

Potassco the Potsdam answer set solving collection (2011)

Gebser, Martin ; Kaufmann, Benjamin ; Kaminski, Roland ; Ostrowski, Max ; Schaub, Torsten ; Schneider, Marius

This paper gives an overview of the open source project Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.

1 to 1

Institut für Informatik und Computational Science

Refine

Author

Document Type

Keywords

1 search hit