Edit Profile Halpern, Joseph Yehuda Compute Distance To: Compute Author ID: halpern.joseph-y 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 all top 5 Serials 18 The Journal of Artificial Intelligence Research (JAIR) 15 Artificial Intelligence 15 Games and Economic Behavior 12 Journal of the Association for Computing Machinery 11 Distributed Computing 8 International Journal of Game Theory 7 The Review of Symbolic Logic 6 Information and Computation 5 Journal of Computer and System Sciences 4 The British Journal for the Philosophy of Science 4 SIAM Journal on Computing 4 Theory and Decision 4 Journal of Logic and Computation 4 ACM Transactions on Computational Logic 3 Journal of Philosophical Logic 3 The Journal of Symbolic Logic 3 Mathematical Systems Theory 3 Mathematical Social Sciences 3 Journal of the ACM 3 Logical Methods in Computer Science 2 Journal of Economic Theory 2 Annals of Pure and Applied Logic 2 Annals of Mathematics and Artificial Intelligence 1 Information and Control 1 Synthese 1 Theoretical Computer Science 1 Journal of Complexity 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Tributes all top 5 Fields 141 Computer science (68-XX) 87 Mathematical logic and foundations (03-XX) 49 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Probability theory and stochastic processes (60-XX) 7 Statistics (62-XX) 6 Information and communication theory, circuits (94-XX) 4 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 2 Combinatorics (05-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications 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.68095Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 546 1995 Knowledge and common knowledge in a distributed environment. Zbl 0699.68115Halpern, Joseph Y.; Moses, Yoram 152 1990 “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020Emerson, E. Allen; Halpern, Joseph Y. 146 1986 Belief, awareness, and limited reasoning. Zbl 0634.03013Fagin, Ronald; Halpern, Joseph Y. 137 1988 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 132 1992 Reasoning about uncertainty. Zbl 1090.68105Halpern, Joseph Y. 130 2003 A logic for reasoning about probabilities. Zbl 0811.03014Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 112 1990 Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051Emerson, E. Allen; Halpern, Joseph Y. 76 1985 Reasoning about knowledge and probability. Zbl 0806.68098Fagin, Ronald; Halpern, Joseph Y. 75 1994 A propositional modal logic of time intervals. Zbl 0799.68175Halpern, Joseph Y.; Shoham, Yoav 70 1991 An analysis of first-order logics of probability. Zbl 0723.03007Halpern, Joseph Y. 70 1990 A new approach to updating beliefs. Zbl 0742.68067Fagin, R.; Halpern, J. Y. 52 1991 The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015Halpern, Joseph Y.; Vardi, Moshe Y. 42 1989 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 41 2005 Two views of belief: Belief as generalized probability and belief as evidence. Zbl 0762.68055Halpern, Joseph Y.; Fagin, Ronald 40 1992 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 36 2004 Alternative semantics for unawareness. Zbl 1001.03015Halpern, Joseph Y. 36 2001 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, Nir; Halpern, Joseph Y. 33 2001 Uncertainty, belief, and probability. Zbl 0718.68066Fagin, Ronald; Halpern, Joseph Y. 33 1989 Extensive games with possibly unaware players. Zbl 1294.91023Halpern, Joseph Y.; Rêgo, Leandro C. 31 2014 Interactive unawareness revisited. Zbl 1138.03312Halpern, 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.03508Halpern, Joseph Y. 28 1995 What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 27 1992 Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J. 26 1999 Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005Halpern, Joseph Y. 24 2010 Reasoning about knowledge of unawareness. Zbl 1189.03023Halpern, Joseph Y.; Rêgo, Leandro C. 24 2009 Modelling knowledge and action in distributed systems. Zbl 0685.68076Halpern, Joseph Y.; Fagin, Ronald 24 1989 Knowledge, probability, and adversaries. Zbl 0783.68120Halpern, Joseph Y.; Tuttle, Mark R. 23 1993 Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067Halpern, Joseph Y.; Moses, Yoram 23 1985 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 22 2003 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 21 2004 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 21 1999 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 20 1999 A model-theoretic analysis of knowledge. Zbl 0799.68177Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 20 1991 Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017Halpern, Joseph Y. 20 1991 Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031Rêgo, Leandro C.; Halpern, Joseph Y. 19 2012 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 18 1998 A nonstandard approach to the logical omniscience problem. Zbl 1014.03513Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 18 1995 A logic to reason about likelihood. Zbl 0621.03011Halpern, Joseph Y.; Rabin, Michael O. 18 1987 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 17 2004 Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010Halpern, Joseph Y. 17 1997 Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017Abadi, 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.68024Halpern, Joseph Y.; Zuck, Lenore D. 17 1992 On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond 17 1986 Updating probabilities. Zbl 1076.68579Grunwald, P. D.; Halpern, J. Y. 16 2003 A new look at fault-tolerant network routing. Zbl 0638.68010Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond 16 1987 Random worlds and maximum entropy. Zbl 0900.68398Grove, A. J.; Halpern, J. Y.; Koller, D. 15 1994 Axiomatizing causal reasoning. Zbl 0943.68016Halpern, J. Y. 14 2000 Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121Halpern, Joseph Y.; Vardi, Moshe Y. 14 1991 The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035Halpern, Joseph Y.; Reif, John H. 14 1983 Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267Halpern, Joseph Y.; Pucella, Riccardo 13 2011 Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir 13 1982 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 12 2012 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 12 2005 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 12 2001 Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010Fagin, Ronald; Halpern, Joseph Y. 12 1988 A hardware semantics based on temporal intervals. Zbl 0534.68025Halpern, Joseph; Manna, Zohar; Moszkowski, Ben 12 1983 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 11 2009 Characterizing the common prior assumption. Zbl 1042.91062Halpern, Joseph Y. 11 2002 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 11 2001 On ambiguities in the interpretation of game trees. Zbl 0885.90146Halpern, Joseph Y. 11 1997 Should knowledge entail belief? Zbl 0866.03015Halpern, Joseph Y. 11 1996 Effective axiomatizations of Hoare logics. Zbl 0627.68010Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y. 11 1983 Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 10 2008 A logic for reasoning about evidence. Zbl 1182.68244Halpern, J. Y.; Pucella, R. 10 2006 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 10 1999 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 10 1999 Dynamic fault-tolerant clock synchronization. Zbl 0886.68008Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray 10 1995 Optimal precision in the presence of uncertainty. Zbl 0598.68033Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A. 10 1985 Handbook of epistemic logic. Zbl 1392.03009van 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.03039Halpern, Joseph Y.; Rêgo, Leandro C. 9 2013 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 9 2012 Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146Friedman, Nir; Halpern, Joseph Y. 9 1997 Knowledge-based programs. Zbl 1374.68102Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. 9 1995 What is an inference rule? Zbl 0761.03010Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 9 1992 Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009Meyer, Albert R.; Halpern, Joseph Y. 9 1982 Reasoning about uncertainty. 2nd edition. Zbl 1368.68001Halpern, Joseph Y. 8 2017 Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. Zbl 1333.68147Li, Li; Halpern, Joseph Y.; Bahl, Paramvir; Wang, Yi-Min; Wattenhofer, Rogert 8 2001 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 8 2001 On the expected value of games with absentmindedness. Zbl 0885.90145Grove, Adam J.; Halpern, Joseph Y. 8 1997 Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009Grove, Adam J.; Halpern, Joseph Y. 8 1993 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 8 1986 From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R. 8 1984 Algorithmic rationality: game theory with costly computation. Zbl 1311.91090Halpern, Joseph Y.; Pass, Rafael 7 2015 Actual causation and the art of modeling. Zbl 1269.03009Halpern, Joseph Y.; Hitchcock, Christopher 7 2010 A computer scientist looks at game theory. Zbl 1124.91315Halpern, Joseph Y. 7 2003 Cox’s theorem revisited. Zbl 0940.60010Halpern, Joseph Y. 7 1999 The relationship between knowledge, belief, and certainty. Zbl 0865.03016Halpern, Joseph Y. 7 1991 Graded causation and defaults. Zbl 1432.03015Halpern, Joseph Y.; Hitchcock, Christopher 6 2015 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008Halpern, Joseph Y. 6 2008 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 6 2004 On the unusual effectiveness of logic in computer science. Zbl 0979.03033Halpern, 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.68136Friedman, Nir; Halpern, Joseph Y. 6 1999 Asymptotic conditional probabilities: The unary case. Zbl 0848.03004Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 6 1996 Message-optimal protocols for Byzantine agreement. Zbl 0766.68007Hadzilacos, Vassos; Halpern, Joseph Y. 6 1993 Model checking vs. theorem proving: A manifesto. Zbl 0765.68189Halpern, Joseph Y.; Vardi, Moshe Y. 6 1991 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 5 2016 Conditional belief types. Zbl 1302.91030Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov 5 2014 No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197Dolev, 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.68386Grunwald, Peter D.; Halpern, Joseph Y. 5 2011 Game theory with translucent players. Zbl 1417.91020Halpern, Joseph Y.; Pass, Rafael 2 2018 Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Zbl 1448.68437Alechina, Natasha; Halpern, Joseph Y.; Kash, Ian A.; Logan, Brian 1 2018 Reasoning about uncertainty. 2nd edition. Zbl 1368.68001Halpern, Joseph Y. 8 2017 Reasoning about rationality. Zbl 1393.91015Bjorndahl, A.; Halpern, J. Y.; Pass, R. 1 2017 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 5 2016 Appropriate causal models and the stability of causation. Zbl 1383.03026Halpern, Joseph Y. 3 2016 Rational consensus (extended abstract). Zbl 1373.68100Halpern, Joseph Y.; Vilaça, Xavier 1 2016 Substantive rationality and backward induction. Zbl 1386.03031Halpern, Joseph Y. 1 2016 Handbook of epistemic logic. Zbl 1392.03009van 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.91090Halpern, Joseph Y.; Pass, Rafael 7 2015 Graded causation and defaults. Zbl 1432.03015Halpern, Joseph Y.; Hitchcock, Christopher 6 2015 Ambiguous language and common priors. Zbl 1318.91137Halpern, 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.91064Halpern, Joseph Y.; Leung, Samantha 1 2015 Extensive games with possibly unaware players. Zbl 1294.91023Halpern, Joseph Y.; Rêgo, Leandro C. 31 2014 Conditional belief types. Zbl 1302.91030Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov 5 2014 A logic for reasoning about ambiguity. Zbl 1334.68207Halpern, Joseph Y.; Kets, Willemien 1 2014 Reasoning about knowledge of unawareness revisited. Zbl 1278.03039Halpern, Joseph Y.; Rêgo, Leandro C. 9 2013 Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 3 2013 Conservative belief and rationality. Zbl 1281.91032Halpern, Joseph Y.; Pass, Rafael 2 2013 From causal models to counterfactual structures. Zbl 1272.03021Halpern, Joseph Y. 2 2013 Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031Rêgo, Leandro C.; Halpern, Joseph Y. 19 2012 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 12 2012 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 9 2012 No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan 5 2012 Modeling adversaries in a logic for security protocol analysis. Zbl 1238.94029Halpern, Joseph Y.; Pucella, Riccardo 3 2012 Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267Halpern, Joseph Y.; Pucella, Riccardo 13 2011 Making decisions using sets of probabilities: updating, time consistency, and calibration. Zbl 1234.68386Grunwald, Peter D.; Halpern, Joseph Y. 5 2011 Multiagent learning in large anonymous games. Zbl 1216.68304Kash, I. A.; Friedman, E. J.; Halpern, J. Y. 4 2011 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1349.91078Halpern, Joseph Y. 1 2011 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1229.91073Halpern, Joseph Y. 1 2011 Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005Halpern, Joseph Y. 24 2010 Actual causation and the art of modeling. Zbl 1269.03009Halpern, Joseph Y.; Hitchcock, Christopher 7 2010 Erratum for “What causes a system to satisfy a specification?”. Zbl 1370.68197Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna 3 2010 On spectrum sharing games. Zbl 1267.91007Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li Erran; Mirrokni, Vahab S. 1 2010 Reasoning about knowledge of unawareness. Zbl 1189.03023Halpern, Joseph Y.; Rêgo, Leandro C. 24 2009 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 11 2009 Redoing the foundations of decision theory. Zbl 1419.03016Blume, Lawrence E.; Easley, David A.; Halpern, Joseph Y. 2 2009 A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Zbl 1211.91017Halpern, Joseph Y. 2 2009 On definability in multimodal logic. Zbl 1190.03020Halpern, Joseph Y.; Samet, Dov; Segev, Ella 1 2009 Interactive unawareness revisited. Zbl 1138.03312Halpern, Joseph Y.; Rêgo, Leandro Chaves 28 2008 Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 10 2008 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008Halpern, Joseph Y. 6 2008 Intransitivity and vagueness. Zbl 1198.03011Halpern, Joseph Y. 5 2008 What causes a system to satisfy a specification? Zbl 1367.68185Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna 3 2008 An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 3 2008 Great expectations. I: On the customizability of generalized expected utility. Zbl 1133.91359Chu, Francis C.; Halpern, Joseph Y. 1 2008 Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic. Zbl 1126.03024Halpern, Joseph Y.; Chaves Rêgo, Leandros 4 2007 Characterizing and reasoning about probabilistic and non-probabilistic expectation. Zbl 1292.68140Halpern, Joseph Y.; Pucella, Riccardo 1 2007 A logic for reasoning about evidence. Zbl 1182.68244Halpern, J. Y.; Pucella, R. 10 2006 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 41 2005 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 12 2005 A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Zbl 1264.68028Halpern, Joseph Y.; Ricciardi, Aleta 2 2005 Probabilistic algorithmic knowledge. Zbl 1125.68116Halpern, Joseph Y.; Pucella, Riccardo 2 2005 Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina 2 2005 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 36 2004 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 21 2004 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 17 2004 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 6 2004 Representation dependence in probabilistic inference. Zbl 1080.68686Halpern, Joseph Y.; Koller, Daphne 4 2004 Great expectations. II: Generalized expected utility as a universal decision rule. Zbl 1086.91016Chu, Francis C.; Halpern, Joseph Y. 3 2004 On spectrum sharing games. Zbl 1322.91014Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li (Erran); Mirrokni, Vahab S. 1 2004 Reasoning about uncertainty. Zbl 1090.68105Halpern, Joseph Y. 130 2003 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 22 2003 Updating probabilities. Zbl 1076.68579Grunwald, P. D.; Halpern, J. Y. 16 2003 A computer scientist looks at game theory. Zbl 1124.91315Halpern, Joseph Y. 7 2003 LICS 2001 special issue. Zbl 1365.00062Grädel, Erich (ed.); Halpern, Joseph Y. (ed.); Jaghadeesan, Radha (ed.); Piperno, Adolfo (ed.) 2 2003 Characterizing the common prior assumption. Zbl 1042.91062Halpern, Joseph Y. 11 2002 A logic for reasoning about upper probabilities. Zbl 1029.68134Halpern, J. Y.; Pucella, R. 5 2002 Alternative semantics for unawareness. Zbl 1001.03015Halpern, Joseph Y. 36 2001 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, Nir; Halpern, Joseph Y. 33 2001 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 12 2001 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 11 2001 Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. Zbl 1333.68147Li, Li; Halpern, Joseph Y.; Bahl, Paramvir; Wang, Yi-Min; Wattenhofer, Rogert 8 2001 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 8 2001 On the unusual effectiveness of logic in computer science. Zbl 0979.03033Halpern, 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.91004Chu, Francis; Halpern, Joseph 5 2001 Conditional plausibility measures and Bayesian networks. Zbl 0976.60003Halpern, J. Y. 2 2001 Axiomatizing causal reasoning. Zbl 0943.68016Halpern, J. Y. 14 2000 First-order conditional logic for default reasoning revisited. Zbl 1365.68404Friedman, Nir; Halpern, Joseph Y.; Koller, Daphne 2 2000 Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J. 26 1999 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 21 1999 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 20 1999 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 10 1999 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 10 1999 Cox’s theorem revisited. Zbl 0940.60010Halpern, Joseph Y. 7 1999 Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136Friedman, Nir; Halpern, Joseph Y. 6 1999 Set-theoretic completeness for epistemic and conditional logic. Zbl 0942.03019Halpern, Joseph Y. 5 1999 Common knowledge revisited. Zbl 0923.03008Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 1 1999 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 18 1998 On the knowledge requirements of tasks. Zbl 0903.68182Brafman, Ronen I.; Halpern, Joseph Y.; Shoham, Yoav 1 1998 Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010Halpern, Joseph Y. 17 1997 On ambiguities in the interpretation of game trees. Zbl 0885.90146Halpern, Joseph Y. 11 1997 Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146Friedman, Nir; Halpern, Joseph Y. 9 1997 On the expected value of games with absentmindedness. Zbl 0885.90145Grove, Adam J.; Halpern, Joseph Y. 8 1997 A theory of knowledge and ignorance for many agents. Zbl 0881.03014Halpern, Joseph Y. 5 1997 Should knowledge entail belief? Zbl 0866.03015Halpern, Joseph Y. 11 1996 Asymptotic conditional probabilities: The unary case. Zbl 0848.03004Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 6 1996 Asymptotic conditional probabilities: The non-unary case. Zbl 0847.03018Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 4 1996 Reasoning about knowledge. Zbl 0839.68095Fagin, 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.03508Halpern, Joseph Y. 28 1995 ...and 58 more Documents all cited Publications top 5 cited Publications 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 all top 5 Cited in 32 Fields 1,175 Computer science (68-XX) 1,070 Mathematical logic and foundations (03-XX) 361 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 57 Probability theory and stochastic processes (60-XX) 54 Statistics (62-XX) 52 Information and communication theory, circuits (94-XX) 39 Operations research, mathematical programming (90-XX) 32 Combinatorics (05-XX) 22 General and overarching topics; collections (00-XX) 17 Quantum theory (81-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 13 Systems theory; control (93-XX) 12 Measure and integration (28-XX) 10 History and biography (01-XX) 4 Numerical analysis (65-XX) 4 Relativity and gravitational theory (83-XX) 3 Real functions (26-XX) 3 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mathematics education (97-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Geophysics (86-XX) 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.