EXTRACTING INFORMATION FROM RESOLUTION PROOF TREES

被引：13

作者：

LUCKHAM, D

NILSSON, NJ

机构：

[1] STANFORD UNIV,ARTIFICIAL INTELLIGENCE PROJECT,STANFORD,CA

[2] STANFORD RES INST,ARTIFICIAL INTELLIGENCE GRP,MENLO PK,CA

来源：

关键词：

D O I：

10.1016/0004-3702(71)90003-8

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：27 / 54

页数：28

共 9 条

[1] RESOLUTION WITH MERGING [J].

ANDREWS, PB .

[2]

GREEN C, 1969, MACHINE INTELLIGENCE, V4

[3]

GREEN CC, 1968, 23RD P ACM NAT COMP, P169

[4]

LUCKHAM D, 1967, MACHINE INTELLIGENCE, V1

[5]

MOSTOWSKI A, 1964, ACTA PHILOSOPHICA FE, V17, P47

[6] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

[7] EXPERIMENTS WITH A DEDUCTIVE QUESTION-ANSWERING PROGRAM [J].

SLAGLE, JR .

[8]

WALDINGER R, 1969, MAY P INT JOINT C AR

[9]

[No title captured]