FORWARD REASONING AND DEPENDENCY-DIRECTED BACKTRACKING IN A SYSTEM FOR COMPUTER-AIDED CIRCUIT ANALYSIS

被引：240

作者：

STALLMAN, RM ^{[1
]}

SUSSMAN, GJ ^{[1
]}

机构：

[1] MIT,ARTIFI INTELLIGENCE LAB,CAMBRIDGE,MA 02139

来源：

ARTIFICIAL INTELLIGENCE | 1977年 / 9卷 / 02期

关键词：

D O I：

10.1016/0004-3702(77)90029-7

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：135 / 196

页数：62

相关论文

共 44 条

[1] BOGEN R, 1974, MACSYMA REFERENCE MA
[2] BOSYJ M, 1975, DIAGNOSTIC PROGRAM D
[3] BROWN AL, 1975, THESIS MIT
[4] DAVIS R, 1976, AIM283 STANF U AI LA
[5] Dijkstra E. W., 1970, SOFTWARE ENG TECHNIQ, P84
[6] DOYLE J, 1976, MIT108 AI LAB WORK P
[7] FAHLMAN SE, 1973, THESIS MIT
[8] FIKES RE, 1975, AI106 STANF RES I TE
[9] FREUDER EC, 1976, MIT370 AI LAB MEM
[10] HEWITT C, 1971, P IJCAI, V2

← 1 2 3 4 5 →