LINEAR RESOLUTION WITH SELECTION FUNCTION

被引：142

作者：

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 条

ANDERSON, R ;

BLEDSOE, WW .

[2] RESOLUTION WITH MERGING [J].

ANDREWS, PB .

[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