Credulous and autoepistemic reasoning using ordered logic

被引：0

|

作者：

Geerts, P.

Vermeir, D.

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] ORDERED LOGIC - DEFEASIBLE REASONING FOR MULTIPLE AGENTS
GEERTS, P
VERMEIR, D
NUTE, D
DECISION SUPPORT SYSTEMS, 1994, 11 (02) : 157 - 190
[22] A Monotonic View on Reflexive Autoepistemic Reasoning
Su, Ezgi Iraz
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 85 - 100
[23] AUTOEPISTEMIC CIRCUMSCRIPTION AND LOGIC PROGRAMMING
YUAN, LY
YOU, JH
JOURNAL OF AUTOMATED REASONING, 1993, 10 (02) : 143 - 160
[24] BETWEEN CIRCUMSCRIPTION AND AUTOEPISTEMIC LOGIC
LIFSCHITZ, V
PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 235 - 244
[25] POSSIBLE WORLD SEMANTICS AND AUTOEPISTEMIC REASONING
LI, LW
ARTIFICIAL INTELLIGENCE, 1994, 71 (02) : 281 - 320
[26] Autoepistemic equilibrium logic and epistemic specifications
Su, Ezgi Iraz
del Cerro, Luis Farinas
Herzig, Andreas
ARTIFICIAL INTELLIGENCE, 2020, 282
[27] COMPLEXITY RESULTS FOR THE DEFAULT-LOGIC AND THE AUTOEPISTEMIC LOGIC
STEFFEN, E
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 339 - 352
[28] On embedding default logic into Moore's autoepistemic logic
Schwarz, G
ARTIFICIAL INTELLIGENCE, 1996, 80 (02) : 349 - 359
[29] On embedding default logic into Moore's autoepistemic logic
2747 Del Medio Ct., #108, Mountain View, CA 94040, United States
Artif Intell, 2 (349-359):
[30] ON THE RELATION BETWEEN DEFAULT AND AUTOEPISTEMIC LOGIC
KONOLIGE, K
ARTIFICIAL INTELLIGENCE, 1988, 35 (03) : 343 - 382

← 1 2 3 4 5 →