A model of reasoning about knowledge

被引：0

作者：

Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, China ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Sci China Ser E Technol Sci | / 5卷 / x11-534期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] SELECTING A HUMANLY UNDERSTANDABLE KNOWLEDGE REPRESENTATION FOR REASONING ABOUT KNOWLEDGE
MAIDA, AS
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1985, 22 (02): : 151 - 161
[32] Reasoning about knowledge using defeasible logic
Walton, Douglas
ARGUMENT & COMPUTATION, 2011, 2 (2-3) : 131 - 155
[33] A NATURAL DEDUCTION SYSTEM FOR REASONING ABOUT KNOWLEDGE
KUO, V
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 848
[34] PROPOSITIONAL LOGICS FOR THE REASONING ABOUT KNOWLEDGE INTEGRATIONS
Bab, Sebastian
ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 36 - 45
[35] Reasoning about knowledge and belief: A syntactical treatment
Fasli, M
LOGIC JOURNAL OF THE IGPL, 2003, 11 (02) : 247 - 284
[36] Complete axiomatizations for reasoning about knowledge and time
Halpern, JY
Van der Meyden, R
Vardi, MY
SIAM JOURNAL ON COMPUTING, 2004, 33 (03) : 674 - 703
[37] Reprint of reasoning about knowledge of unawareness revisited
Halpern, Joseph Y.
Rego, Leandro C.
MATHEMATICAL SOCIAL SCIENCES, 2014, 70 : 10 - 22
[38] Theory of belief degrees for reasoning about knowledge
Jun, Li
Qian, Lan
IITA 2007: WORKSHOP ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, PROCEEDINGS, 2007, : 367 - +
[39] Reasoning Method on Knowledge about Functions and Operators
Do, Nhon V.
Nguyen, Hien D.
Mai, Thanh T.
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2015, 6 (06) : 156 - 168
[40] Reasoning about actions, knowledge and normative ability
Lai, Xianwei
Hu, Shanli
Ning, Zhengyuan
INTELLIGENT INFORMATION PROCESSING III, 2006, 228 : 43 - +

← 1 2 3 4 5 →