回答集编程（ASP）是声明性编程的一个良好建立的范例，与其他声明性形式主义（诸如SAT模理论、约束处理规则、FO（.）PDDL和许多其他人。自从第一个非正式版本以来，ASP系统已经在现在已经建立的ASP竞赛中进行了比较。第三届（公开）ASP竞赛，作为在德国波茨坦大学（2006-2007年）和比利时鲁汶大学（2009年）举行的ASP竞赛系列的续集，于2011年上半年在卡拉布里亚大学（意大利）举行。参与者在预先选择的基准问题集合上进行竞争，这些问题来自各个领域以及现实世界的应用。竞赛分为两个部分：模型和求解（M&S）部分，基于开放的问题编码和开放的语言，对任何基于声明式规范范式的系统开放;系统部分，基于固定的公共问题编码，用标准ASP语言编写。本文讨论了比赛的形式和背后的理由，然后报告了两个轨道的结果。与第二次ASP竞争和国家的最先进的解决方案的一些基准域的比较，最终进行了讨论。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
英文摘要：
Answer Set Programming (ASP) is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL and many others. Since its first informal editions, ASP systems have been compared in the now well-established ASP Competition. The Third (Open) ASP Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006-2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a pre-selected collection of benchmark problems, taken from a variety of domains as well as real world applications. The Competition ran on two tracks: the Model and Solve (M&S) Track, based on an open problem encoding, and open language, and open to any kind of system based on a declarative specification paradigm; and the System Track, run on the basis of fixed, public problem encodings, written in a standard ASP language. This paper discusses the format of the Competition and the rationale behind it, then reports the results for both tracks. Comparison with the second ASP competition and state-of-the-art solutions for some of the benchmark domains is eventually discussed.
To appear in Theory and Practice of Logic Programming (TPLP).
The Design of the Fifth Answer Set Programming Competition
Università della Calabria（卡拉布里亚大学）；Helsinki Institute for Information Technology HIIT（赫尔辛基信息技术研究所 HIIT）；Aalto University（阿尔托大学）；University of Potsdam（波茨坦大学）；Università di Genova（热那亚大学）
答案集编程（ASP）是一种成熟的声明式编程范式，它在逻辑编程和非单调推理领域得到了发展。ASP解决技术的进步通常在比赛中进行评估，因为它发生在其他密切相关的问题解决技术，如SAT/SMT，QBF，计划和调度。ASP竞赛（通常）是两年一次的活动;然而，第五届ASP竞赛偏离了传统，以加入2014年维也纳夏季逻辑的FLoC奥林匹克运动会，这有望成为逻辑历史上最大的事件。ASP竞赛系列由卡拉布里亚大学（意大利），阿尔托大学（芬兰）和热那亚大学（意大利）联合举办，并隶属于第30届国际逻辑编程会议（ICLP 2014）。它具有完全重新设计的设置，包括轨道设计，评分模式以及坚持固定建模语言的新颖性，以推动ASP-Core-2标准的采用。基准域取自过去的版本，并将2013年提交的最佳系统包与新版本和求解器进行比较。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation
Technische Universität Wien（维也纳技术大学）；Marmara University（马尔马拉大学）；Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；Sabanci University（萨班哲大学）
本文介绍了参加第一届归纳逻辑程序设计（ILP）竞赛的计算机系统。它基于Answer Set Programming（ASP）。假设空间生成的ASP编码：给定一组表示模式偏差的事实和一组成本配置参数，该编码的每个答案集表示一个规则，该规则被认为是用于找到需要给定示例的假设。与使用规则体的长度作为规则复杂性度量的最新方法相比，我们的方法允许对假设候选规则的形状进行更细粒度的规范。系统迭代地增加规则成本限制，从而增加搜索空间，直到找到合适的假设。该系统搜索一个假设，需要一个单一的例子，利用ASP编码从XHAIL中使用的编码派生。我们用ILP竞赛的开发和测试集进行实验。为了比较，我们还适应了ILASP系统处理竞争的情况下。实验结果表明，假设搜索空间的代价参数是在有限的资源范围内找到竞争实例的假设的重要因素。
Università degli Studi di Genova（热那亚大学）；Università degli Studi di Sassari（萨萨里大学）；Università della Calabria（卡拉布里亚大学）
答案集编程（ASP）是一种真正的声明式编程范式，在非单调推理和逻辑编程领域提出，最近已在许多应用中使用。因此，开发高效的ASP系统至关重要。考虑到改进ASP的求解方法的任务，有两种常用的方法来实现这一目标：$(i)$扩展最先进的技术和ASP求解器，或$(ii)$从头开始设计一个新的ASP求解器。这些趋势的替代方案是建立在最先进的求解器之上，并应用机器学习技术来自动选择“最好的”可用求解器。在本文中，我们追求这后一个方向。我们首先定义了一组便宜的计算句法功能，表征ASP程序的几个方面。然后，我们应用分类方法，给定{ \sl training}集中的实例的特征和求解器在这些实例上的性能，归纳学习算法选择策略以应用于{ \sl test}集。我们报告了一些实验的结果，考虑到求解器和不同的训练和测试集的情况下，从提交给“系统跟踪”的第三届ASP竞赛。我们的分析表明，通过将机器学习技术应用于ASP求解，可以获得非常稳健的性能：与第三届ASP竞赛的任何求解器相比，我们的方法可以解决更多的实例。(To逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
The University of Melbourne（墨尔本大学）；University of Bologna（博洛尼亚大学）；INRIA（法国国家信息与自动化研究所）；University of Oslo（奥斯陆大学）
在约束编程（CP）中，投资组合求解器结合了各种不同的约束求解器来解决给定的问题。这种相当新的方法能够显着提高单求解器的性能，特别是在利用多核架构时。在这项工作中，我们简要介绍了投资组合求解器sunny-cp，并讨论了它在MiniZinc挑战赛中的表现--这是CP求解器的年度国际竞赛--在2015年和2016年赢得了两枚金牌。逻辑程序设计理论与实践（Theory and Practice of Logic Programming，TPLP）
A hybrid solution approach for the Integrated Healthcare Timetabling Competition 2024
University of Twente, Center for Healthcare Operations Improvement and Research（埃因霍温理工大学，医疗运营改进与研究中心）；University of Twente, Industrial Engineering and Management Science（埃因霍温理工大学，工业工程与管理科学）；University of Twente, Mathematics of Operations Research（埃因霍温理工大学，运筹学数学）
Can LLMs Generate Reliable Test Case Generators? A Study on Competition-Level Programming Problems
Shanghai Qi Zhi Institute（上海启智研究院）；ShanghaiTech University（上海科技大学）；Wuhan University（武汉大学）；Fuzhou University（福州大学）；Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所）；Tsinghua University（清华大学）；Huazhong University of Science and Technology（华中科技大学）；Nanjing University（南京大学）；Beijing University of Posts and Telecommunications（北京邮电大学）；Peking University（北京大学）
MineRL Diamond 2021 Competition: Overview, Results, and Lessons Learned
University of Eastern Finland（东芬兰大学）；Carnegie Mellon University（卡内基梅隆大学）；Tencent AI Lab（腾讯人工智能实验室）；NetEase Games AI Lab（网易游戏人工智能实验室）；University of Geneva（日内瓦大学）；HSE University（高等经济大学）；JetBrains Research（JetBrains研究院）
