Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi  Home/Search
Context Related
| rice.edu/~vardi/papers/tark94.ps.gz cornell.edu/Info/P...thmic_knowledge.ps cornell.edu/home/h...thmic_knowledge.ps Cached: 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.
PS.gz PS Image Update HelpFrom: rice.edu/~vardi/papers/index (more) From: cornell.edu/Info/Peopl...abstract (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : The standard model of knowledge in multi-agent systems suffers from what has been called the logical omniscience problem: agents know all tautologies, and know all the logical consequences of their knowledge. For many types of analysis, this turns out not to be a problem. Knowledge is viewed as being ascribed by the system designer to the agents; agents are not assumed to compute their knowledge in any way, nor is it assumed that they can necessarily answer questions based on their knowledge. ... (Update)
Similar documents based on text: More All
0.5: An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
0.4: Using Counterfactuals in Knowledge-Based Programming - Halpern, Moses (1998) (Correct)
0.4: Knowledge-Based Programs - Fagin, Halpern, Moses, al. (1995) (Correct)
Related documents from co-citation: More All
8: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
6: A Deduction Model of Belief (context) - Konolige - 1986
6: Simulative inference in a computational model of belief - Kaplan, Schubert - 1997
BibTeX entry: (Update)
Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Algorithmic knowledge. In Ronald Fagin, editor, Theoretical Aspects of Reasoning about Knowledge: Proc. Fifth Conference, pages 255--266, San Francisco, 1994. Morgan Kaufmann. http://citeseer.ist.psu.edu/halpern94algorithmic.html More
@incollection{ halpern94algorithmic,
author = "Jospeh Y. Halpern and Yoram Moses and Moshe Y. Vardi",
title = "Algorithmic Knowledge",
booktitle = "Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fifth Conference ({TARK} 1994)",
publisher = "Morgan Kaufmann",
address = "San Francisco",
editor = "Ronald Fagin",
pages = "255--266",
year = "1994",
url = "citeseer.ist.psu.edu/halpern94algorithmic.html" }
Citations (may not include all citations):1529 A method for obtaining digital signatures and public-key cry.. - Rivest, Shamir et al. - 1978
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
531 The knowledge complexity of interactive proof systems (context) - Goldwasser, Micali et al. - 1989
453 Agent oriented programming (context) - Shoham - 1993
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
161 A logic of implicit and explicit belief (context) - Levesque - 1984
99 The synthesis of digital machines with provable epistemic pr.. (context) - Rosenschein, Kaelbling - 1986
94 A Deduction Model of Belief (context) - Konolige - 1986
76 How processes learn (context) - Chandy, Misra - 1986
58 in and J. Y. Halpern. Belief, awareness, and limited reasoni.. (context) - Fag - 1988
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
36 and adversaries (context) - Halpern, Tuttle et al. - 1993
34 Impossible possible worlds vindicated (context) - Hintikka - 1975
26 Towards optimal distributed consensus (context) - Berman, Garay et al. - 1989
18 Finite automata play the repeated prisoner's dilemma (context) - Rubinstein - 1985
17 Essays on the Foundations of Game Theory (context) - Binmore - 1990
13 Resource-bounded knowledge (context) - Moses - 1988
13 Bounded complexity justifies cooperation in finitely repated.. (context) - Neyman - 1985
13 Distributed processing and the logic of knowledge (context) - Parikh, Ramanujam - 1985
12 A knowledge-based analysis of zero knowledge - Halpern, Moses et al. - 1988
9 On play by means of computing machines (context) - Megiddo, Wigderson - 1986
7 Step-logic and the three-wise-men problem (context) - Elgot-Drapkin - 1991
2 A favorable strategy for twenty-one (context) - Thorp - 1961
2 On computable beliefs of rational machines - Megiddo - 1989
1 Reasoning situation in time I: Basic concepts (context) - Elgot-Drapkin, Perlis - 1990
1 Beat the dealer (context) - Thorp - 1966
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rice.edu/~vardi/papers/index.html): More
An Operational Semantics for Knowledge Bases - Fagin, Halpern, al. (1994) (Correct)
Nontraditional Applications of Automata Theory - Vardi (1994) (Correct)
Synthesis with Incomplete Information - Kupferman, Vardi (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