Credulous and autoepistemic reasoning using ordered logic

被引：0

|

作者：

Geerts, P.

Vermeir, D.

机构：

来源：

Logic Programming and Non-monotonic Reasoning - Proceedings | 1991年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Combining sceptical epistemic reasoning with. credulous practical reasoning
Prakken, Henry
COMPUTATIONAL MODELS OF ARGUMENT, 2006, 144 : 311 - 322
[32] Complexity results for restricted credulous default reasoning
Zhao, XS
Ding, DC
Büning, HK
AI COMMUNICATIONS, 2000, 13 (04) : 249 - 257
[33] On the relation between autoepistemic logic and circumscription
1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
[34] Multi-valued autoepistemic logic
Stark, RF
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 18 (2-4) : 159 - 174
[35] Reasoning with partially ordered information in a possibilistic logic framework
Benferhat, S
Lagrue, S
Papini, O
FUZZY SETS AND SYSTEMS, 2004, 144 (01) : 25 - 41
[36] Separating disbeliefs from beliefs in autoepistemic reasoning
Janhunen, T
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 132 - 151
[37] Complexity results for restricted credulous default reasoning
Zhao, Xishun
Ding, Decheng
Büning, Hans Kleine
2000, IOS Press, Amsterdam, Netherlands (13)
[38] Translating multi-agent autoepistemic logic into logic program
Kojima, Takahiro
Toyama, Katsuhiko
Inagaki, Yasuyoshi
Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (02) : 114 - 126
[39] LOGIC PROGRAM SEMANTICS AND CIRCUMSCRIPTION OF AUTOEPISTEMIC THEORIES
YUAN, LY
INFORMATION PROCESSING LETTERS, 1994, 50 (03) : 159 - 164
[40] A critical reexamination of default logic, autoepistemic logic, and only knowing
Halpern, JY
COMPUTATIONAL INTELLIGENCE, 1997, 13 (01) : 144 - 163

← 1 2 3 4 5 →