11 found
  1.  98
    Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Direct download  
    Export citation  
    Bookmark   359 citations  
  2.  38
    A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
  3.  26
    Common knowledge revisited.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1999 - Annals of Pure and Applied Logic 96 (1-3):89-105.
  4.  7
    Belief as defeasible knowledge.Yoram Moses & Yoav Shoham - 1993 - Artificial Intelligence 64 (2):299-321.
  5.  19
    Known Unknowns: Time Bounds and Knowledge of Ignorance.Yoram Moses & Ido Ben-Zvi - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 187-206.
    This paper studies the role that known bounds on message transmission times in a computer network play on the evolution of the epistemic state over time. A connection to cones of causal influence analogous to, and more general than, light cones is presented. Focusing on lower bounds on message transmission times, an analysis is presented of how knowledge about when others are guaranteed to be ignorant about an event of interest can arise. This has implications in competitive settings, in which (...)
    No categories
    Direct download  
    Export citation  
    Bookmark   1 citation  
  6.  12
    Agent-time epistemics and coordination.Ido Ben-Zvi & Yoram Moses - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 97--108.
  7.  31
    On interactive knowledge with bounded communication.Ido Ben-Zvi & Yoram Moses - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):323-354.
    The effect of upper bounds on message delivery times in a computer network upon the dynamics of knowledge gain is investigated. Recent work has identified centipedes and brooms—causal structures that combine message chains with time bound information—as necessary conditions for knowledge gain and common knowledge gain, respectively. This paper shows that, under the full-information protocol, these structures are both necessary and sufficient for such epistemic gain. We then apply this analysis to gain insights into the relation between “everyone knows” and (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation  
  8.  10
    Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures.Cynthia Dwork & Yoram Moses - 1988 - Journal of Symbolic Logic 53 (2):666-666.
  9.  2
    Off-line reasoning for on-line efficiency: knowledge bases.Yoram Moses & Moshe Tennenholtz - 1996 - Artificial Intelligence 83 (2):229-239.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  10.  55
    Reasoning about Knowledge: A Response by the Authors. [REVIEW]Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1997 - Minds and Machines 7 (1):113-113.
  11.  50
    Taken by surprise: The paradox of the surprise test revisited. [REVIEW]Joseph Y. Halpern & Yoram Moses - 1986 - Journal of Philosophical Logic 15 (3):281 - 304.
    A teacher announced to his pupils that on exactly one of the days of the following school week (Monday through Friday) he would give them a test. But it would be a surprise test; on the evening before the test they would not know that the test would take place the next day. One of the brighter students in the class then argued that the teacher could never give them the test. "It can't be Friday," she said, "since in that (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   4 citations