USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS

被引：59
|
作者：
HALPERN, JY
机构：
来源：
ANNUAL REVIEW OF COMPUTER SCIENCE | 1987年 / 2卷
关键词：
D O I：
10.1146/annurev.cs.02.060187.000345
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：37 / 68
页数：32
相关论文
共 50 条
  • [41] A Belief Structure for Reasoning about Knowledge
    Wong, S. K. M.
    Noroozi, Nasser
    [J]. ROUGH SET AND KNOWLEDGE TECHNOLOGY (RSKT), 2010, 6401 : 288 - 297
  • [42] A Logic for Reasoning About Knowledge of Unawareness
    Agotnes, Thomas
    Alechina, Natasha
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2014, 23 (02) : 197 - 217
  • [43] A Logic for Reasoning About Knowledge of Unawareness
    Thomas Ågotnes
    Natasha Alechina
    [J]. Journal of Logic, Language and Information, 2014, 23 : 197 - 217
  • [44] A Quantitative method for Reasoning about Knowledge
    Lan, Qian
    Ma, Teng
    [J]. 2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL IV, PROCEEDINGS, 2009, : 85 - +
  • [45] Reasoning about Knowledge: A Response by the Authors
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    [J]. Minds and Machines, 1997, 7 : 113 - 113
  • [46] Reasoning about knowledge and conditional probability
    Dautovic, Sejla
    Doder, Dragan
    Ognjanovic, Zoran
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 163
  • [47] Knowledge and reasoning about interaction traces
    Cordier, Amélie
    Lefevre, Marie
    Champin, Pierre-Antoine
    Mille, Alain
    Georgeon, Olivier L.
    Mathern, Benoît
    [J]. Revue d'Intelligence Artificielle, 2014, 28 (2-3) : 375 - 396
  • [48] A Model for Approximate Reasoning about Knowledge
    Li, Jun
    Lan, Qian
    [J]. 2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 609 - 612
  • [49] A method for Approximate Reasoning about Knowledge
    Li, Jun
    [J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 154 - 157
  • [50] KNOWLEDGE REPRESENTATION FOR REASONING ABOUT DEVICES
    HOFMANN, M
    BOURNE, J
    BRODERSEN, A
    [J]. PROCEEDINGS : THE TWENTY-FIRST SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 1989, : 446 - 449
12345