Answer Set Programming (ASP) is a prominent knowledge representation language
with roots in logic programming and non-monotonic reasoning. Biennial ASP
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 on the design and results of the Seventh ASP
Competition, jointly organized by the University of Calabria (Italy), the
University of Genova (Italy), and the University of Potsdam (Germany), in
affiliation with the 14th International Conference on Logic Programming and
Non-Monotonic Reasoning (LPNMR 2017). (Under consideration for acceptance in
TPLP).

本文介绍了关于 Answer Set Programming 的比赛，并讨论了设计和结果。

第七届答案集编程竞赛：设计与结果

The Seventh Answer Set Programming Competition: Design and Results

Answer Set Programming (ASP) is a well-established paradigm of declarative
programming that has been developed in the field of logic programming and
nonmonotonic reasoning. Advances in ASP solving technology are customarily
assessed in competition events, as it happens for other closely-related
problem-solving technologies like SAT/SMT, QBF, Planning and Scheduling. ASP
Competitions are (usually) biennial events; however, the Fifth ASP Competition
departs from tradition, in order to join the FLoC Olympic Games at the Vienna
Summer of Logic 2014, which is expected to be the largest event in the history
of logic. This edition of the ASP Competition series is jointly organized by
the University of Calabria (Italy), the Aalto University (Finland), and the
University of Genova (Italy), and is affiliated with the 30th International
Conference on Logic Programming (ICLP 2014). It features a completely
re-designed setup, with novelties involving the design of tracks, the scoring
schema, and the adherence to a fixed modeling language in order to push the
adoption of the ASP-Core-2 standard. Benchmark domains are taken from past
editions, and best system packages submitted in 2013 are compared with new
versions and solvers.
To appear in Theory and Practice of Logic Programming (TPLP).

本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用，以比赛形式，特别是 ASP 竞赛，验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014，预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。