×

zbMATH — the first resource for mathematics

Halpern, Joseph Yehuda

Compute Distance To:
Author ID: halpern.joseph-y Recent zbMATH articles by "Halpern, Joseph Yehuda"
Published as: Halpern, J. Y.; Halpern, Joseph; Halpern, Joseph Y.
Homepage: http://www.cs.cornell.edu/home/halpern/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 197 Publications since 1981, including 6 Books
all top 5

Co-Authors

42 single-authored
20 Fagin, Ronald
15 Vardi, Moshe Y.
14 Moses, Yoram
11 Pass, Rafael
9 Dolev, Danny
7 Pucella, Riccardo
6 Grove, Adam J.
6 Rêgo, Leandro Chaves
5 Friedman, Nir
5 Koller, Daphne
4 Abraham, Ittai
4 Chockler, Hana
4 Chu, Francis C.
4 Leung, Samantha
4 Petride, Sabina
3 Clarke, Edmund Melson jun.
3 German, Steven M.
3 Hadzilacos, Vassos
3 Kash, Ian A.
3 Li, Li Erran
3 Meyer, Albert Ronald
3 Samet, Dov
3 Seeman, Lior
3 Waarts, Orli
2 Ben-Ari, Mordechai
2 Bickford, Mark
2 Bjorndahl, Adam
2 Constable, Robert Lee
2 Dwork, Cynthia
2 Emerson, Ernest Allen
2 Friedman, Eric J.
2 Grünwald, Peter D.
2 Halldórsson, Magnús Mar
2 Hitchcock, Christopher Read
2 Kets, Willemien
2 Kupferman, Orna
2 Lakemeyer, Gerhard
2 Megiddo, Nimrod
2 Mirrokni, Vahab S.
2 Pearl, Judea
2 Pnueli, Amir
2 Segev, Ella
2 Shoham, Yoav
2 Simons, Barbara B.
2 Strong, H. Raymond
2 Wimmers, Edward L.
1 Abadi, Martín
1 Alechina, Natasha
1 Aleksandrowicz, Gadi
1 Awerbuch, Baruch
1 Bacchus, Fahiem
1 Bahl, Paramvir
1 Ben-Or, Michael
1 Berman, Piotr
1 Blume, Lawrence E.
1 Brafman, Ronen I.
1 Chandra, Ashok K.
1 Chaves Rêgo, Leandros
1 Dechter, Rina
1 Di Tillio, Alfredo
1 Easley, David A.
1 Feigenbaum, Joan
1 Feitelson, Dror G.
1 Geanakoplos, John D.
1 Geffner, Hector
1 Geffner, Ivan
1 Grädel, Erich
1 Guibas, Leonidas John
1 Harper, Robert
1 Immerman, Neil
1 Ivrii, Alexander
1 Jaghadeesan, Radha
1 Kapron, Bruce M.
1 Kolaitis, Phokion G.
1 Kooi, Barteld Pieter
1 Kupferman, Raz
1 Levesque, Hector J.
1 Linial, Nathan
1 Logan, Brian
1 Loui, Michael C.
1 Manna, Zohar
1 Moszkowski, Ben C.
1 Munshi, Ashfaq A.
1 Piperno, Adolfo
1 Pitt, Leonard
1 Rabin, Michael O.
1 Reichman, Daniel
1 Reif, John H.
1 Ricciardi, Aleta M.
1 Saks, Michael E.
1 Shmoys, David B.
1 Shore, Richard A.
1 Sleator, Daniel Dominic
1 Strong, Ray
1 Suzuki, Ichiro
1 Teague, Vanessa Joy
1 Tiuryn, Jerzy
1 Trakhtenbrot, Boris Avraamovich
1 Tuttle, Mark R.
1 Upfal, Eli
...and 15 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

158 Publications have been cited 3,153 times in 1,965 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
546
1995
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
152
1990
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
146
1986
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
137
1988
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
132
1992
Reasoning about uncertainty. Zbl 1090.68105
Halpern, Joseph Y.
130
2003
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
112
1990
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
76
1985
Reasoning about knowledge and probability. Zbl 0806.68098
Fagin, Ronald; Halpern, Joseph Y.
75
1994
A propositional modal logic of time intervals. Zbl 0799.68175
Halpern, Joseph Y.; Shoham, Yoav
70
1991
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
70
1990
A new approach to updating beliefs. Zbl 0742.68067
Fagin, R.; Halpern, J. Y.
52
1991
The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015
Halpern, Joseph Y.; Vardi, Moshe Y.
42
1989
Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003
Halpern, Joseph Y.; Pearl, Judea
41
2005
Two views of belief: Belief as generalized probability and belief as evidence. Zbl 0762.68055
Halpern, Joseph Y.; Fagin, Ronald
40
1992
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
36
2004
Alternative semantics for unawareness. Zbl 1001.03015
Halpern, Joseph Y.
36
2001
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
33
2001
Uncertainty, belief, and probability. Zbl 0718.68066
Fagin, Ronald; Halpern, Joseph Y.
33
1989
Extensive games with possibly unaware players. Zbl 1294.91023
Halpern, Joseph Y.; Rêgo, Leandro C.
31
2014
Interactive unawareness revisited. Zbl 1138.03312
Halpern, Joseph Y.; Rêgo, Leandro Chaves
28
2008
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic. Zbl 1014.03508
Halpern, Joseph Y.
28
1995
What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
27
1992
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
26
1999
Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005
Halpern, Joseph Y.
24
2010
Reasoning about knowledge of unawareness. Zbl 1189.03023
Halpern, Joseph Y.; Rêgo, Leandro C.
24
2009
Modelling knowledge and action in distributed systems. Zbl 0685.68076
Halpern, Joseph Y.; Fagin, Ronald
24
1989
Knowledge, probability, and adversaries. Zbl 0783.68120
Halpern, Joseph Y.; Tuttle, Mark R.
23
1993
Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067
Halpern, Joseph Y.; Moses, Yoram
23
1985
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
22
2003
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
21
2004
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
21
1999
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
20
1999
A model-theoretic analysis of knowledge. Zbl 0799.68177
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
20
1991
Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017
Halpern, Joseph Y.
20
1991
Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031
Rêgo, Leandro C.; Halpern, Joseph Y.
19
2012
Performing work efficiently in the presence of faults. Zbl 0907.68099
Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli
18
1998
A nonstandard approach to the logical omniscience problem. Zbl 1014.03513
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
18
1995
A logic to reason about likelihood. Zbl 0621.03011
Halpern, Joseph Y.; Rabin, Michael O.
18
1987
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
17
2004
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
17
1997
Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017
Abadi, Martín; Halpern, Joseph Y.
17
1994
A little knowledge goes a long way: Knowledge-based derivations and correctness proofs for a family of protocols. Zbl 0799.68024
Halpern, Joseph Y.; Zuck, Lenore D.
17
1992
On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029
Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond
17
1986
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
16
2003
A new look at fault-tolerant network routing. Zbl 0638.68010
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond
16
1987
Random worlds and maximum entropy. Zbl 0900.68398
Grove, A. J.; Halpern, J. Y.; Koller, D.
15
1994
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y.
14
2000
Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121
Halpern, Joseph Y.; Vardi, Moshe Y.
14
1991
The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035
Halpern, Joseph Y.; Reif, John H.
14
1983
Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267
Halpern, Joseph Y.; Pucella, Riccardo
13
2011
Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013
Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir
13
1982
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
12
2012
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
12
2005
Substantive rationality and backward induction. Zbl 1027.91011
Halpern, Joseph Y.
12
2001
Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010
Fagin, Ronald; Halpern, Joseph Y.
12
1988
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
12
1983
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
11
2009
Characterizing the common prior assumption. Zbl 1042.91062
Halpern, Joseph Y.
11
2002
Multi-agent only knowing. Zbl 0984.03016
Halpern, Joseph Y.; Lakemeyer, Gerhard
11
2001
On ambiguities in the interpretation of game trees. Zbl 0885.90146
Halpern, Joseph Y.
11
1997
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
11
1996
Effective axiomatizations of Hoare logics. Zbl 0627.68010
Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y.
11
1983
Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
10
2008
A logic for reasoning about evidence. Zbl 1182.68244
Halpern, J. Y.; Pucella, R.
10
2006
Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011
Halpern, Joseph Y.
10
1999
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
10
1999
Dynamic fault-tolerant clock synchronization. Zbl 0886.68008
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray
10
1995
Optimal precision in the presence of uncertainty. Zbl 0598.68033
Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A.
10
1985
Handbook of epistemic logic. Zbl 1392.03009
van Ditmarsch, Hans (ed.); Halpern, Joseph Y. (ed.); van der Hoek, Wiebe (ed.); Kooi, Barteld (ed.)
9
2015
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
9
2013
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
9
2012
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
9
1997
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1995
What is an inference rule? Zbl 0761.03010
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1992
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Reasoning about uncertainty. 2nd edition. Zbl 1368.68001
Halpern, Joseph Y.
8
2017
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. Zbl 1333.68147
Li, Li; Halpern, Joseph Y.; Bahl, Paramvir; Wang, Yi-Min; Wattenhofer, Rogert
8
2001
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
8
2001
On the expected value of games with absentmindedness. Zbl 0885.90145
Grove, Adam J.; Halpern, Joseph Y.
8
1997
Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009
Grove, Adam J.; Halpern, Joseph Y.
8
1993
Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072
Moses, Yoram; Dolev, Danny; Halpern, Joseph Y.
8
1986
From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011
Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R.
8
1984
Algorithmic rationality: game theory with costly computation. Zbl 1311.91090
Halpern, Joseph Y.; Pass, Rafael
7
2015
Actual causation and the art of modeling. Zbl 1269.03009
Halpern, Joseph Y.; Hitchcock, Christopher
7
2010
A computer scientist looks at game theory. Zbl 1124.91315
Halpern, Joseph Y.
7
2003
Cox’s theorem revisited. Zbl 0940.60010
Halpern, Joseph Y.
7
1999
The relationship between knowledge, belief, and certainty. Zbl 0865.03016
Halpern, Joseph Y.
7
1991
Graded causation and defaults. Zbl 1432.03015
Halpern, Joseph Y.; Hitchcock, Christopher
6
2015
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008
Halpern, Joseph Y.
6
2008
Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014
Halpern, Joseph Y.; Shore, Richard A.
6
2004
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136
Friedman, Nir; Halpern, Joseph Y.
6
1999
Asymptotic conditional probabilities: The unary case. Zbl 0848.03004
Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
6
1996
Message-optimal protocols for Byzantine agreement. Zbl 0766.68007
Hadzilacos, Vassos; Halpern, Joseph Y.
6
1993
Model checking vs. theorem proving: A manifesto. Zbl 0765.68189
Halpern, Joseph Y.; Vardi, Moshe Y.
6
1991
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
5
2016
Conditional belief types. Zbl 1302.91030
Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov
5
2014
No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197
Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan
5
2012
Making decisions using sets of probabilities: updating, time consistency, and calibration. Zbl 1234.68386
Grunwald, Peter D.; Halpern, Joseph Y.
5
2011
Game theory with translucent players. Zbl 1417.91020
Halpern, Joseph Y.; Pass, Rafael
2
2018
Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Zbl 1448.68437
Alechina, Natasha; Halpern, Joseph Y.; Kash, Ian A.; Logan, Brian
1
2018
Reasoning about uncertainty. 2nd edition. Zbl 1368.68001
Halpern, Joseph Y.
8
2017
Reasoning about rationality. Zbl 1393.91015
Bjorndahl, A.; Halpern, J. Y.; Pass, R.
1
2017
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
5
2016
Appropriate causal models and the stability of causation. Zbl 1383.03026
Halpern, Joseph Y.
3
2016
Rational consensus (extended abstract). Zbl 1373.68100
Halpern, Joseph Y.; Vilaça, Xavier
1
2016
Substantive rationality and backward induction. Zbl 1386.03031
Halpern, Joseph Y.
1
2016
Handbook of epistemic logic. Zbl 1392.03009
van Ditmarsch, Hans (ed.); Halpern, Joseph Y. (ed.); van der Hoek, Wiebe (ed.); Kooi, Barteld (ed.)
9
2015
Algorithmic rationality: game theory with costly computation. Zbl 1311.91090
Halpern, Joseph Y.; Pass, Rafael
7
2015
Graded causation and defaults. Zbl 1432.03015
Halpern, Joseph Y.; Hitchcock, Christopher
6
2015
Ambiguous language and common priors. Zbl 1318.91137
Halpern, Joseph Y.; Kets, Willemien
2
2015
Weighted sets of probabilities and minimax weighted expected regret: a new approach for representing uncertainty and making decisions. Zbl 1378.91064
Halpern, Joseph Y.; Leung, Samantha
1
2015
Extensive games with possibly unaware players. Zbl 1294.91023
Halpern, Joseph Y.; Rêgo, Leandro C.
31
2014
Conditional belief types. Zbl 1302.91030
Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov
5
2014
A logic for reasoning about ambiguity. Zbl 1334.68207
Halpern, Joseph Y.; Kets, Willemien
1
2014
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
9
2013
Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
3
2013
Conservative belief and rationality. Zbl 1281.91032
Halpern, Joseph Y.; Pass, Rafael
2
2013
From causal models to counterfactual structures. Zbl 1272.03021
Halpern, Joseph Y.
2
2013
Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031
Rêgo, Leandro C.; Halpern, Joseph Y.
19
2012
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
12
2012
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
9
2012
No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197
Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan
5
2012
Modeling adversaries in a logic for security protocol analysis. Zbl 1238.94029
Halpern, Joseph Y.; Pucella, Riccardo
3
2012
Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267
Halpern, Joseph Y.; Pucella, Riccardo
13
2011
Making decisions using sets of probabilities: updating, time consistency, and calibration. Zbl 1234.68386
Grunwald, Peter D.; Halpern, Joseph Y.
5
2011
Multiagent learning in large anonymous games. Zbl 1216.68304
Kash, I. A.; Friedman, E. J.; Halpern, J. Y.
4
2011
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1349.91078
Halpern, Joseph Y.
1
2011
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1229.91073
Halpern, Joseph Y.
1
2011
Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005
Halpern, Joseph Y.
24
2010
Actual causation and the art of modeling. Zbl 1269.03009
Halpern, Joseph Y.; Hitchcock, Christopher
7
2010
Erratum for “What causes a system to satisfy a specification?”. Zbl 1370.68197
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2010
On spectrum sharing games. Zbl 1267.91007
Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li Erran; Mirrokni, Vahab S.
1
2010
Reasoning about knowledge of unawareness. Zbl 1189.03023
Halpern, Joseph Y.; Rêgo, Leandro C.
24
2009
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
11
2009
Redoing the foundations of decision theory. Zbl 1419.03016
Blume, Lawrence E.; Easley, David A.; Halpern, Joseph Y.
2
2009
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Zbl 1211.91017
Halpern, Joseph Y.
2
2009
On definability in multimodal logic. Zbl 1190.03020
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
1
2009
Interactive unawareness revisited. Zbl 1138.03312
Halpern, Joseph Y.; Rêgo, Leandro Chaves
28
2008
Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
10
2008
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008
Halpern, Joseph Y.
6
2008
Intransitivity and vagueness. Zbl 1198.03011
Halpern, Joseph Y.
5
2008
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
3
2008
Great expectations. I: On the customizability of generalized expected utility. Zbl 1133.91359
Chu, Francis C.; Halpern, Joseph Y.
1
2008
Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic. Zbl 1126.03024
Halpern, Joseph Y.; Chaves Rêgo, Leandros
4
2007
Characterizing and reasoning about probabilistic and non-probabilistic expectation. Zbl 1292.68140
Halpern, Joseph Y.; Pucella, Riccardo
1
2007
A logic for reasoning about evidence. Zbl 1182.68244
Halpern, J. Y.; Pucella, R.
10
2006
Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003
Halpern, Joseph Y.; Pearl, Judea
41
2005
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
12
2005
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Zbl 1264.68028
Halpern, Joseph Y.; Ricciardi, Aleta
2
2005
Probabilistic algorithmic knowledge. Zbl 1125.68116
Halpern, Joseph Y.; Pucella, Riccardo
2
2005
Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491
Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina
2
2005
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
36
2004
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
21
2004
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
17
2004
Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014
Halpern, Joseph Y.; Shore, Richard A.
6
2004
Representation dependence in probabilistic inference. Zbl 1080.68686
Halpern, Joseph Y.; Koller, Daphne
4
2004
Great expectations. II: Generalized expected utility as a universal decision rule. Zbl 1086.91016
Chu, Francis C.; Halpern, Joseph Y.
3
2004
On spectrum sharing games. Zbl 1322.91014
Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li (Erran); Mirrokni, Vahab S.
1
2004
Reasoning about uncertainty. Zbl 1090.68105
Halpern, Joseph Y.
130
2003
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
22
2003
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
16
2003
A computer scientist looks at game theory. Zbl 1124.91315
Halpern, Joseph Y.
7
2003
LICS 2001 special issue. Zbl 1365.00062
Grädel, Erich (ed.); Halpern, Joseph Y. (ed.); Jaghadeesan, Radha (ed.); Piperno, Adolfo (ed.)
2
2003
Characterizing the common prior assumption. Zbl 1042.91062
Halpern, Joseph Y.
11
2002
A logic for reasoning about upper probabilities. Zbl 1029.68134
Halpern, J. Y.; Pucella, R.
5
2002
Alternative semantics for unawareness. Zbl 1001.03015
Halpern, Joseph Y.
36
2001
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
33
2001
Substantive rationality and backward induction. Zbl 1027.91011
Halpern, Joseph Y.
12
2001
Multi-agent only knowing. Zbl 0984.03016
Halpern, Joseph Y.; Lakemeyer, Gerhard
11
2001
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. Zbl 1333.68147
Li, Li; Halpern, Joseph Y.; Bahl, Paramvir; Wang, Yi-Min; Wattenhofer, Rogert
8
2001
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
8
2001
On the unusual effectiveness of logic in computer science. Zbl 0979.03033
Halpern, Joseph Y.; Harper, Robert; Immerman, Neil; Kolaitis, Phokion G.; Vardi, Moshe Y.; Vianu, Victor
6
2001
On the NP-completeness of finding an optimal strategy in games with common payoffs. Zbl 1052.91004
Chu, Francis; Halpern, Joseph
5
2001
Conditional plausibility measures and Bayesian networks. Zbl 0976.60003
Halpern, J. Y.
2
2001
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y.
14
2000
First-order conditional logic for default reasoning revisited. Zbl 1365.68404
Friedman, Nir; Halpern, Joseph Y.; Koller, Daphne
2
2000
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
26
1999
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
21
1999
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
20
1999
Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011
Halpern, Joseph Y.
10
1999
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
10
1999
Cox’s theorem revisited. Zbl 0940.60010
Halpern, Joseph Y.
7
1999
Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136
Friedman, Nir; Halpern, Joseph Y.
6
1999
Set-theoretic completeness for epistemic and conditional logic. Zbl 0942.03019
Halpern, Joseph Y.
5
1999
Common knowledge revisited. Zbl 0923.03008
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
1
1999
Performing work efficiently in the presence of faults. Zbl 0907.68099
Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli
18
1998
On the knowledge requirements of tasks. Zbl 0903.68182
Brafman, Ronen I.; Halpern, Joseph Y.; Shoham, Yoav
1
1998
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
17
1997
On ambiguities in the interpretation of game trees. Zbl 0885.90146
Halpern, Joseph Y.
11
1997
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
9
1997
On the expected value of games with absentmindedness. Zbl 0885.90145
Grove, Adam J.; Halpern, Joseph Y.
8
1997
A theory of knowledge and ignorance for many agents. Zbl 0881.03014
Halpern, Joseph Y.
5
1997
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
11
1996
Asymptotic conditional probabilities: The unary case. Zbl 0848.03004
Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
6
1996
Asymptotic conditional probabilities: The non-unary case. Zbl 0847.03018
Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
4
1996
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
546
1995
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic. Zbl 1014.03508
Halpern, Joseph Y.
28
1995
...and 58 more Documents
all top 5

Cited by 2,327 Authors

63 Halpern, Joseph Yehuda
31 van Ditmarsch, Hans Pieter
24 van der Hoek, Wiebe
22 Montanari, Angelo
21 Dubois, Didier
19 Vardi, Moshe Y.
18 Ognjanović, Zoran
17 Moses, Yoram
17 Sciavicco, Guido
17 van Benthem, Johan F. A. K.
16 Wooldridge, Michael J.
15 Balbiani, Philippe
15 Lorini, Emiliano
14 Dixon, Clare
14 Pacuit, Eric
14 Vantaggi, Barbara
13 Baltag, Alexandru
13 Bozzelli, Laura
13 Goranko, Valentin F.
13 Lukasiewicz, Thomas
13 Murano, Aniello
13 Rybakov, Vladimir Vladimirovich
13 Smets, Sonja J. L.
12 Ågotnes, Thomas
12 Coletti, Giulianella
12 Lomuscio, Alessio
12 Prade, Henri M.
11 Bonanno, Giacomo
11 Bresolin, Davide
11 Sala, Pietro
10 Demri, Stéphane P.
10 Fagin, Ronald
10 Godo, Lluís
10 Heifetz, Aviad
10 Kowalski, Dariusz R.
10 Levesque, Hector J.
10 Velázquez-Quesada, Fernando Raymundo
10 Wang, Yanjing
9 Herzig, Andreas
9 Perović, Aleksandar
9 Pinchinat, Sophie
9 Reynolds, Mark Alexander
9 Samet, Dov
9 Schipper, Burkhard C.
9 Schwarzentruber, François
8 Della Monica, Dario
8 Gagliardi Cozman, Fabio
8 Kern-Isberner, Gabriele
8 Kooi, Barteld Pieter
8 Kupferman, Orna
8 Lakemeyer, Gerhard
8 Meier, Martin
8 Naumov, Pavel G.
8 Peron, Adriano
8 Petturiti, Davide
8 Rašković, Miodrag D.
8 Tao, Jia
7 Benevides, Mario R. F.
7 Cozman, Fabio G.
7 Doder, Dragan
7 Eiter, Thomas
7 French, Tim
7 Giunchiglia, Fausto
7 Guelev, Dimitar P.
7 Hoshi, Tomohiro
7 Hustadt, Ullrich
7 Liau, Churn-Jung
7 Molinari, Alberto
7 Parikh, Rohit
7 Quiggin, John
7 Sack, Joshua
7 Shoham, Yoav
7 Studer, Thomas
7 Subrahmanian, V. S.
6 Artemov, Sergei
6 Aucher, Guillaume
6 Banerjee, Mohua
6 Beierle, Christoph
6 Belardinelli, Francesco
6 Belle, Vaishak
6 Fisher, Michael W.
6 Flaminio, Tommaso
6 Georgiou, Chryssis
6 Grant, Simon
6 Ikodinović, Nebojša
6 Jamroga, Wojciech
6 Kaneko, Mamoru
6 Kraus, Sarit
6 Lange, Martin
6 Marchioni, Enrico
6 Massacci, Fabio
6 Mogavero, Fabio
6 Peled, Doron A.
6 Rabinovich, Alexander
6 Schmid, Ulrich
6 Shvartsman, Alex Allister
6 Speranski, Stanislav O.
6 Tsakas, Elias
6 Viganò, Luca
6 Zakharyaschev, Michael Viktorovich
...and 2,227 more Authors
all top 5

Cited in 173 Serials

156 Artificial Intelligence
111 Theoretical Computer Science
98 International Journal of Approximate Reasoning
90 Synthese
69 Games and Economic Behavior
68 Journal of Applied Non-Classical Logics
62 Journal of Philosophical Logic
59 Information and Computation
56 Studia Logica
54 Journal of Applied Logic
45 Annals of Mathematics and Artificial Intelligence
38 Distributed Computing
37 Journal of Logic, Language and Information
30 Annals of Pure and Applied Logic
27 Journal of Economic Theory
27 Mathematical Social Sciences
26 Journal of Computer and System Sciences
25 The Review of Symbolic Logic
23 Theory and Decision
21 Fuzzy Sets and Systems
21 Journal of Automated Reasoning
20 Information Processing Letters
19 Information Sciences
16 Journal of Mathematical Economics
16 Erkenntnis
15 The Journal of Symbolic Logic
15 Formal Aspects of Computing
14 Formal Methods in System Design
14 ACM Transactions on Computational Logic
13 Acta Informatica
13 International Journal of Game Theory
12 Economic Theory
10 The Bulletin of Symbolic Logic
10 International Game Theory Review
9 The Journal of Logic and Algebraic Programming
9 Theory and Practice of Logic Programming
8 Theory of Computing Systems
8 Soft Computing
7 Siberian Mathematical Journal
6 Discrete Applied Mathematics
6 Lithuanian Mathematical Journal
6 Applied Mathematics and Computation
6 Notre Dame Journal of Formal Logic
6 Annals of Operations Research
6 MSCS. Mathematical Structures in Computer Science
5 Journal of Statistical Planning and Inference
5 Mathematical Systems Theory
5 Programming and Computer Software
5 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
5 International Journal of Foundations of Computer Science
5 European Journal of Operational Research
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Logical Methods in Computer Science
5 Games
5 Journal of Logical and Algebraic Methods in Programming
4 International Journal of General Systems
4 Kybernetika
4 Operations Research
4 Algorithmica
4 International Journal of Intelligent Systems
4 Journal of Cryptology
4 Frontiers of Computer Science
3 International Journal of Theoretical Physics
3 Journal of Mathematical Psychology
3 Journal of Parallel and Distributed Computing
3 Computational Statistics and Data Analysis
3 Archive for Mathematical Logic
3 Constraints
3 Sādhanā
3 Quantum Information Processing
3 Journal of Discrete Algorithms
3 Logica Universalis
3 Journal of Siberian Federal University. Mathematics & Physics
2 Computer Methods in Applied Mechanics and Engineering
2 Journal of Mathematical Analysis and Applications
2 Algebra and Logic
2 The Annals of Statistics
2 Journal of Econometrics
2 Kybernetes
2 Social Choice and Welfare
2 Journal of Complexity
2 Journal of Computer Science and Technology
2 New Generation Computing
2 Real-Time Systems
2 Machine Learning
2 Economics Letters
2 Discrete Event Dynamic Systems
2 Applied Intelligence
2 Automation and Remote Control
2 Mathematical Logic Quarterly (MLQ)
2 The Journal of Artificial Intelligence Research (JAIR)
2 Abstract and Applied Analysis
2 Journal of Combinatorial Optimization
2 Journal of the ACM
2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
2 Computer Science Review
1 Israel Journal of Mathematics
1 Journal of Mathematical Physics
1 Mathematical Notes
1 Problems of Information Transmission
...and 73 more Serials

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.