Joseph Y. Halpern, Yoram Moses  Home/Search
Context Related
Links: ACM DBLP | cornell.edu/Info/P...ommon_knowledge.ps cornell.edu/home/h...ommon_knowledge.ps cornell.edu/Info/P...ommon_knowledge.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cornell.edu/Info/Peopl...abstract (more) From: cornell.edu/home/halpe...abstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed as the act of transforming the system's state of knowledge. This paper presents a general framework for formalizing and reasoning about knowledge in distributed systems. We argue that states of knowledge of groups of processors are useful... (Update)
Cited by: More
Logical Omniscience and Common Knowledge; - What Do We (Correct)
Unknown - (Correct)
Implicit Coscheduling: Coordinated Scheduling with Implicit.. - Arpaci-Dusseau (1998) (Correct)
Active bibliography (related documents): More All
1.4: Reasoning About Knowledge: A Survey - Halpern (1995) (Correct)
0.9: Common Knowledge Revisited - Fagin, Halpern, Moses, Vardi (1996) (Correct)
0.8: Knowledge-Based Programs - Fagin, Halpern, Moses, al. (1995) (Correct)
Similar documents based on text: More All
0.2: Using Counterfactuals in Knowledge-Based Programming - Halpern, Moses (1998) (Correct)
0.2: Many-Valued Epistemic States. An Application To A.. - Godo, van der Hoek, .. (Correct)
0.2: The Effect Of Bounding The Number Of Primitive Propositions And.. - Halpern (1995) (Correct)
Related documents from co-citation: More All
23: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
17: Formal theories of knowledge in AI and robotics (context) - Rosenschein - 1985
16: How processes learn (context) - Chandy, Misra - 1986
BibTeX entry: (Update)
Halpern, J. and Moses, Y. 1984. Knowledge and common knowledge in a distributed environment, Proc. 3rd ACM Symposium on Principles of Distributed Computing, New York: ACM, pp. 50-61. http://citeseer.ist.psu.edu/halpern84knowledge.html More
@inproceedings{ halpern84knowledge,
author = "Joseph Y. Halpern and Yoram Moses",
title = "Knowledge and Common Knowledge in a Distributed Environment",
booktitle = "Symposium on Principles of Distributed Computing",
pages = "50-61",
year = "1984",
url = "citeseer.ist.psu.edu/halpern84knowledge.html" }
Citations (may not include all citations):739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
572 Distributed snapshots: determining global states of distribu.. (context) - Chandy, Lamport - 1985
345 Notes on database operating systems (context) - Gray - 1978
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992 ACM DBLP
210 A formal theory of knowledge and action (context) - Moore - 1985
194 Knowledge and Belief (context) - Hintikka - 1962
165 Theoretical Computer Science (context) - Kozen, the et al. - 1983
161 A logic of implicit and explicit belief (context) - Levesque - 1984 DBLP
119 Using branching time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982 DBLP
116 Synthesis of communicating processes from temporal logic spe.. (context) - Manna, Wolper - 1984 ACM DBLP
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986 ACM DBLP
94 Definite reference and mutual knowledge (context) - Clark, Marshall - 1981
94 Knowledge and common knowledge in a Byzantine environment: c.. (context) - Dwork, Moses - 1990 ACM DBLP
76 How processes learn (context) - Chandy, Misra - 1986 ACM DBLP
73 Agreeing to disagree (context) - Aumann - 1976
65 the possibility and impossibility of achieving clock synchro.. (context) - Dolev, Halpern et al. - 1986
58 Programming simultaneous actions using common knowledge - Moses, Tuttle - 1988 DBLP
58 in and J. Y. Halpern. Belief, awareness, and limited reasoni.. (context) - Fag - 1988
51 Reasoning about knowledge and probability - Fagin, Halpern - 1994 ACM DBLP
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
42 Early stopping in Byzantine agreement (context) - Dolev, Reischuk et al. - 1990 ACM DBLP
34 A lattice-theoretic fixpoint theorem and its applications (context) - Tarski - 1955
28 The logic of distributed protocols (context) - Ladner, Reif - 1986 ACM DBLP
27 Scenes and other situations (context) - Barwise - 1981
22 the properties of knowledge in distributed systems (context) - Fagin, Halpern et al. - 1992
22 A little knowledge goes a long way: knowledgebased derivatio.. - Halpern, Zuck - 1992
21 A knowledge-theoretic analysis of atomic commitment protocol.. (context) - Hadzilacos - 1987 ACM
20 Optimal precision in the presence of uncertainty (context) - Halpern, Megiddo et al. - 1985 ACM
20 Cheating husbands and other stories: a case study of knowled.. (context) - Moses, Dolev et al. - 1986
18 Concurrent common knowledge: defining agreement for asynchro.. - Panangaden, Taylor - 1992 DBLP
17 Foundations of knowledge for distributed systems (context) - Fischer, Immerman - 1986 ACM DBLP
14 and communication in distributed systems: preliminary report (context) - Halpern, Fagin et al. - 1985
13 Distributed processing and the logic of knowledge (context) - Parikh, Ramanujam - 1985
13 Resource-bounded knowledge (context) - Moses - 1988 ACM DBLP
9 Simulating real-time clocks and common knowledge in distribu.. (context) - Neiger, Toueg - 1993
8 Technical Report STAN-CS (context) - McCarthy, Sato et al. - 1979
5 What processes know: definitions and proof methods (context) - Katz, Taubenfeld - 1986
5 Atomic broadcast: from simple diffusion to Byzantine agreeme.. (context) - Cristian, Aghili et al. - 1985
5 Analyzing distributed commitment by reasoning about knowledg.. (context) - Mazer, Lochovsky - 1990
4 Formal theories of AI in knowledge and robotics (context) - Rosenschein - 1985
4 Knowledge consistency: a useful suspension of disbelief (context) - Neiger - 1988 DBLP
4 Some issues in distributed processes communication (context) - Yemini, Cohen - 1979
1 Seminar on computer communication networks (context) - Gallager - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://simon.cs.cornell.edu/Info/People/halpern/abstract.html): More
Two views of belief: Belief as generalized probability and.. - Halpern, Fagin (1992) (Correct)
Modeling Belief in Dynamic Systems. Part I: Foundations - Friedman, Halpern (Correct)
Characterizing the Common Prior Assumption - Halpern (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC