The 3rd IJCAR automated theorem proving competition

被引：0

作者：

Sutcliffe, Geoff ^{[1
]}

机构：

[1] Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA

来源：

AI COMMUNICATIONS | 2007年 / 20卷 / 02期

关键词：

competition; automated theorem proving;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-J3 was the eleventh competition in the CASC series. Twenty 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.

引用

页码：117 / 126

页数：10

共 48 条

[31] Second level hypothetical inference based automated theorem proving
Zhou Xunwei
Bao Hong
Proceedings of 2006 International Conference on Artificial Intelligence: 50 YEARS' ACHIEVEMENTS, FUTURE DIRECTIONS AND SOCIAL IMPACTS, 2006, : 126 - 128
[32] New uses of linear arithmetic in automated theorem proving by induction
Kapur, D
Subramaniam, M
JOURNAL OF AUTOMATED REASONING, 1996, 16 (1-2) : 39 - 78
[33] Algebraic representation, elimination and expansion in automated geometric theorem proving
Li, HB
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 2930 : 106 - 123
[34] An Automated Theorem Proving Framework for Information-Theoretic Results
Li, Cheuk Ting
IEEE TRANSACTIONS ON INFORMATION THEORY, 2023, 69 (11) : 6857 - 6877
[35] Automated theorem proving by resolution in non-classical logics
Sofronie-Stokkermans, Viorica
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 49 (1-4) : 221 - 252
[36] Automated theorem proving by resolution in non-classical logics
Viorica Sofronie-Stokkermans
Annals of Mathematics and Artificial Intelligence, 2007, 49 : 221 - 252
[37] On combining automated theorem proving and digital engineering for general intelligence
Cody, Tyler
Beling, Peter A.
DISRUPTIVE TECHNOLOGIES IN INFORMATION SCIENCES VII, 2023, 12542
[38] Automated Theorem Proving in Temporal Logic:T-Resolution
招兆铿
戴军
陈文丹
Journal of Computer Science and Technology, 1994, (01) : 53 - 62
[39] Automated geometric theorem proving, Clifford bracket algebra and Clifford expansions
Li, HB
ADVANCES IN ANALYSIS AND GEOMETRY: NEW DEVELOPMENTS USING CLIFFORD ALGEBRAS, 2004, : 345 - 363
[40] A formal software verification concept based on automated theorem proving and reverse engineering
Popovic, M
Kovacevic, V
Velikic, I
NINTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2002, : 59 - 66

← 1 2 3 4 5 →