TRUTH MAINTENANCE SYSTEM

被引：618

作者：

DOYLE, J

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(79)90008-0

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：231 / 272

页数：42

共 65 条

[1] LIST PROCESSING IN REAL-TIME ON A SERIAL COMPUTER [J].

BAKER, HG .

[2]

BELNAP ND, 1976, CONT ASPECTS PHILOSO

[3]

BERLINER HJ, 1974, CHESS PROBLEM SOLVIN

[4]

CHARNIAK E, 1979, ARTIFICIAL INTELLIGE

[5]

COHEN PR, 1978, TR118 U TOR DEP COMP

[6]

Colby K.M., 1973, COMPUTER MODELS THOU, P251

[7]

COX PT, 1977, CS7728 U WAT DEP COM

[8]

CROCKER SD, 1977, RR7761 U SO CAL INF

[9]

DEKLEER J, 1979, THESIS MIT

[10]

DEKLEER J, 1977, P ACM S ARTIFICIAL I