Aug, 2023

第 39 届国际逻辑编程会议论文集

PDF
TL;DR这篇研究论文总结了第 39 届国际逻辑编程会议（ICLP 2023）在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。
发现论文，激发创造
  • 第 38 届国际逻辑编程大会论文集

    ICLP 是呈现逻辑编程研究的卓越国际会议，涵盖基础、语言、实现和应用，并欢迎相关范式和合作。

    Aug, 2022

  • 第 35 届国际逻辑编程会议特刊介绍

    本特刊介绍了 ICLP 第 35 届国际会议上被接受发表的常规论文，主要讨论逻辑编程领域的工作。

    Aug, 2019

  • AppLP: 逻辑编程应用对话

    2016 年 Applications of Logic Programming Workshop 会议在纽约市 Flushing 举行，与国际逻辑编程会议（ICLP）相关，文章介绍了会议的主要贡献。

    Apr, 2017

  • 第二届逻辑与编程实践研讨会论文集 (LPOP)

    本文介绍了第二届逻辑与程序设计工作坊（Logic and Practice of Programming，LPOP）的论文摘要和立场论文，旨在作为计算机科学中使用逻辑作为实用工具的不同领域之间的桥梁，利用形式逻辑的公共语言交换思想。

    Nov, 2022

  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

    该论文集收录了 ACL2 定理证明器及其应用方面的研究和经验，讨论 ACL2 定理证明器在技术论坛和应用方面的作用。

    May, 2022

  • 答案集编程与其他计算范式会议论文集（ASPOCP2013），第六届国际研讨会，2013 年 8 月 25 日，土耳其伊斯坦布尔

    该论文是第六届 ASPOCP 2013 会议上提交的论文，主要讨论了当前 ASP 技术在理论、求解和应用方面与其他计算范式的交叉和融合的讨论。

    Dec, 2013

  • ACL2 定理证明器及其应用国际研讨会第十三届会议论文集

    该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。

    Sep, 2015

  • 第三届法律领域挖掘与学习国际研讨会论文集 (MLLD-23)

    第三届国际法律领域挖掘与学习研讨会 (MLLD-23) 的会议记录，与第 32 届 ACM 信息与知识管理国际会议 (CIKM-2023) 同时在英国伯明翰大学举行，于 2023 年 10 月 22 日星期日举行。

    Oct, 2023

  • 2022 年 XCSP3 竞赛会议论文集

    2022 XCSP3 比赛的结果在 FLOC 2022 奥运会上揭晓，本文记录了比赛的进程和该约束求解器的相关实现和应用。

    Sep, 2022

  • 2023 XCSP3 大赛论文集

    2023 XCSP3 竞赛的会议记录，展示了约束求解器比赛的结果，以及在 2023 年 8 月 27 日至 31 日在加拿大多伦多举行的 CP'23（第 29 届约束编程原则与实践国际会议）的主题和研究领域。

    Dec, 2023