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

共 13 条

[1]

Banbara M., Inoue K., Kaufmann B., Okimoto T., Schaub T., Soh T., Tamura N., Wanko P., Teaspoon: Solving the curriculum-based course timetabling problems with answer set programming, Ann Oper Res, (2018)

[2]

Brewka G., Delgrande J., Romero J., Schaub T., Asprin: Customizing answer set preferences without a headache, Proceedings of the Twenty-Ninth National Conference on Artificial Intelligence (AAAI’15), 2015, pp. 1467-1474, (2015)

[3]

Calimeri F., Faber W., Gebser M., Ianni G., Kaminski R., Krennwallner T., Leone N., Ricca F., Schaub T., Asp-Core-2: Input Language Format, (2012)

[4]

Dimopoulos Y., Gebser M., Luhne P., Romero J., Schaub T., Plasp 3: Towards effective ASP planning, Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17). Lecture Notes in Artificial Intelligence, 10377, pp. 286-300, (2017)

[5]

Gebser M., Harrison A., Kaminski R., Lifschitz V., Schaub T., Abstract Gringo, Theory Pract Log Program, 15, 4-5, pp. 449-463, (2015)

[6]

Gebser M., Kaminski R., Kaufmann B., Ostrowski M., Schaub T., Schneider M., Potassco: the potsdam answer set solving collection, AI Commun, 24, 2, pp. 107-124, (2011)

[7]

Gebser M., Kaminski R., Kaufmann B., Schaub T., Answer set solving in practice, (2012)

[8]

Gebser M., Kaminski R., Schaub T., Aspcud: A Linux package configuration tool based on answer set programming, Proceedings of the Second International Workshop on Logics for Component Configuration (LoCoCo’11), Electronic Proceedings in Theoretical Computer Science (EPTCS), 65, pp. 12-25, (2011)

[9]

Janhunen T., Kaminski R., Ostrowski M., Schaub T., Schellhorn S., Wanko P., Clingo goes linear constraints over reals and integers, Theory Prac Logic Program, 17, 5-6, pp. 872-888, (2017)

[10]

Kaminski R., Schaub T., Wanko P., A tutorial on hybrid answer set solving with clingo, Proceedings of the Thirteenth International Summer School of the Reasoning Web. Lecture Notes in Computer Science, 10370, pp. 167-203, (2017)

← 1 2 →