第五届定理证明证明交换研讨会会议录
计算机科学中的逻辑
2017-12-05 v1 人工智能
编程语言
摘要
本卷 EPTCS 收录了第五届定理证明证明交换研讨会（PxTP 2017）的会议录，该研讨会于 2017 年 9 月 23–24 日在巴西巴西利亚作为 Tableaux、FroCoS 与 ITP 会议的一部分召开。PxTP 研讨会系列汇聚了从事推理系统与形式化之间通信、集成与合作各方面研究的研究者，并特别关注证明。过去数十年中计算机辅助推理（自动与交互皆然）的进展，使得构建可应用于更广泛问题且能逐步更快处理更大规模问题的演绎工具成为可能。近年来，此类工具在更大系统中的合作已展现出减少人工干预量的潜力。推理系统间的合作依赖于可用于交换问题、证明与模型的理论形式化与实际工具。PxTP 研讨会系列致力于通过征集关于推理工具间（无论自动或交互）合作各方面的投稿来鼓励此类合作。
引用
@article{arxiv.1712.00898,
title = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving},
author = {Catherine Dubois and Bruno Woltzenlogel Paleo},
journal= {arXiv preprint arXiv:1712.00898},
year = {2017}
}