ACLSep, 2015

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

PDF
TL;DR该论文介绍了一个自动化推理系统 ACL2 定理证明器，其应用包括计算系统规范和验证，形式验证等，Boyer-Moore 家族的成员在 ACL2 Theorem Prover 研究和发展中做出重要贡献。
acl2 theorem proverformal verificationautomated reasoning systemcomputing systemsboyer-moore family
发现论文，激发创造
  • ACL2 定理证明器及其应用国际研讨会第十七届会议论文集

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

    May, 2022

  • TPTP 风格的自动定理证明器在 ACL2 问题上的初步实验

    本文初步探讨了在 ACL2 系统上使用外部 ATP 进行实验的情况，旨在为解决 ACL2 问题提供外部推理和人工智能系统的初步效用评估。

    Jun, 2014

  • ACL2 版本 5.0、6.0 和 6.1 的增强功能

    介绍了自 2011 年 ACL2 研讨会以来在 ACL2 版本中引入的增强功能，重点介绍了那些可以使用户受益的改进，但这些改进可能不会在日常实践中被发现。

    Apr, 2013

  • ACL2 版本 6.2、6.3 和 6.4 的增强功能

    本文介绍了自 2013 年 ACL2 研讨会以来对 ACL2 的改进，并涉及形式验证和定理证明方面的研究领域。

    Jun, 2014

  • ACL2 证明调试工具的进展

    ACL2 用户的经验通常包括许多失败的证明尝试，成功使用 ACL2 prover 的关键在于有效利用调试工具，本文侧重于 ACL2 版本 8.5 之后的改进，包括改进的 break-rewrite 工具和新的 with-brr-data 实用工具。

    Nov, 2023

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

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

    Aug, 2023

  • 第 12 届国际定理证明组件教育软件研讨会论文集

    该研究论文通过探索定理证明技术在 STEM 教育中的软件支持，以实现从中学的直观数学方式到更正式学科的平滑过渡，并促进计算机科学家、数学家和教育者之间的相互理解。

    Apr, 2024

  • 第十届定理证明组件教育软件国际研讨会论文集

    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

  • 第 11 届定理证明教育软件组件国际研讨会

    本文介绍了 ThEdu 系列以及本卷在 STEM 教育中应用定理证明技术的自动演绎和应用于教育软件的方法和工具在教育方面的应用。

    Mar, 2023

  • 第 38 届国际逻辑编程大会论文集

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

    Aug, 2022