The 10th IJCAR automated theorem proving system competition - CASC-J10

Sutcliffe Geoff

首页> 外文期刊>AI communications >The 10th IJCAR automated theorem proving system competition - CASC-J10

【24h】

The 10th IJCAR automated theorem proving system competition - CASC-J10

机译：第10 IJCAR自动定理证明系统竞赛 - CASC-J10

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

机译：CADE ATP系统竞争（CASC）是全自动，经典逻辑自动定理的年度评估证明（ATP）系统。 CASC-J10是CASC系列中的第二十五次竞争。二十四个ATP系统和系统变体竞争各种竞争分歧。本文提出了竞争设计的概要，并评论结果摘要。

著录项

来源
《AI communications》 |2021年第2期|163-177|共15页
作者
Sutcliffe Geoff;
展开▼
作者单位

Univ Miami Dept Comp Sci Coral Gables FL 33124 USA;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
Automated theorem proving; competition;

机译：自动定理证明;竞争;

相似文献

外文文献
中文文献
专利

1. Automated Theorem Proving Practice with Null Geometric Algebra [J] . LI Hongbo 系统科学与复杂性：英文版 . 2019,第001期
2. Recent Advances in Automated Theorem Proving on Inequalities [J] . 杨路计算机科学技术学报：英文版 . 1999,第005期
3. Recent Advances in Automated Theorem Proving on Imequalities [J] . YANG Lu 计算机科学技术学报（英文版） . 1999,第005期
4. Automated Theorem Proving in Temporal Logic：T—Resolution [J] . 招兆铿, 戴军, 等计算机科学技术学报：英文版 . 1994,第001期
5. The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9 [J] . Sutcliffe Geoff AI communications . 2018,第6期

机译：第九届IJCAR自动定理证明系统竞赛-CASC-J9
6. The 8th IJCAR automated theorem proving system competition - CASC-J8 [J] . Sutcliffe Geoff AI communications . 2016,第5期

机译：第八届IJCAR自动定理证明系统竞赛-CASC-J8
7. The 7th IJCAR automated theorem proving system competition - CASC-J7 [J] . Sutcliffe Geoff AI communications . 2015,第4期

机译：第七届IJCAR自动定理证明系统竞赛-CASC-J7
8. Teaching Automated Theorem Proving by Example: PyRes 1.2 (System Description) [C] . Stephan Schulz, Adam Pease International Joint Conference on Automated Reasoning . 2020

机译：通过示例进行自动定理证明的教学：PyRes 1.2（系统描述）
9. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997

机译：对自动定理证明和形式方法以及对控制系统的应用做出了贡献。
10. Formal reasoning about systems biology using theorem proving [O] . Adnan Rashid, Osman Hasan, Umair Siddique, 2011

机译：使用定理证明关于系统生物学的形式推理
11. The CADE-25 Automated Theorem Proving system competition – CASC-25 [O] . Geoff Sutcliffe, Josef Urban 2016

机译：CADE-25自动定理证明系统竞赛 - CASC-25
12. Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model [R] . Hirschfeld, M. D. 2010

机译：自动定理证明在计算机系统安全中的应用：图解保护模型

The 10th IJCAR automated theorem proving system competition - CASC-J10

摘要

著录项

相似文献

相关主题

期刊订阅