2023 XCSP3 竞赛的会议记录,展示了约束求解器比赛的结果,以及在 2023 年 8 月 27 日至 31 日在加拿大多伦多举行的 CP'23(第 29 届约束编程原则与实践国际会议)的主题和研究领域。
Dec, 2023
这篇研究论文总结了第 39 届国际逻辑编程会议(ICLP 2023)在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。
Aug, 2023
该论文是第六届 ASPOCP 2013 会议上提交的论文,主要讨论了当前 ASP 技术在理论、求解和应用方面与其他计算范式的交叉和融合的讨论。
Dec, 2013
2018 年 7 月 18 日在英国牛津举行的第 11 届 Answer Set Programming 和其他计算范式研讨会 (ASPOCP) 的会议记录。
Dec, 2018
此文收集了提交给 CoRe Challenge 2023 的所有求解器和 ISR 实例的描述。
Oct, 2023
本文介绍了第三届国际规划竞赛的成果,包括关于竞赛领域、规划师和目标的描述,并对竞赛结果进行了分析。通过统计数据分析,探讨了比较规划师之间的性能、竞赛领域难度的比较、规划师之间关于各个问题难度的相对一致性以及规划师相对扩展到越来越复杂的问题时的效果。最后,对大赛系列的一些未来挑战进行了讨论。
Jun, 2011
ICLP 是呈现逻辑编程研究的卓越国际会议,涵盖基础、语言、实现和应用,并欢迎相关范式和合作。
Aug, 2022
该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验,讨论 ACL2 定理证明器在技术论坛和应用方面的作用。
May, 2022
本文介绍了 Answer Set Programming 的发展历程、技术进展及其在解决相关问题中的应用,以比赛形式,特别是 ASP 竞赛,验证了 ASP 的优势和成就。该竞赛的第五届为了加入 FLoC 奥林匹克事件于维也纳逻辑学夏季活动 2014,预计是逻辑史上最大规模的事件。竞赛还推广了 ASP-Core-2 标准。
May, 2014
介绍了 18 种提交到首届国际论证计算模型竞赛(ICCMA'15)的系统描述,展示了当前论证问题抽象计算方法的最新进展。详细竞赛结果及解题器性能信息请见网站。
Oct, 2015