LINEAR RESOLUTION WITH SELECTION FUNCTION

被引：141

作者：

KOWALSKI, R ^{[1
]}

KUEHNER, D ^{[1
]}

机构：

[1] UNIV EDINBURGH,METAMATH UNIT,EDINBURGH,SCOTLAND

来源：

关键词：

D O I：

10.1016/0004-3702(71)90012-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：227 / 260

页数：34

共 23 条

[1] A LINEAR FORMAT FOR RESOLUTION WITH MERGING AND A NEW TECHNIQUE FOR ESTABLISHING COMPLETENESS
ANDERSON, R
BLEDSOE, WW
[J]. JOURNAL OF THE ACM, 1970, 17 (03) : 525 - &
[2] RESOLUTION WITH MERGING
ANDREWS, PB
[J]. JOURNAL OF THE ACM, 1968, 15 (03) : 367 - &
[3] HART PE, 1968, IEEE T SYSTEM SC JUL
[4] HAYES PJ, 1971, 40 U ED MET UN MEM
[5] HAYES PJ, 1969, MACHINE INTELLIGENCE, V4
[6] KIEBURTZ R, 1969, COMPATIBILITY REFINE
[7] KOWALSKI R, 1970, MACHINE INTELLIGENCE, V5
[8] Kowalski R.A., 1970, THESIS U EDINBURGH
[9] KOWALSKI RA, 1970, 34 U ED MET UN MEM
[10] KUEHNER DG, 1971, MACHINE INTELLIGENCE, V6