DECISION PROCEDURE FOR AUTOEPISTEMIC LOGIC

被引：0

作者：

NIEMELA, I

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：675 / 684

页数：10

相关论文

共 5 条

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

MCDERMOTT, D ;

DOYLE, J .

ARTIFICIAL INTELLIGENCE, 1980, 13 (1-2) :41-72

[2] NONMONOTONIC LOGIC .2. NONMONOTONIC MODAL THEORIES [J].

MCDERMOTT, D .

JOURNAL OF THE ACM, 1982, 29 (01) :33-57

[3] SEMANTICAL CONSIDERATIONS ON NONMONOTONIC LOGIC [J].

MOORE, RC .

ARTIFICIAL INTELLIGENCE, 1985, 25 (01) :75-94

[4]

NIEMELA I, 1986, STEP 86, V2, P44

[5]

Smullyan R.M., 1968, 1 ORDER LOGIC