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 条

[31] EXPERIMENTAL TESTS OF RESOLUTION-BASED THEOREM-PROVING STRATEGIES
LAWRENCE, JD
STARKEY, JD
[J]. INFORMATION SCIENCES, 1976, 10 (02) : 131 - 154
[32] Comparing approaches to resolution based higher-order theorem proving
Benzmüller, C
[J]. SYNTHESE, 2002, 133 (1-2) : 203 - 235
[33] ON THE RELATION BETWEEN RESOLUTION BASED AND COMPLETION BASED THEOREM-PROVING
SOCHER, R
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (1-2) : 129 - 147
[34] Subsumption-Linear Q-Resolution for QBF Theorem Proving
Van Gelder, Allen
[J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, 2023, 13923 : 362 - 376
[35] Comparing Approaches To Resolution Based Higher-Order Theorem Proving
Christoph Benzmüller
[J]. Synthese, 2002, 133 : 203 - 335
[36] Resolution-Like Theorem Proving for High-Level Conditions
Pennemann, Karl-Heinz
[J]. GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 289 - 304
[37] Automated theorem proving in temporal logic. T-resolution
Zhaokeng, Zhao
Jun, Dai
Wendan, Chen
[J]. Journal of Computer Science and Technology, 1994, 9 (01)
[38] Probabilistic Theorem Proving
Gogate, Vibhav
Domingos, Pedro
[J]. COMMUNICATIONS OF THE ACM, 2016, 59 (07) : 107 - 115
[39] Proving the Stone theorem
Nakano, H
[J]. ANNALS OF MATHEMATICS, 1944, 42 : 665 - 667
[40] Clinical implications of ST-segment non-resolution after thrombolysis for myocardial infarction
Bhatia, L
Clesham, GJ
Turner, DR
[J]. JOURNAL OF THE ROYAL SOCIETY OF MEDICINE, 2004, 97 (12) : 566 - 570

← 1 2 3 4 5 →