A LOGIC FOR DEFAULT REASONING

被引：1717

作者：

REITER, R

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(80)90014-4

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：81 / 132

页数：52

共 29 条

[11] EXTRACTING INFORMATION FROM RESOLUTION PROOF TREES [J].

LUCKHAM, D ;

NILSSON, NJ .

[12]

McCarthy J., 1981, READINGS ARTIFICIAL, P431

[13]

MCDERMOTT D, 1978, AI486 MIT MEM

[14]

MINSKY M, 1975, PSYCHOLOGY COMPUTER

[15]

Reiter R., 1978, Logic and data bases, P55

REITER, R .

[17]

REITER R, 1978, 2ND P S THEOR ISS NA

[18]

REITER RS, UNPUBLISHED

[19]

ROBERTS RB, 1977, AI409 MIT MEM

[20]

Rogers Jr. H., 1967, MCGRAW HILL SERIES H