The Potsdam Answer Set Solving Collection 5.0
- The Potsdam answer set solving collection, or Potassco for short, bundles various tools implementing and/or applying answer set programming. The article at hand succeeds an earlier description of the Potassco project published in Gebser et al. (AI Commun 24(2):107-124, 2011). Hence, we concentrate in what follows on the major features of the most recent, fifth generation of the ASP system clingo and highlight some recent resulting application systems.
Author details: | Martin GebserORCiD, Roland KaminskiORCiD, Benjamin KaufmannGND, Patrick LühneORCiD, Philipp ObermeierORCiD, Max OstrowskiGND, Javier Romero Davila, Torsten SchaubORCiDGND, Sebastian SchellhornORCiD, Philipp WankoORCiDGND |
---|---|
DOI: | https://doi.org/10.1007/s13218-018-0528-x |
ISSN: | 0933-1875 |
ISSN: | 1610-1987 |
Title of parent work (English): | Künstliche Intelligenz |
Publisher: | Springer |
Place of publishing: | Heidelberg |
Publication type: | Article |
Language: | English |
Date of first publication: | 2018/05/14 |
Publication year: | 2018 |
Release date: | 2021/10/27 |
Volume: | 32 |
Issue: | 2-3 |
Number of pages: | 2 |
First page: | 181 |
Last Page: | 182 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Peer review: | Referiert |