×

Halpern, Joseph Yehuda

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

Co-Authors

42 single-authored
20 Fagin, Ronald
15 Vardi, Moshe Ya’akov
14 Moses, Yoram
14 Pass, Rafael
9 Dolev, Danny
8 Pucella, Riccardo
6 Grove, Adam J.
6 Rêgo, Leandro Chaves
5 Chockler, Hana
5 Friedman, Nir
5 Koller, Daphne
4 Abraham, Ittai
4 Bjorndahl, Adam
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 Blume, Lawrence E.
2 Constable, Robert Lee
2 Dechter, Rina
2 Dwork, Cynthia
2 Easley, David A.
2 Emerson, Ernest Allen
2 Friedman, Eric J.
2 Geffner, Hector
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 van der Meyden, Ron
2 Wimmers, Edward L.
1 Abadi, Martín
1 Alechina, Natasha
1 Aleksandrowicz, Gadi
1 Alrajeh, Dalal
1 Awerbuch, Baruch
1 Bacchus, Fahiem
1 Bahl, Paramvir
1 Ben-Or, Michael
1 Berman, Piotr
1 Brafman, Ronen I.
1 Capraro, Valerio
1 Chandra, Ashok K.
1 Chaves Rêgo, Leandros
1 Di Tillio, Alfredo
1 Feigenbaum, Joan
1 Feitelson, Dror G.
1 Geanakoplos, John D.
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 Perea, Andrés
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 Arnold
1 Strong, Ray
1 Suzuki, Ichiro
1 Teague, Vanessa Joy
1 Tiuryn, Jerzy
...and 17 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

159 Publications have been cited 3,377 times in 2,125 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
578
1995
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
169
1986
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
162
1990
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
152
1988
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
142
1992
Reasoning about uncertainty. Zbl 1090.68105
Halpern, Joseph Y.
135
2003
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
128
1990
Reasoning about knowledge and probability. Zbl 0806.68098
Fagin, Ronald; Halpern, Joseph Y.
86
1994
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
83
1985
A propositional modal logic of time intervals. Zbl 0799.68175
Halpern, Joseph Y.; Shoham, Yoav
78
1991
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
76
1990
A new approach to updating beliefs. Zbl 0742.68067
Fagin, R.; Halpern, J. Y.
51
1991
Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003
Halpern, Joseph Y.; Pearl, Judea
50
2005
The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015
Halpern, Joseph Y.; Vardi, Moshe Y.
44
1989
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
41
2004
Two views of belief: Belief as generalized probability and belief as evidence. Zbl 0762.68055
Halpern, Joseph Y.; Fagin, Ronald
40
1992
Alternative semantics for unawareness. Zbl 1001.03015
Halpern, Joseph Y.
40
2001
Extensive games with possibly unaware players. Zbl 1294.91023
Halpern, Joseph Y.; Rêgo, Leandro C.
32
2014
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
32
2001
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.
30
1995
Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005
Halpern, Joseph Y.
29
2010
Interactive unawareness revisited. Zbl 1138.03312
Halpern, Joseph Y.; Rêgo, Leandro Chaves
29
2008
What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
28
1992
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
26
2004
Knowledge, probability, and adversaries. Zbl 0783.68120
Halpern, Joseph Y.; Tuttle, Mark R.
25
1993
Reasoning about knowledge of unawareness. Zbl 1189.03023
Halpern, Joseph Y.; Rêgo, Leandro C.
25
2009
Modelling knowledge and action in distributed systems. Zbl 0685.68076
Halpern, Joseph Y.; Fagin, Ronald
25
1989
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
24
1999
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
23
1999
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
23
2003
Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031
Rêgo, Leandro C.; Halpern, Joseph Y.
22
2012
Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067
Halpern, Joseph Y.; Moses, Yoram
21
1985
Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017
Halpern, Joseph Y.
21
1991
A model-theoretic analysis of knowledge. Zbl 0799.68177
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
21
1991
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
21
1999
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
21
1997
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.
19
1992
Performing work efficiently in the presence of faults. Zbl 0907.68099
Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli
19
1998
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
19
2004
Handbook of epistemic logic. Zbl 1392.03009
19
2015
A logic to reason about likelihood. Zbl 0621.03011
Halpern, Joseph Y.; Rabin, Michael O.
18
1987
Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017
Abadi, Martín; Halpern, Joseph Y.
18
1994
A nonstandard approach to the logical omniscience problem. Zbl 1014.03513
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
18
1995
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y.
16
2000
Random worlds and maximum entropy. Zbl 0900.68398
Grove, A. J.; Halpern, J. Y.; Koller, D.
16
1994
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
16
2003
On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029
Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond
15
1986
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
15
2005
Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267
Halpern, Joseph Y.; Pucella, Riccardo
15
2011
Uncertainty, belief, and probability. Zbl 0718.68066
Fagin, Ronald; Halpern, Joseph Y.
15
1989
A logic for reasoning about evidence. Zbl 1182.68244
Halpern, J. Y.; Pucella, R.
14
2006
Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013
Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir
14
1982
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
14
2009
Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121
Halpern, Joseph Y.; Vardi, Moshe Y.
13
1991
The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035
Halpern, Joseph Y.; Reif, John H.
13
1983
Multi-agent only knowing. Zbl 0984.03016
Halpern, Joseph Y.; Lakemeyer, Gerhard
13
2001
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
13
2012
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
13
2001
A new look at fault-tolerant network routing. Zbl 0638.68010
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond
12
1987
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
12
1996
Substantive rationality and backward induction. Zbl 1027.91011
Halpern, Joseph Y.
12
2001
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
12
1999
Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009
Grove, Adam J.; Halpern, Joseph Y.
11
1993
Characterizing the common prior assumption. Zbl 1042.91062
Halpern, Joseph Y.
11
2002
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
11
2013
Effective axiomatizations of Hoare logics. Zbl 0627.68010
Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y.
10
1983
Algorithmic rationality: game theory with costly computation. Zbl 1311.91090
Halpern, Joseph Y.; Pass, Rafael
10
2015
On ambiguities in the interpretation of game trees. Zbl 0885.90146
Halpern, Joseph Y.
10
1997
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
10
1997
Reasoning about uncertainty. 2nd edition. Zbl 1368.68001
Halpern, Joseph Y.
10
2017
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
10
1983
Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
10
2008
What is an inference rule? Zbl 0761.03010
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
9
1992
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
9
2016
Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014
Halpern, Joseph Y.; Shore, Richard A.
9
2004
Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011
Halpern, Joseph Y.
9
1999
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
9
2012
The relationship between knowledge, belief, and certainty. Zbl 0865.03016
Halpern, Joseph Y.
8
1991
Optimal precision in the presence of uncertainty. Zbl 0598.68033
Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A.
8
1985
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
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
8
1995
Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136
Friedman, Nir; Halpern, Joseph Y.
8
1999
On the expected value of games with absentmindedness. Zbl 0885.90145
Grove, Adam J.; Halpern, Joseph Y.
8
1997
Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010
Fagin, Ronald; Halpern, Joseph Y.
8
1988
Actual causation and the art of modeling. Zbl 1269.03009
Halpern, Joseph Y.; Hitchcock, Christopher
7
2010
Model checking vs. theorem proving: A manifesto. Zbl 0765.68189
Halpern, Joseph Y.; Vardi, Moshe Y.
7
1991
Message-optimal protocols for Byzantine agreement. Zbl 0766.68007
Hadzilacos, Vassos; Halpern, Joseph Y.
7
1993
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
7
2001
Cox’s theorem revisited. Zbl 0940.60010
Halpern, Joseph Y.
7
1999
A computer scientist looks at game theory. Zbl 1124.91315
Halpern, Joseph Y.
7
2003
Asymptotic conditional probabilities: The unary case. Zbl 0848.03004
Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
6
1996
A theory of knowledge and ignorance for many agents. Zbl 0881.03014
Halpern, Joseph Y.
6
1997
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.
6
1984
No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197
Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan
6
2012
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008
Halpern, Joseph Y.
6
2008
Graded causation and defaults. Zbl 1432.03015
Halpern, Joseph Y.; Hitchcock, Christopher
6
2015
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
Dynamic fault-tolerant clock synchronization. Zbl 0886.68008
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray
6
1995
Conditional belief types. Zbl 1302.91030
Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov
5
2014
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.
10
2017
A knowledge-based analysis of the blockchain protocol. Zbl 1483.68024
Halpern, Joseph Y.; Pass, Rafael
1
2017
Reasoning about rationality. Zbl 1393.91015
Bjorndahl, A.; Halpern, J. Y.; Pass, R.
1
2017
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
9
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
19
2015
Algorithmic rationality: game theory with costly computation. Zbl 1311.91090
Halpern, Joseph Y.; Pass, Rafael
10
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.
32
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
3
2014
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
11
2013
Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
4
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.
22
2012
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
13
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
6
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
15
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 1229.91073
Halpern, Joseph Y.
1
2011
Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1349.91078
Halpern, Joseph Y.
1
2011
Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005
Halpern, Joseph Y.
29
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
2
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.
25
2009
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
14
2009
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Zbl 1211.91017
Halpern, Joseph Y.
4
2009
Redoing the foundations of decision theory. Zbl 1419.03016
Blume, Lawrence E.; Easley, David A.; 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
29
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
An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
4
2008
What causes a system to satisfy a specification? Zbl 1367.68185
Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna
3
2008
Great expectations. I: On the customizability of generalized expected utility. Zbl 1133.91359
Chu, Francis C.; Halpern, Joseph Y.
2
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.
14
2006
Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003
Halpern, Joseph Y.; Pearl, Judea
50
2005
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
15
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
Probabilistic algorithmic knowledge. Zbl 1125.68116
Halpern, Joseph Y.; Pucella, Riccardo
2
2005
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Zbl 1264.68028
Halpern, Joseph Y.; Ricciardi, Aleta
2
2005
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
41
2004
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
26
2004
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
19
2004
Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014
Halpern, Joseph Y.; Shore, Richard A.
9
2004
Representation dependence in probabilistic inference. Zbl 1080.68686
Halpern, Joseph Y.; Koller, Daphne
5
2004
Great expectations. II: Generalized expected utility as a universal decision rule. Zbl 1086.91016
Chu, Francis C.; Halpern, Joseph Y.
4
2004
On spectrum sharing games. Zbl 1322.91014
Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li (Erran); Mirrokni, Vahab S.
2
2004
Reasoning about uncertainty. Zbl 1090.68105
Halpern, Joseph Y.
135
2003
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
23
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
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.
40
2001
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
32
2001
Multi-agent only knowing. Zbl 0984.03016
Halpern, Joseph Y.; Lakemeyer, Gerhard
13
2001
A characterization of eventual Byzantine agreement. Zbl 1017.68007
Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli
13
2001
Substantive rationality and backward induction. Zbl 1027.91011
Halpern, Joseph Y.
12
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
7
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.
16
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.
24
1999
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
23
1999
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
21
1999
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
12
1999
Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011
Halpern, Joseph Y.
9
1999
Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136
Friedman, Nir; Halpern, Joseph Y.
8
1999
Cox’s theorem revisited. Zbl 0940.60010
Halpern, Joseph Y.
7
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.
3
1999
Performing work efficiently in the presence of faults. Zbl 0907.68099
Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli
19
1998
On the knowledge requirements of tasks. Zbl 0903.68182
Brafman, Ronen I.; Halpern, Joseph Y.; Shoham, Yoav
2
1998
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
21
1997
On ambiguities in the interpretation of game trees. Zbl 0885.90146
Halpern, Joseph Y.
10
1997
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
10
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.
6
1997
Knowledge-based programs. Zbl 1448.68406
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
5
1997
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
12
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
...and 59 more Documents
all top 5

Cited by 2,454 Authors

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

Cited in 178 Serials

167 Artificial Intelligence
107 Theoretical Computer Science
96 Synthese
95 International Journal of Approximate Reasoning
69 Journal of Applied Non-Classical Logics
68 Games and Economic Behavior
67 Journal of Philosophical Logic
60 Studia Logica
58 Information and Computation
53 Journal of Applied Logic
46 Annals of Mathematics and Artificial Intelligence
40 Distributed Computing
37 Journal of Logic, Language and Information
29 Journal of Economic Theory
28 Annals of Pure and Applied Logic
28 The Review of Symbolic Logic
27 Mathematical Social Sciences
23 Journal of Computer and System Sciences
23 Theory and Decision
21 Journal of Automated Reasoning
18 Information Processing Letters
18 Fuzzy Sets and Systems
18 Information Sciences
18 Erkenntnis
16 Journal of Mathematical Economics
16 The Journal of Symbolic Logic
16 Formal Aspects of Computing
15 Formal Methods in System Design
15 Journal of Logical and Algebraic Methods in Programming
14 International Journal of Game Theory
14 Economic Theory
14 ACM Transactions on Computational Logic
13 Acta Informatica
10 The Bulletin of Symbolic Logic
10 International Game Theory Review
9 Theory and Practice of Logic Programming
8 Theory of Computing Systems
8 Soft Computing
8 The Journal of Logic and Algebraic Programming
8 Logical Methods in Computer Science
7 Notre Dame Journal of Formal Logic
7 Siberian Mathematical Journal
7 MSCS. Mathematical Structures in Computer Science
6 Lithuanian Mathematical Journal
6 Applied Mathematics and Computation
6 Annals of Operations Research
6 Machine Learning
6 Games
5 Discrete Applied Mathematics
5 Journal of Statistical Planning and Inference
5 Mathematical Systems Theory
5 Operations Research
5 Programming and Computer Software
5 Journal of Cryptology
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 Logic and Logical Philosophy
4 International Journal of General Systems
4 Kybernetika
4 Algorithmica
4 International Journal of Intelligent Systems
4 Archive for Mathematical Logic
4 The Journal of Artificial Intelligence Research (JAIR)
4 Frontiers of Computer Science
4 Journal of Siberian Federal University. Mathematics & Physics
3 Computer Methods in Applied Mechanics and Engineering
3 International Journal of Theoretical Physics
3 The Annals of Statistics
3 Journal of Mathematical Psychology
3 Journal of Parallel and Distributed Computing
3 Constraints
3 Sādhanā
3 Quantum Information Processing
3 Journal of Discrete Algorithms
3 Logica Universalis
2 Journal of Mathematical Analysis and Applications
2 Physica A
2 Algebra and Logic
2 Journal of Econometrics
2 Kybernetes
2 Bulletin of the Section of Logic
2 Insurance Mathematics & Economics
2 Social Choice and Welfare
2 Journal of Computer Science and Technology
2 New Generation Computing
2 Real-Time Systems
2 Economics Letters
2 Discrete Event Dynamic Systems
2 Applied Intelligence
2 Automation and Remote Control
2 Computational Statistics and Data Analysis
2 Mathematical Logic Quarterly (MLQ)
2 Journal of Combinatorial Optimization
2 Journal of the ACM
2 Journal of Multiple-Valued Logic and Soft Computing
2 Foundations of Physics
2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
2 Computer Science Review
...and 78 more Serials

Citations by Year

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