COMPUTATIONAL-COMPLEXITY OF TERMINOLOGICAL REASONING IN BACK

被引：57

作者：

NEBEL, B

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(88)90066-5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：371 / 383

页数：13

共 21 条

[1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J].

ALLEN, JF .

[2]

Brachman R.J., 1979, ASS NETWORKS REPRESE, P3, DOI 10.1016/B978-0-12-256380-5.50007-4

[3] AN OVERVIEW OF THE KL-ONE KNOWLEDGE REPRESENTATION SYSTEM [J].

BRACHMAN, RJ ;

SCHMOLZE, JG .

[4]

BRACHMAN RJ, 1985, READINGS KNOWLEDGE R, P411

[5]

BRACHMAN RJ, 1985, P 9 INT JOINT C ART, P532

[6]

BRACHMAN RJ, 1984, P AAAI 84 AUSTIN, P34

[7]

EDELMANN J, 1986, 2 GWAI 86 OST ART IN, P69

[8]

Garey Michael R., 1979, COMPUTERS INTRACTABI

[9]

Kaczmarek T. S., 1986, Proceedings AAAI-86: Fifth National Conference on Artificial Intelligence, P978

[10] MAKING BELIEVERS OUT OF COMPUTERS [J].

LEVESQUE, HJ .