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.
Verfasserangaben: | Martin GebserORCiD, Benjamin KaufmannGND, Roland KaminskiORCiD, Max OstrowskiGND, Torsten SchaubORCiDGND, Marius Schneider |
---|---|
DOI: | https://doi.org/10.3233/AIC-2011-0491 |
ISSN: | 0921-7126 |
Titel des übergeordneten Werks (Englisch): | AI communications : AICOM ; the European journal on artificial intelligence |
Verlag: | IOS Press |
Verlagsort: | Amsterdam |
Publikationstyp: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Erstveröffentlichung: | 2011 |
Erscheinungsjahr: | 2011 |
Datum der Freischaltung: | 26.03.2017 |
Freies Schlagwort / Tag: | Answer set programming; declarative problem solving |
Band: | 24 |
Ausgabe: | 2 |
Seitenanzahl: | 18 |
Erste Seite: | 107 |
Letzte Seite: | 124 |
Fördernde Institution: | German Science Foundation (DFG) [SCHA 550/8-1, SCHA 550/8-2] |
Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Peer Review: | Referiert |
Name der Einrichtung zum Zeitpunkt der Publikation: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |