NONMONOTONIC LOGIC .2. NONMONOTONIC MODAL THEORIES

被引：149

作者：

MCDERMOTT, D

机构：

来源：

关键词：

D O I：

10.1145/322290.322293

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：33 / 57

页数：25

共 16 条

[1]

Boolos George, 1979, UNPROVABILITY CONSIS

[2]

DOYLE J, 1979, MIT521 ART INT LAB M

[3]

GOEDEL K, PHILOS MATH SELECTED, P258

[4]

GOEDEL K, 1947, AM MATH MONTHLY, V54, P515

[5]

HEWITT C, 1972, MIT258 ART INT LAB T

[6]

Hintikka J., 1962, KNOWLEDGE BELIEF

[7]

Hughes George Edward, 1972, INTRO MODAL LOGIC

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

MCCARTHY, J .

[9] NON-MONOTONIC LOGIC-I [J].

MCDERMOTT, D ;

DOYLE, J .

[10]

MOORE R, 1979, THESIS MIT CAMBRIDGE