The Design of the Seventh Answer Set Programming Competition
The Design of the Seventh Answer Set Programming Competition
复制标题
第七届答案集编程竞赛设计
DOI：
10.1007/978-3-319-61660-5_1
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
F. Ricca
中科院分区：
文献类型：
--
作者：
M. Gebser;M. Maratea;F. Ricca
.答案集编程（ASP）是一种重要的知识表示语言，它起源于逻辑编程和非单调推理。每两年举办一次的竞赛，以提供具有挑战性的基准集合，并评估ASP解决方案的最新进展。在本文中，我们报告了第七届ASP竞赛的设计，该竞赛由卡拉布里亚大学（意大利），Gen-ova大学（意大利）和波茨坦大学（德国）联合举办，与第14届逻辑编程和非单调推理国际会议（LPNMR 2017）有关。该竞赛版本的一个新功能是重新引入模型与求解轨道，通过问题域补充通常的系统轨道，参与者需要提供专用的编码和解决方法。
. Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report about the design of the Seventh ASP Competition, which is jointly organized by the University of Calabria (Italy), the University of Gen-ova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017). A novel feature of this competition edition is the re-introduction of a Model&Solve track, complementing the usual System track with problem domains where participants need to provide dedicated encodings and solving means.
卡扣系列3的进展
DOI：
10.1007/978-3-319-23264-5_31
发表时间：
--
期刊：
影响因子：
--
作者：
M. Gebser;R. Kaminski;B. Kaufmann;J. Romero;T. Schaub
通讯作者：
T. Schaub
答案集编程模非循环性
DOI：
10.3233/fi-2016-1398
发表时间：
2016
期刊：
Fundam. Informaticae
影响因子：
--
作者：
J. Bomanson;M. Gebser;T. Janhunen;B. Kaufmann;T. Schaub
通讯作者：
T. Schaub