The First Answer Set Programming System Competition
The First Answer Set Programming System Competition
复制标题
第一届答案集编程系统竞赛
DOI：
10.1007/978-3-540-72200-7_3
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
M. Truszczynski
中科院分区：
文献类型：
--
作者：
M. Gebser;Lengning Liu;Gayathri Namasivayam;A. Neumann;Torsten Schaub;M. Truszczynski
本文是结合第九届国际逻辑程序设计与非单调推理会议而举办的首届答案集程序设计系统竞赛的综述。比赛的目的有两个：第一，收集具有挑战性的基准问题，第二，提供一个平台来评估各种各样的答案集编程系统。该竞赛的灵感来自于邻近领域的类似活动，在这些领域，定期基准测试是改进所开发系统及其解决实际应用能力的主要因素。
This paper gives a summary of the First Answer Set Programming System Competition that was held in conjunction with the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning. The aims of the competition were twofold: first, to collect challenging benchmark problems, and second, to provide a platform to assess a broad variety of Answer Set Programming systems. The competition was inspired by similar events in neighboring fields, where regular benchmarking has been a major factor behind improvements in the developed systems and their ability to address practical applications.