PROBLEM-SOLVING WITH THE ATMS

被引：83

作者：

DEKLEER, J

机构：

[1] Xerox Palo Alto Research Cent, Palo, Alto, CA, USA, Xerox Palo Alto Research Cent, Palo Alto, CA, USA

来源：

关键词：

D O I：

10.1016/0004-3702(86)90082-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：197 / 224

页数：28

共 22 条

[1]

Abelson Harold, 1985, STRUCTURE INTERPRETA

[2] HOW CIRCUITS WORK [J].

DEKLEER, J .

[3] A QUALITATIVE PHYSICS BASED ON CONFLUENCES [J].

DEKLEER, J ;

BROWN, JS .

[4] AN ASSUMPTION-BASED TMS [J].

DEKLEER, J .

[5] EXTENDING THE ATMS [J].

DEKLEER, J .

[6]

DEKLEER J, 1979, ARTIFICIAL INTELLIGE

[7]

DEKLEER J, 1979, TR529 MIT ART INT LA

[8] TRUTH MAINTENANCE SYSTEM [J].

DOYLE, J .

[9]

DOYLE J, 1983, CS83125 CARN U DEP C

[10]

GINSBERG ML, 1985, 9TH P INT JOINT C AR, P107