NON-RESOLUTION THEOREM PROVING

被引：77

|

作者：

BLEDSOE, WW ^{[1
]}

机构：

[1] UNIV TEXAS,DEPT MATH,AUSTIN,TX 78712

来源：

ARTIFICIAL INTELLIGENCE | 1977年 / 9卷 / 01期

关键词：

D O I：

10.1016/0004-3702(77)90012-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：1 / 35

页数：35

相关论文

共 50 条

[1] RESOLUTION THEOREM-PROVING
STICKEL, ME
[J]. ANNUAL REVIEW OF COMPUTER SCIENCE, 1988, 3 : 285 - 316
[2] Theorem proving by chain resolution
Dehornoy, P
Marzouk, A
[J]. THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 163 - 180
[3] ANALYTIC RESOLUTION IN THEOREM PROVING
BRAND, D
[J]. ARTIFICIAL INTELLIGENCE, 1976, 7 (04) : 285 - 318
[4] Automated theorem proving by resolution in non-classical logics
Sofronie-Stokkermans, Viorica
[J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2007, 49 (1-4) : 221 - 252
[5] Automated theorem proving by resolution in non-classical logics
Viorica Sofronie-Stokkermans
[J]. Annals of Mathematics and Artificial Intelligence, 2007, 49 : 221 - 252
[6] THEOREM-PROVING WITH RESOLUTION AND SUPERPOSITION
RUSINOWITCH, M
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (1-2) : 21 - 49
[7] NON-RESOLUTION OF IQ INHERITANCE BY PATH-ANALYSIS
GOLDBERGER, AS
[J]. AMERICAN JOURNAL OF HUMAN GENETICS, 1978, 30 (04) : 442 - 445
[8] THEOREM-PROVING USING SEMANTIC RESOLUTION
DOSREIS, AJ
[J]. DR DOBBS JOURNAL, 1988, 13 (04): : 50 - &
[9] Limited resource strategy in resolution theorem proving
Riazanov, A
Voronkov, A
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 2003, 36 (1-2) : 101 - 115
[10] AUTOMATIC THEOREM PROVING WITH RENAMABLE AND SEMANTIC RESOLUTION
SLAGLE, JR
[J]. JOURNAL OF THE ACM, 1967, 14 (04) : 687 - &

← 1 2 3 4 5 →