Edit Profile (opens in new tab) Halpern, Joseph Yehuda Compute Distance To: Compute Author ID: halpern.joseph-y Published as: Halpern, Joseph Y.; Halpern, J. Y.; Halpern, Joseph more...less Homepage: http://www.cs.cornell.edu/home/halpern/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 203 Publications since 1981, including 5 Books 5 Contributions as Editor Co-Authors: 117 Co-Authors with 165 Joint Publications 3,245 Co-Co-Authors 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 all top 5 Serials 18 The Journal of Artificial Intelligence Research (JAIR) 16 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 Economic Theory 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 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 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 146 Computer science (68-XX) 89 Mathematical logic and foundations (03-XX) 54 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 General and overarching topics; collections (00-XX) 6 Information and communication theory, circuits (94-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 159 Publications have been cited 3,377 times in 2,125 Documents Cited by ▼ Year ▼ Reasoning about knowledge. Zbl 0839.68095Fagin, 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.68020Emerson, E. Allen; Halpern, Joseph Y. 169 1986 Knowledge and common knowledge in a distributed environment. Zbl 0699.68115Halpern, Joseph Y.; Moses, Yoram 162 1990 Belief, awareness, and limited reasoning. Zbl 0634.03013Fagin, Ronald; Halpern, Joseph Y. 152 1988 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 142 1992 Reasoning about uncertainty. Zbl 1090.68105Halpern, Joseph Y. 135 2003 A logic for reasoning about probabilities. Zbl 0811.03014Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 128 1990 Reasoning about knowledge and probability. Zbl 0806.68098Fagin, Ronald; Halpern, Joseph Y. 86 1994 Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051Emerson, E. Allen; Halpern, Joseph Y. 83 1985 A propositional modal logic of time intervals. Zbl 0799.68175Halpern, Joseph Y.; Shoham, Yoav 78 1991 An analysis of first-order logics of probability. Zbl 0723.03007Halpern, Joseph Y. 76 1990 A new approach to updating beliefs. Zbl 0742.68067Fagin, R.; Halpern, J. Y. 51 1991 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 50 2005 The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015Halpern, Joseph Y.; Vardi, Moshe Y. 44 1989 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, 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.68055Halpern, Joseph Y.; Fagin, Ronald 40 1992 Alternative semantics for unawareness. Zbl 1001.03015Halpern, Joseph Y. 40 2001 Extensive games with possibly unaware players. Zbl 1294.91023Halpern, Joseph Y.; Rêgo, Leandro C. 32 2014 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, 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.03508Halpern, Joseph Y. 30 1995 Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005Halpern, Joseph Y. 29 2010 Interactive unawareness revisited. Zbl 1138.03312Halpern, Joseph Y.; Rêgo, Leandro Chaves 29 2008 What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 28 1992 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 26 2004 Knowledge, probability, and adversaries. Zbl 0783.68120Halpern, Joseph Y.; Tuttle, Mark R. 25 1993 Reasoning about knowledge of unawareness. Zbl 1189.03023Halpern, Joseph Y.; Rêgo, Leandro C. 25 2009 Modelling knowledge and action in distributed systems. Zbl 0685.68076Halpern, Joseph Y.; Fagin, Ronald 25 1989 Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J. 24 1999 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 23 1999 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 23 2003 Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031Rêgo, Leandro C.; Halpern, Joseph Y. 22 2012 Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067Halpern, Joseph Y.; Moses, Yoram 21 1985 Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017Halpern, Joseph Y. 21 1991 A model-theoretic analysis of knowledge. Zbl 0799.68177Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 21 1991 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 21 1999 Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010Halpern, Joseph Y. 21 1997 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. 19 1992 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 19 1998 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 19 2004 Handbook of epistemic logic. Zbl 1392.03009 19 2015 A logic to reason about likelihood. Zbl 0621.03011Halpern, Joseph Y.; Rabin, Michael O. 18 1987 Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017Abadi, Martín; Halpern, Joseph Y. 18 1994 A nonstandard approach to the logical omniscience problem. Zbl 1014.03513Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 18 1995 Axiomatizing causal reasoning. Zbl 0943.68016Halpern, J. Y. 16 2000 Random worlds and maximum entropy. Zbl 0900.68398Grove, A. J.; Halpern, J. Y.; Koller, D. 16 1994 Updating probabilities. Zbl 1076.68579Grunwald, P. D.; Halpern, J. Y. 16 2003 On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond 15 1986 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 15 2005 Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267Halpern, Joseph Y.; Pucella, Riccardo 15 2011 Uncertainty, belief, and probability. Zbl 0718.68066Fagin, Ronald; Halpern, Joseph Y. 15 1989 A logic for reasoning about evidence. Zbl 1182.68244Halpern, J. Y.; Pucella, R. 14 2006 Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir 14 1982 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 14 2009 Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121Halpern, Joseph Y.; Vardi, Moshe Y. 13 1991 The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035Halpern, Joseph Y.; Reif, John H. 13 1983 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 13 2001 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 13 2012 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 13 2001 A new look at fault-tolerant network routing. Zbl 0638.68010Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond 12 1987 Should knowledge entail belief? Zbl 0866.03015Halpern, Joseph Y. 12 1996 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 12 2001 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 12 1999 Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009Grove, Adam J.; Halpern, Joseph Y. 11 1993 Characterizing the common prior assumption. Zbl 1042.91062Halpern, Joseph Y. 11 2002 Reasoning about knowledge of unawareness revisited. Zbl 1278.03039Halpern, Joseph Y.; Rêgo, Leandro C. 11 2013 Effective axiomatizations of Hoare logics. Zbl 0627.68010Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y. 10 1983 Algorithmic rationality: game theory with costly computation. Zbl 1311.91090Halpern, Joseph Y.; Pass, Rafael 10 2015 On ambiguities in the interpretation of game trees. Zbl 0885.90146Halpern, Joseph Y. 10 1997 Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146Friedman, Nir; Halpern, Joseph Y. 10 1997 Reasoning about uncertainty. 2nd edition. Zbl 1368.68001Halpern, Joseph Y. 10 2017 A hardware semantics based on temporal intervals. Zbl 0534.68025Halpern, Joseph; Manna, Zohar; Moszkowski, Ben 10 1983 Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 10 2008 What is an inference rule? Zbl 0761.03010Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 9 1992 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 9 2016 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 9 2004 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 9 1999 Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009Meyer, Albert R.; Halpern, Joseph Y. 9 1982 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 9 2012 The relationship between knowledge, belief, and certainty. Zbl 0865.03016Halpern, Joseph Y. 8 1991 Optimal precision in the presence of uncertainty. Zbl 0598.68033Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A. 8 1985 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 8 1986 Knowledge-based programs. Zbl 1374.68102Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. 8 1995 Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136Friedman, Nir; Halpern, Joseph Y. 8 1999 On the expected value of games with absentmindedness. Zbl 0885.90145Grove, Adam J.; Halpern, Joseph Y. 8 1997 Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010Fagin, Ronald; Halpern, Joseph Y. 8 1988 Actual causation and the art of modeling. Zbl 1269.03009Halpern, Joseph Y.; Hitchcock, Christopher 7 2010 Model checking vs. theorem proving: A manifesto. Zbl 0765.68189Halpern, Joseph Y.; Vardi, Moshe Y. 7 1991 Message-optimal protocols for Byzantine agreement. Zbl 0766.68007Hadzilacos, Vassos; Halpern, Joseph Y. 7 1993 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 7 2001 Cox’s theorem revisited. Zbl 0940.60010Halpern, Joseph Y. 7 1999 A computer scientist looks at game theory. Zbl 1124.91315Halpern, Joseph Y. 7 2003 Asymptotic conditional probabilities: The unary case. Zbl 0848.03004Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 6 1996 A theory of knowledge and ignorance for many agents. Zbl 0881.03014Halpern, Joseph Y. 6 1997 From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R. 6 1984 No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan 6 2012 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008Halpern, Joseph Y. 6 2008 Graded causation and defaults. Zbl 1432.03015Halpern, Joseph Y.; Hitchcock, Christopher 6 2015 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 Dynamic fault-tolerant clock synchronization. Zbl 0886.68008Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray 6 1995 Conditional belief types. Zbl 1302.91030Di Tillio, Alfredo; Halpern, Joseph Y.; Samet, Dov 5 2014 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. 10 2017 A knowledge-based analysis of the blockchain protocol. Zbl 1483.68024Halpern, Joseph Y.; Pass, Rafael 1 2017 Reasoning about rationality. Zbl 1393.91015Bjorndahl, A.; Halpern, J. Y.; Pass, R. 1 2017 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 9 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.03009 19 2015 Algorithmic rationality: game theory with costly computation. Zbl 1311.91090Halpern, Joseph Y.; Pass, Rafael 10 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. 32 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 3 2014 Reasoning about knowledge of unawareness revisited. Zbl 1278.03039Halpern, Joseph Y.; Rêgo, Leandro C. 11 2013 Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 4 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. 22 2012 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 13 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 6 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 15 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 1229.91073Halpern, Joseph Y. 1 2011 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1349.91078Halpern, Joseph Y. 1 2011 Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005Halpern, Joseph Y. 29 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 2 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. 25 2009 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 14 2009 A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Zbl 1211.91017Halpern, Joseph Y. 4 2009 Redoing the foundations of decision theory. Zbl 1419.03016Blume, Lawrence E.; Easley, David A.; Halpern, 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 29 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 An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 4 2008 What causes a system to satisfy a specification? Zbl 1367.68185Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna 3 2008 Great expectations. I: On the customizability of generalized expected utility. Zbl 1133.91359Chu, Francis C.; Halpern, Joseph Y. 2 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. 14 2006 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 50 2005 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 15 2005 Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina 2 2005 Probabilistic algorithmic knowledge. Zbl 1125.68116Halpern, Joseph Y.; Pucella, Riccardo 2 2005 A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Zbl 1264.68028Halpern, Joseph Y.; Ricciardi, Aleta 2 2005 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 41 2004 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 26 2004 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 19 2004 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 9 2004 Representation dependence in probabilistic inference. Zbl 1080.68686Halpern, Joseph Y.; Koller, Daphne 5 2004 Great expectations. II: Generalized expected utility as a universal decision rule. Zbl 1086.91016Chu, Francis C.; Halpern, Joseph Y. 4 2004 On spectrum sharing games. Zbl 1322.91014Halldórsson, Magnús M.; Halpern, Joseph Y.; Li, Li (Erran); Mirrokni, Vahab S. 2 2004 Reasoning about uncertainty. Zbl 1090.68105Halpern, Joseph Y. 135 2003 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 23 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.00062 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. 40 2001 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, Nir; Halpern, Joseph Y. 32 2001 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 13 2001 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 13 2001 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 12 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 7 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. 16 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. 24 1999 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 23 1999 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 21 1999 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 12 1999 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 9 1999 Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136Friedman, Nir; Halpern, Joseph Y. 8 1999 Cox’s theorem revisited. Zbl 0940.60010Halpern, Joseph Y. 7 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. 3 1999 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 19 1998 On the knowledge requirements of tasks. Zbl 0903.68182Brafman, Ronen I.; Halpern, Joseph Y.; Shoham, Yoav 2 1998 Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010Halpern, Joseph Y. 21 1997 On ambiguities in the interpretation of game trees. Zbl 0885.90146Halpern, Joseph Y. 10 1997 Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146Friedman, Nir; Halpern, Joseph Y. 10 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. 6 1997 Knowledge-based programs. Zbl 1448.68406Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 5 1997 Should knowledge entail belief? Zbl 0866.03015Halpern, Joseph Y. 12 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 ...and 59 more Documents all cited Publications top 5 cited Publications 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 all top 5 Cited in 32 Fields 1,264 Computer science (68-XX) 1,176 Mathematical logic and foundations (03-XX) 390 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 58 Probability theory and stochastic processes (60-XX) 58 Statistics (62-XX) 58 Information and communication theory, circuits (94-XX) 40 Operations research, mathematical programming (90-XX) 31 Combinatorics (05-XX) 21 General and overarching topics; collections (00-XX) 20 Quantum theory (81-XX) 17 Order, lattices, ordered algebraic structures (06-XX) 13 Measure and integration (28-XX) 12 Systems theory; control (93-XX) 10 History and biography (01-XX) 5 Numerical analysis (65-XX) 4 Relativity and gravitational theory (83-XX) 4 Biology and other natural sciences (92-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Real functions (26-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Statistical mechanics, structure of matter (82-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 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.