ACL2 定理证明器及其应用国际研讨会第十七届会议论文集
该论文介绍了一个自动化推理系统 ACL2 定理证明器,其应用包括计算系统规范和验证,形式验证等,Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。
Sep, 2015
这篇研究论文总结了第 39 届国际逻辑编程会议(ICLP 2023)在英国伦敦帝国理工学院于 2023 年 7 月 9 日至 7 月 15 日举行的技术交流。涵盖了主会场、博士生学术研讨会、应用与系统 / 演示研讨会、最近发布研究研讨会、一起探讨研讨会、逻辑编程与机器学习、逻辑编程与可解释性、伦理和可信度研究等领域。
Aug, 2023
ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through software support using theorem-proving technologies.
Feb, 2022
该研究论文通过探索定理证明技术在 STEM 教育中的软件支持,以实现从中学的直观数学方式到更正式学科的平滑过渡,并促进计算机科学家、数学家和教育者之间的相互理解。
Apr, 2024
2016 年 Applications of Logic Programming Workshop 会议在纽约市 Flushing 举行,与国际逻辑编程会议(ICLP)相关,文章介绍了会议的主要贡献。
Apr, 2017
本文初步探讨了在 ACL2 系统上使用外部 ATP 进行实验的情况,旨在为解决 ACL2 问题提供外部推理和人工智能系统的初步效用评估。
Jun, 2014
介绍了自 2011 年 ACL2 研讨会以来在 ACL2 版本中引入的增强功能,重点介绍了那些可以使用户受益的改进,但这些改进可能不会在日常实践中被发现。
Apr, 2013