×

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

161 Publications have been cited 3,589 times in 2,198 Documents Cited by Year
Reasoning about knowledge. Zbl 0839.68095
Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y.
597
1995
“Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020
Emerson, E. Allen; Halpern, Joseph Y.
181
1986
Knowledge and common knowledge in a distributed environment. Zbl 0699.68115
Halpern, Joseph Y.; Moses, Yoram
170
1990
Belief, awareness, and limited reasoning. Zbl 0634.03013
Fagin, Ronald; Halpern, Joseph Y.
165
1988
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
148
1992
Reasoning about uncertainty. Zbl 1090.68105
Halpern, Joseph Y.
137
2003
A logic for reasoning about probabilities. Zbl 0811.03014
Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod
136
1990
Reasoning about knowledge and probability. Zbl 0806.68098
Fagin, Ronald; Halpern, Joseph Y.
90
1994
Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051
Emerson, E. Allen; Halpern, Joseph Y.
87
1985
A propositional modal logic of time intervals. Zbl 0799.68175
Halpern, Joseph Y.; Shoham, Yoav
83
1991
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
80
1990
Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003
Halpern, Joseph Y.; Pearl, Judea
55
2005
A new approach to updating beliefs. Zbl 0742.68067
Fagin, R.; Halpern, J. Y.
53
1991
The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015
Halpern, Joseph Y.; Vardi, Moshe Y.
48
1989
Alternative semantics for unawareness. Zbl 1001.03015
Halpern, Joseph Y.
48
2001
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
44
2004
Extensive games with possibly unaware players. Zbl 1294.91023
Halpern, Joseph Y.; Rêgo, Leandro C.
42
2014
Two views of belief: Belief as generalized probability and belief as evidence. Zbl 0762.68055
Halpern, Joseph Y.; Fagin, Ronald
41
1992
Interactive unawareness revisited. Zbl 1138.03312
Halpern, Joseph Y.; Rêgo, Leandro Chaves
39
2008
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
35
2001
Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005
Halpern, Joseph Y.
33
2010
Reasoning about knowledge of unawareness. Zbl 1189.03023
Halpern, Joseph Y.; Rêgo, Leandro C.
31
2009
What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
30
1992
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
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
28
2004
Knowledge, probability, and adversaries. Zbl 0783.68120
Halpern, Joseph Y.; Tuttle, Mark R.
28
1993
Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031
Rêgo, Leandro C.; Halpern, Joseph Y.
27
2012
Modelling knowledge and action in distributed systems. Zbl 0685.68076
Halpern, Joseph Y.; Fagin, Ronald
26
1989
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
25
1999
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
24
2003
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
24
1999
Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017
Halpern, Joseph Y.
22
1991
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
22
1999
A model-theoretic analysis of knowledge. Zbl 0799.68177
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.
22
1991
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
22
1997
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
21
2004
Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067
Halpern, Joseph Y.; Moses, Yoram
21
1985
Handbook of epistemic logic. Zbl 1392.03009
19
2015
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
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
19
2005
Performing work efficiently in the presence of faults. Zbl 0907.68099
Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli
19
1998
A logic to reason about likelihood. Zbl 0621.03011
Halpern, Joseph Y.; Rabin, Michael O.
18
1987
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.
18
2000
Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017
Abadi, Martín; Halpern, Joseph Y.
18
1994
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
17
2003
Random worlds and maximum entropy. Zbl 0900.68398
Grove, A. J.; Halpern, J. Y.; Koller, D.
17
1994
Uncertainty, belief, and probability. Zbl 0718.68066
Fagin, Ronald; Halpern, Joseph Y.
16
1989
On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029
Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond
16
1986
Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013
Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir
15
1982
The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035
Halpern, Joseph Y.; Reif, John H.
15
1983
Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267
Halpern, Joseph Y.; Pucella, Riccardo
15
2011
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
15
2009
Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121
Halpern, Joseph Y.; Vardi, Moshe Y.
14
1991
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
14
2012
A logic for reasoning about evidence. Zbl 1182.68244
Halpern, J. Y.; Pucella, R.
14
2006
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
13
1996
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.
13
2001
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
13
1999
Characterizing the common prior assumption. Zbl 1042.91062
Halpern, Joseph Y.
12
2002
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
12
2013
A new look at fault-tolerant network routing. Zbl 0638.68010
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond
12
1987
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
12
2016
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
11
1983
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
11
1997
Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009
Grove, Adam J.; Halpern, Joseph Y.
11
1993
Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
11
2008
Algorithmic rationality: game theory with costly computation. Zbl 1311.91090
Halpern, Joseph Y.; Pass, Rafael
10
2015
Reasoning about uncertainty. 2nd edition. Zbl 1368.68001
Halpern, Joseph Y.
10
2017
Effective axiomatizations of Hoare logics. Zbl 0627.68010
Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y.
10
1983
On ambiguities in the interpretation of game trees. Zbl 0885.90146
Halpern, Joseph Y.
10
1997
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
10
2012
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 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
Optimal precision in the presence of uncertainty. Zbl 0598.68033
Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A.
8
1985
Knowledge-based programs. Zbl 1374.68102
Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y.
8
1995
Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010
Fagin, Ronald; Halpern, Joseph Y.
8
1988
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
A computer scientist looks at game theory. Zbl 1124.91315
Halpern, Joseph Y.
8
2003
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
Dynamic fault-tolerant clock synchronization. Zbl 0886.68008
Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray
8
1995
The relationship between knowledge, belief, and certainty. Zbl 0865.03016
Halpern, Joseph Y.
8
1991
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
Cox’s theorem revisited. Zbl 0940.60010
Halpern, Joseph Y.
7
1999
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
Representation dependence in probabilistic inference. Zbl 1080.68686
Halpern, Joseph Y.; Koller, Daphne
7
2004
Actual causation and the art of modeling. Zbl 1269.03009
Halpern, Joseph Y.; Hitchcock, Christopher
7
2010
Asymptotic conditional probabilities: The unary case. Zbl 0848.03004
Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne
6
1996
An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
6
2008
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
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
Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
6
2013
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
Game theory with translucent players. Zbl 1417.91020
Halpern, Joseph Y.; Pass, Rafael
2
2018
Reasoning about uncertainty. 2nd edition. Zbl 1368.68001
Halpern, Joseph Y.
10
2017
The computational complexity of structure-based causality. Zbl 1408.68133
Aleksandrowicz, Gadi; Chockler, Hana; Halpern, Joseph Y.; Ivrii, Alexander
1
2017
Reasoning about rationality. Zbl 1393.91015
Bjorndahl, A.; Halpern, J. Y.; Pass, R.
1
2017
A knowledge-based analysis of the blockchain protocol. Zbl 1483.68024
Halpern, Joseph Y.; Pass, Rafael
1
2017
Actual causality. Zbl 1370.03004
Halpern, Joseph Y.
12
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
2
2016
Maxmin weighted expected utility: a simpler characterization. Zbl 1378.91088
Halpern, Joseph Y.; Leung, Samantha
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.
42
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
4
2014
Not just an empty threat: subgame-perfect equilibrium in repeated games played by computationally bounded players. Zbl 1404.91024
Halpern, Joseph Y.; Pass, Rafael; Seeman, Lior
1
2014
Reasoning about knowledge of unawareness revisited. Zbl 1278.03039
Halpern, Joseph Y.; Rêgo, Leandro C.
12
2013
Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
6
2013
From causal models to counterfactual structures. Zbl 1272.03021
Halpern, Joseph Y.
4
2013
Conservative belief and rationality. Zbl 1281.91032
Halpern, Joseph Y.; Pass, Rafael
2
2013
Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031
Rêgo, Leandro C.; Halpern, Joseph Y.
27
2012
Iterated regret minimization: a new solution concept. Zbl 1278.91039
Halpern, Joseph Y.; Pass, Rafael
14
2012
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017
Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y.
10
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.
33
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.
2
2010
Reasoning about knowledge of unawareness. Zbl 1189.03023
Halpern, Joseph Y.; Rêgo, Leandro C.
31
2009
Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030
Halpern, Joseph Y.; Samet, Dov; Segev, Ella
15
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
39
2008
Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
11
2008
An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047
Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y.
6
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
4
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
5
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
55
2005
Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005
Halpern, Joseph Y.; Pearl, Judea
19
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
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
Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127
Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y.
44
2004
Rational secret sharing and multiparty computation. Zbl 1192.94119
Halpern, Joseph; Teague, Vanessa
28
2004
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
21
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
7
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.
137
2003
Common knowledge revisited. Zbl 1060.03008
Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y.
24
2003
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
17
2003
A computer scientist looks at game theory. Zbl 1124.91315
Halpern, Joseph Y.
8
2003
LICS 2001 special issue. Zbl 1365.00062
2
2003
Characterizing the common prior assumption. Zbl 1042.91062
Halpern, Joseph Y.
12
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.
48
2001
Plausibility measures and default reasoning. Zbl 1127.68438
Friedman, Nir; Halpern, Joseph Y.
35
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.
13
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.
18
2000
First-order conditional logic for default reasoning revisited. Zbl 1365.68404
Friedman, Nir; Halpern, Joseph Y.; Koller, Daphne
3
2000
Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192
Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J.
25
1999
The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556
Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y.
24
1999
Belief revision: A critique. Zbl 0949.03017
Friedman, Nir; Halpern, Joseph Y.
22
1999
A counterexample to theorems of Cox and Fine. Zbl 0922.60009
Halpern, Joseph Y.
13
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.
4
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.
22
1997
Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146
Friedman, Nir; Halpern, Joseph Y.
11
1997
On ambiguities in the interpretation of game trees. Zbl 0885.90146
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.
6
1997
Should knowledge entail belief? Zbl 0866.03015
Halpern, Joseph Y.
13
1996
...and 61 more Documents
all top 5

Cited by 2,547 Authors

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

Cited in 181 Serials

170 Artificial Intelligence
108 Theoretical Computer Science
98 International Journal of Approximate Reasoning
96 Synthese
70 Journal of Applied Non-Classical Logics
69 Games and Economic Behavior
68 Journal of Philosophical Logic
61 Studia Logica
58 Information and Computation
53 Journal of Applied Logic
46 Annals of Mathematics and Artificial Intelligence
42 Distributed Computing
39 Journal of Logic, Language and Information
31 Annals of Pure and Applied Logic
30 Journal of Economic Theory
29 Mathematical Social Sciences
29 The Review of Symbolic Logic
23 Journal of Computer and System Sciences
23 Theory and Decision
22 Journal of Automated Reasoning
18 Information Processing Letters
18 Fuzzy Sets and Systems
18 Information Sciences
18 Erkenntnis
17 Journal of Mathematical Economics
16 The Journal of Symbolic Logic
16 Formal Aspects of Computing
16 Journal of Logical and Algebraic Methods in Programming
15 Formal Methods in System Design
14 International Journal of Game Theory
14 Economic Theory
14 ACM Transactions on Computational Logic
13 Acta Informatica
11 The B. E. Journal of Theoretical Economics
10 The Bulletin of Symbolic Logic
10 International Game Theory Review
9 Theory and Practice of Logic Programming
8 Notre Dame Journal of Formal Logic
8 Siberian Mathematical Journal
8 Theory of Computing Systems
8 Soft Computing
8 The Journal of Logic and Algebraic Programming
8 Logical Methods in Computer Science
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 Quantum Information Processing
4 Logica Universalis
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 Discrete Event Dynamic Systems
3 Constraints
3 Sādhanā
3 Journal of Discrete Algorithms
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 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 Fundamenta Informaticae
2 Journal of Multiple-Valued Logic and Soft Computing
2 Foundations of Physics
...and 81 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.