The Potsdam Answer Set Solving Collection 5.0
The Potsdam Answer Set Solving Collection 5.0
复制标题
波茨坦答案集解答集合 5.0
DOI：
--
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
P. Wanko
中科院分区：
文献类型：
--
作者：
M. Gebser;Roland Kaminski;B. Kaufmann;Patrick Lühne;Philipp Obermeier;M. Ostrowski;J. Romero;Torsten Schaub;S. Schellhorn;P. Wanko
波茨坦答案集求解集合，简称Potassco，捆绑了实现和/或应用答案集编程的各种工具。这篇文章继承了Gebser等人发表的Potassco项目的早期描述（AI Commun 24（2）：107-124，2011）。因此，我们集中在下面的最新的，第五代的ASP系统clingo的主要特点，并强调一些最近产生的应用系统。
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.