Ronald Fagin, Joseph Y. Halpern  Home/Search
Context Related
| cornell.edu/Info/Pe...knowledge_prob.ps cornell.edu/home/ha...knowledge_prob.ps cornell.edu/Info/Pe...knowledge_prob.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: : We provide a model for reasoning about knowledge and probability together. We allow explicit mention of probabilities in formulas, so that our language has formulas that essentially say "according to agent i, formula ' holds with probability at least b." The language is powerful enough to allow reasoning about higher-order probabilities, as well as allowing explicit comparisons of the probabilities an agent places on distinct events. We present a general framework for interpreting such... (Update)
Cited by: More
Harsanyi Type Spaces with Knowledge Operators - Martin Meier Instituto (Correct)
Dynamic Update with Probabilities - van Benthem, Gerbrandy, Kooi (2006) (Correct)
Communication Strategies in Games - Jelle Gerbran Dy (Correct)
Active bibliography (related documents): More All
0.6: An Analysis of First-Order Logics of Probability - Halpern (1990) (Correct)
0.6: Knowledge, Probability, and Adversaries - Halpern, Tuttle (1991) (Correct)
0.6: A Logic for Reasoning about Probabilities - Fagin, Halpern, Megiddo (1990) (Correct)
Similar documents based on text: More All
0.3: A Note on Unawareness - Halpern (1999) (Correct)
0.3: Complete Axiomatizations for Reasoning about Knowledge.. - Halpern, Van Der Meyden, .. (1999) (Correct)
0.3: On the Relations Between Incidence Calculus and Fagin-Halpern.. - Silva (Correct)
Related documents from co-citation: More All
14: A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
13: A mathematical theory of evidence (context) - Shafer - 1976
13: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
BibTeX entry: (Update)
R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. Journal of the ACM, 41(2):340--367, 1994. http://citeseer.ist.psu.edu/fagin94reasoning.html More
@inproceedings{ fagin88reasoning,
author = "Ronald Fagin and Joseph Y. Halpern",
title = "Reasoning about Knowledge and Probability",
booktitle = "Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge",
publisher = "Morgan Kaufmann",
address = "San Francisco",
editor = "Moshe Y. Vardi",
pages = "277--293",
year = "1988",
url = "citeseer.ist.psu.edu/fagin94reasoning.html" }
Citations (may not include all citations):1749 An Introduction to Probability Theory and its Applications (context) - Feller - 1957
625 A Mathematical Theory of Evidence (context) - Shafer - 1976
531 The knowledge complexity of interactive proof systems (context) - Goldwasser, Micali et al. - 1989
240 A guide to completeness and complexity for modal logics of k.. (context) - Halpern, Moses - 1992
210 A formal theory of knowledge and action (context) - Moore - 1985
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
194 Knowledge and Belief (context) - Hintikka - 1962
130 The computational complexity of provability in systems of mo.. (context) - Ladner - 1977
110 A logic for reasoning about probabilities - Fagin, Halpern et al. - 1990
107 Artificial Intelligence (context) - Nilsson - 1986
73 Agreeing to disagree (context) - Aumann - 1976
67 Measure Theory (context) - Halmos - 1950
59 Models of program logics (context) - Pratt - 1979
50 Using reasoning about knowledge to analyze distributed syste.. (context) - Halpern - 1987
36 and adversaries (context) - Halpern, Tuttle et al. - 1993
30 Information and Control (context) - Lehmann, Shelah et al. - 1982
28 Probabilistic temporal logics for finite and bounded models (context) - Hart, Sharir - 1984
28 Journal of Computer and System Sciences (context) - Kozen - 1985
20 Bases Mathematiques du Calcul des Probabilit'es (context) - Neveu - 1964
19 Annals of Mathematics and Artificial Intelligence - Halpern, between et al. - 1991
17 On some completeness theorems in modal logic (context) - Makinson - 1966
15 A theory of higher order probabilities (context) - Gaifman - 1986
13 Resource-bounded knowledge (context) - Moses - 1988
13 A logic to reason about likelihood (context) - Halpern, Rabin - 1987
13 Recent work in epistemic logic (context) - Lenzen - 1978
12 Reasoning about uncertainty in fault-tolerant distributed sy.. (context) - Fischer, Zuck - 1988
12 A knowledge-based analysis of zero knowledge - Halpern, Moses et al. - 1988
10 Approximating common knowledge with common beliefs (context) - Monderer, Samet - 1989
9 Computational Intelligence (context) - Halpern, McAllester et al. - 1989
8 and the calculus of evidence (context) - Ruspini, probability - 1987
6 Higher order degrees of belief (context) - Skyrms - 1980
4 Learning to agree (context) - Cave - 1983
4 A decidable propositional probabilistic dynamic logic with e.. (context) - Feldman - 1984
3 Technical Report YALEU/DCS/TR (context) - Fischer, Zuck et al. - 1987
3 British Journal for the Philosophy of Science (context) - Miller, of - 1966
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