STRIPS - NEW APPROACH TO APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING

被引：1731

作者：

FIKES, RE ^{[1
]}

NILSSON, NJ ^{[1
]}

机构：

[1] STANFORD RES INST,MENLO PK,CA

来源：

ARTIFICIAL INTELLIGENCE | 1971年 / 2卷 / 3-4期

关键词：

D O I：

10.1016/0004-3702(71)90010-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：189 / 208

页数：20

相关论文

共 11 条

[1] Ernst G, 1969, GPS CASE STUDY GEN P
[2] FIKES RE, 1971, AUG P IFIP LJUBLJ
[3] GARVEY TD, 1969, 15 STANF RES I ART I
[4] GREEN C, 1969, MAY P INT JOINT C AR
[5] HART PE, 1971, CONSTRUCTION GENERAL
[6] HEWITT C, 1970, 168 MASS I TECHN ART
[7] MANNA Z, 1971, COMM ACM, V14
[8] MUNSON JH, 1971, 2 P INT JOINT C ART
[9] Nilsson N. J., 1971, PROBLEM SOLVING METH
[10] RAPHAEL B, 1970, AUG P ADV STUD I ART