Ronald Fagin, Joseph Y. Halpern, Yoram Moses, et al.  Home/Search
Context Related
| ibm.com/cs/people/fagin/podc95rj.ps cornell.edu/Info/People/halper...kbp.ps rice.edu/~vardi/papers...podc95rj.ps.gz 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: ibm.com/cs/people/fagin/ (more) From: cornell.edu/Info/Peopl...abstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning about activities in a distributed computer system at the level of the knowledge of individuals and groups allows us to abstract away from many concrete details of the system we are considering. In this paper, we make use of two notions introduced in our recent book to facilitate designing and reasoning about systems in terms of knowledge. The first notion is that of a knowledge-based program. A knowledge-based program is a syntactic object: a program with tests for knowledge. The... (Update)
Cited by: More
Model Checking Cooperation, Knowledge, and Time - A Case.. - van der Hoek, Wooldridge (Correct)
Model Checking of Causal Knowledge Formulas - Penczek, Ambroszkiewicz (1999) (Correct)
Information-Intensive Proof Technology - Constable (2003) (Correct)
Similar documents (at the sentence level):
8.8%: Knowledge-Based Programs - Fagin, Halpern, Moses, Vardi (1995) (Correct)
8.0%: Implementing Knowledge-Based Programs - Vardi (1996) (Correct)
Active bibliography (related documents): More All
0.8: Knowledge and Common Knowledge in a Distributed Environment - Halpern, Moses (1984) (Correct)
0.8: A Note on Knowledge-Based Programs and Specifications - Halpern (2000) (Correct)
0.7: Reasoning About Knowledge: A Survey - Halpern (1995) (Correct)
Similar documents based on text: More All
0.6: Using Counterfactuals in Knowledge-Based Programming - Halpern, Moses (1998) (Correct)
0.5: An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
0.4: A Note on Unawareness - Halpern (1999) (Correct)
Related documents from co-citation: More All
23: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
10: Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1984
8: Knowledge and common knowledge in a Byzantine environment: Crash failures (context) - Dwork, Moses - 1990
BibTeX entry: (Update)
R. Fagin, J. Halpern, Y. Moses, and M. Vardi. Knowledge-based programs. In Proc. ACM Symposium on Principles of Distributed Computing, 1995. http://citeseer.ist.psu.edu/article/fagin95knowledgebased.html More
@inproceedings{ fagin95knowledgebased,
author = "Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi",
title = "Knowledge-Based Programs",
booktitle = "Symposium on Principles of Distributed Computing",
pages = "153-163",
year = "1995",
url = "citeseer.ist.psu.edu/article/fagin95knowledgebased.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-co.. (context) - Garey, Johnson - 1979
1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
453 Agent oriented programming (context) - Shoham - 1993
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
309 Game Theory (context) - Fudenberg, Tirole - 1991
274 The existence of refinement mappings - Abadi, Lamport - 1991
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
145 Random generation of combinatorial structures from a uniform.. (context) - Jerrum, Valiant et al. - 1986
139 Reasoning about infinite computations - Vardi, Wolper - 1994
132 Relationships between nondeterministic and deterministic tap.. (context) - Savitch - 1970
104 Proving liveness properties of concurrent programs (context) - Owicki, Lamport - 1982
94 Knowledge and common knowledge in a Byzantine environment: c.. (context) - Dwork, Moses - 1990
58 Programming simultaneous actions using common knowledge - Moses, Tuttle - 1988
42 tapes: A simplified approach (context) - Choueka, automata - 1974
39 and some facets of complexity (context) - Papadimitriou, Yannakakis et al. - 1982
27 Scenes and other situations (context) - Barwise - 1981
23 A characterization of eventual Byzantine agreement - Halpern, Moses et al. - 1990
22 A little knowledge goes a long way: knowledgebased derivatio.. - Halpern, Zuck - 1992
16 Using knowledge to optimally achieve coordination in distrib.. - Neiger, Bazzi - 1992
14 and communication in distributed systems: preliminary report (context) - Halpern, Fagin et al. - 1985
13 Resource-bounded knowledge (context) - Moses - 1988
12 Knowledge-oriented programming (context) - Moses, Kislev - 1993
9 Simulating real-time clocks and common knowledge in distribu.. (context) - Neiger, Toueg - 1993
6 Towards programming with knowledge expressions (context) - Kurki-Suonio - 1986
5 What processes know: definitions and proof methods (context) - Katz, Taubenfeld - 1986
5 Implementing distributed knowledge-based protocols (context) - Mazer - 1991
4 Knowledge consistency: a useful suspension of disbelief (context) - Neiger - 1988
3 Knowledge-based programming (context) - Fagin, Halpern et al. - 1995
1 An operational semantics for knowledge bases - Fagin, Halpern et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://eagle.almaden.ibm.com/cs/people/fagin/): More
Common Knowledge: Now You Have it, Now You Don't - Fagin, Halpern, Moses, Vardi (1996) (Correct)
Relaxing the Triangle Inequality in Pattern Matching - Fagin, Stockmeyer (1996) (Correct)
Spectra with Only Unary Function Symbols - Durand, Fagin, Loescher (1997) (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