The Potsdam Answer Set Solving Collection 5.0

被引：14

作者：

Gebser M. ^{[1
]}

Kaminski R. ^{[1
]}

Kaufmann B. ^{[1
]}

Lühne P. ^{[1
]}

Obermeier P. ^{[1
]}

Ostrowski M. ^{[1
]}

Romero J. ^{[1
]}

Schaub T. ^{[1
]}

Schellhorn S. ^{[1
]}

Wanko P. ^{[1
]}

机构：

[1] University of Potsdam, Potsdam

来源：

KI - Kunstliche Intelligenz | 2018年 / 32卷 / 2-3期

关键词：

Clingo; Difference Constraints; Firm Semantic Foundation; Gebser; Handle Sensor Data;

D O I：

10.1007/s13218-018-0528-x

中图分类号：

学科分类号：

摘要：

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. © 2018, Springer-Verlag GmbH Germany, part of Springer Nature.

引用

页码：181 / 182

页数：1