REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES

被引：56

作者：

FIKES, RE ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV,PITTSBURGH,PA

来源：

ARTIFICIAL INTELLIGENCE | 1970年 / 1卷 / 1-2期

关键词：

D O I：

10.1016/0004-3702(70)90003-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：27 / 120

页数：94

相关论文

共 23 条

[1]

BOBROW D, THESIS MASSACHUSETTS

[2]

BURSTALL RM, 1965, 10 U ED EXPTL PROGR

[3]

COLES L, 1969, MAY P INT JOINT C AR

[4]

Ernst G, 1969, GPS CASE STUDY GEN P

[5]

FIKES R, 1968, 4TH P SYST S

[6]

FIKES RE, 1968, THESIS CARNEGIE MELL

[7]

FLOYD R, 1966, P AM MATH SOC S APPL, V19

[8] NONDETERMINISTIC ALGORITHMS [J].

FLOYD, RW .

JOURNAL OF THE ACM, 1967, 14 (04) :636-&

[9] BACKTRACK PROGRAMMING [J].

GOLOMB, SW ;

BAUMERT, LD .

JOURNAL OF THE ACM, 1965, 12 (04) :516-&

[10]

GREEN C, 1969, MAY P INT JOINT C AR