Potassco: The Potsdam Answer Set Solving Collection

Potassco: The Potsdam Answer Set Solving Collection

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Ai communications 2011, Vol.24 (2), p.107-124
Hauptverfasser: Gebser, Martin, Kaufmann, Benjamin, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schneider, Marius
Format: Artikel
Sprache:eng
Schlagworte:
Artificial intelligence
Bundling
Collection
Computer programs
Freeware
Programming
Source code
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0921-7126
DOI:10.3233/AIC-2011-0491