The CADE-22 automated theorem proving system competition - CASC-22

Geoff Sutcliffe

首页> 外文期刊>AI communications >The CADE-22 automated theorem proving system competition - CASC-22

【24h】

The CADE-22 automated theorem proving system competition - CASC-22

机译：CADE-22自动定理证明系统竞赛-CASC-22

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

机译：CADE ATP系统竞赛（CASC）是对全自动经典逻辑自动定理证明（ATP）系统的年度评估。 CASC-22是CASC系列的第14场比赛。 29个ATP系统和系统变体参加了各个竞赛和演示部门。介绍了比赛设计的大纲和结果的带注释的摘要。

著录项

来源
《AI communications》 |2010年第1期|p.47-59|共13页
作者
Geoff Sutcliffe;
展开▼
作者单位

Department of Computer Science, University of Miami, Coral Gables, FL, USA;

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

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

相似文献

外文文献
中文文献
专利

1. The CADE-27 Automated theorem proving System Competition - CASC-27 [J] . Sutcliffe Geoff AI communications . 2019,第5a6期

机译：CADE-27自动定理证明系统竞争 - CASC-27
2. The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9 [J] . Sutcliffe Geoff AI communications . 2018,第6期

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

机译：CADE-26自动定理证明系统竞赛-CASC-26
4. Proving and disproving assertion rewrite rules with automated theorem provers [C] . Morin-Allory Katell, Boule Marc, Borrione Dominique, IEEE International High Level Design Validation and Test Workshop . 2008

机译：通过自动定理普罗维者证明和歧视断言重写规则
5. Contributions to automated theorem proving and formal methods with applications to control systems. [D] . Mackling, Thomas Hal. 1997

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

机译：使用定理证明关于系统生物学的形式推理
7. The CADE-22 ATP System Competition (CASC-22) [O] . Geoff Sutcliffe 2010

机译：CADE-22 ATP系统竞赛（CASC-22）
8. Combining Automated Theorem Provers with Symbolic Algebraic Systems: Position Paper [R] . Schumann, Johann 1999

机译：将自动定理证明与符号代数系统相结合：立场文件

The CADE-22 automated theorem proving system competition - CASC-22

摘要

著录项

相似文献

相关主题

期刊订阅