引用次数
引用: 47,626
H-指数: 96
I10-指数 : 267
出版物: 594
Belief Revision: A Critique
Nir Friedman , Joseph Y. Halpern
Journal of Logic, Language and Information 8 ( 4) 401 -420
56
1999
Reasoning about Knowledge: A Response by the Authors
Ronald Fagin , Joseph Y. Halpern , Yoram Moses , Moshe Y. Vardi
Minds and Machines 7 ( 1) 113 -113
2
1997
A model-theoretic analysis of knowledge
Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi
Journal of the ACM 38 ( 2) 382 -428
184
1991
Axiomatic Definitions of Programming Languages: A Theoretical Assessment
Albert R. Meyer , Joseph Y. Halpern
Journal of the ACM 29 ( 2) 555 -576
26
1982
Modeling Adversaries in a Logic for Security Protocol Analysis
Joseph Y. Halpern , Riccardo Pucella
Logical Methods in Computer Science 8 ( 1) 115 -132
21
2012
What is an Inference Rule
Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi
Journal of Symbolic Logic 57 ( 3) 1018 -1045
28
1992
Asymptotic conditional probabilities: The non-unary case
Adam J. Grove , Joseph Y. Halpern , Daphne Koller
Journal of Symbolic Logic 61 ( 1) 250 -276
23
1996
On the complexity of conditional logics
Nir Friedman , Joseph Y. Halpern
principles of knowledge representation and reasoning 202 -213
58
1994
Interactive unawareness revisited
Joseph Y. Halpern , Leandro Chaves Rêgo
Games and Economic Behavior 62 ( 1) 232 -262
81
2008
Reasoning about knowledge of unawareness
Joseph Y. Halpern , Leandro C. Rêgo
Games and Economic Behavior 67 ( 2) 503 -525
64
2009
Lexicographic probability, conditional probability, and nonstandard probability
Joseph Y. Halpern
Games and Economic Behavior 68 ( 1) 155 -179
57
2010
Iterated regret minimization: A new solution concept
Joseph Y. Halpern , Rafael Pass
Games and Economic Behavior 74 ( 1) 184 -207
59
2012
Conservative belief and rationality
Joseph Y. Halpern , Rafael Pass
Games and Economic Behavior 80 186 -192
4
2013
Conditional belief types
Alfredo Di Tillio , Joseph Y. Halpern , Dov Samet
Games and Economic Behavior 87 253 -268
8
2014
Ambiguous language and common priors
Joseph Y. Halpern , Willemien Kets
Games and Economic Behavior 90 171 -180
1
2015
Decision theory with resource-bounded agents.
Joseph Y. Halpern , Rafael Pass , Lior Seeman
Topics in Cognitive Science 6 ( 2) 245 -257
15
2014
The failure discovery problem
Vassos Hadzilacos , Joseph Y. Halpern
Theory of Computing Systems \/ Mathematical Systems Theory 26 ( 1) 103 -129
6
1993
A logic for SDSI's linked local name spaces
Joseph Y. Halpern , Ron van der Meyden
Journal of Computer Security 9 ( 1) 105 -142
37
2001
A logical reconstruction of SPKI
Joseph Y. Halpern , Ron van der Meyden
Journal of Computer Security 11 ( 4) 581 -613
25
2003
Anonymity and information hiding in multiagent systems
Joseph Y. Halpern , Kevin R. O'Neill
Journal of Computer Security 13 ( 3) 483 -514
165
2005