MIRACLES IN FORMAL-THEORIES OF ACTION

被引：12

作者：

LIFSCHITZ, V

RABINOV, A

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(89)90059-3

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：225 / 237

页数：13

共 10 条

[1]

GINSBERG M, 1988, WORKING PAPER STANFO

[2]

HANKS S, 1986, 86 P AAAI PHIL, P328

[3]

LIFSCHITZ V, 1987, 1987 P WORKSH, P35

[4]

LIFSCHITZ V, 1987, 87 P IJCAI MIL, P966

[5]

Lifshitz V., 1985, P 9 INT JOINT C ARTI, P121

MCCARTHY, J .

[7] CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING [J].

MCCARTHY, J .

[8]

McCarthy J., 1969, READINGS ARTIFICIAL, P463

[9]

MCDERMOTT D, 1988, COMMUNICATION MAR

[10]

MORGENSTERN L, 1988, 88 P AAAI ST PAUL, P518