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 条
  • [11] Reasoning about knowledge: A response
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    [J]. MINDS AND MACHINES, 1997, 7 (01) : 113 - 113
  • [12] Reasoning about knowledge of unawareness
    Halpern, Joseph Y.
    Rego, Leandro C.
    [J]. GAMES AND ECONOMIC BEHAVIOR, 2009, 67 (02) : 503 - 525
  • [13] Reasoning about proof and knowledge
    Lewitzka, Steffen
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 218 - 250
  • [14] Graded reasoning about knowledge
    Li, Jun
    [J]. DCABES 2007 PROCEEDINGS, VOLS I AND II, 2007, : 175 - 179
  • [15] Reasoning about quantum knowledge
    D'Hondt, E
    Panangaden, P
    [J]. FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 553 - 564
  • [16] REASONING ABOUT KNOWLEDGE AND PROBABILITY
    FAGIN, R
    HALPERN, JY
    [J]. JOURNAL OF THE ACM, 1994, 41 (02) : 340 - 367
  • [17] A Logic for Reasoning About Knowledge of Unawareness
    Thomas Ågotnes
    Natasha Alechina
    [J]. Journal of Logic, Language and Information, 2014, 23 : 197 - 217
  • [18] A Belief Structure for Reasoning about Knowledge
    Wong, S. K. M.
    Noroozi, Nasser
    [J]. ROUGH SET AND KNOWLEDGE TECHNOLOGY (RSKT), 2010, 6401 : 288 - 297
  • [19] A Logic for Reasoning About Knowledge of Unawareness
    Agotnes, Thomas
    Alechina, Natasha
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2014, 23 (02) : 197 - 217
  • [20] Reasoning about knowledge of unawareness revisited
    Halpern, Joseph Y.
    Rego, Leandro C.
    [J]. MATHEMATICAL SOCIAL SCIENCES, 2013, 65 (02) : 73 - 84