Edit Profile (opens in new tab) Halpern, Joseph Yehuda Co-Author Distance 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: 211 Publications since 1981, including 4 Books 12 Contributions as Editor Co-Authors: 118 Co-Authors with 180 Joint Publications 3,428 Co-Co-Authors all top 5 Co-Authors 42 single-authored 21 Fagin, Ronald 16 Vardi, Moshe Ya’akov 14 Moses, Yoram 14 Pass, Rafael 13 Dechter, Rina 13 Geffner, Hector 9 Dolev, Danny 8 Pucella, Riccardo 7 Grove, Adam J. 6 Koller, Daphne 6 Rêgo, Leandro Chaves 5 Chockler, Hana 5 Friedman, Nir 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 Bacchus, Fahiem 2 Ben-Ari, Mordechai 2 Bickford, Mark 2 Blume, Lawrence E. 2 Constable, Robert Lee 2 Dwork, Cynthia 2 Easley, David A. 2 Emerson, Ernest Allen 2 Friedman, Eric J. 2 Geffner, Ivan 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 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 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 Soloviev, Matvey 1 Strong, Ray 1 Suzuki, Ichiro 1 Teague, Vanessa Joy ...and 18 more Co-Authors all top 5 Serials 18 Artificial Intelligence 18 The Journal of Artificial Intelligence Research (JAIR) 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 Journal of the ACM 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 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 ACM Books 1 Electronic Proceedings in Theoretical Computer Science (EPTCS) all top 5 Fields 161 Computer science (68-XX) 90 Mathematical logic and foundations (03-XX) 54 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 12 General and overarching topics; collections (00-XX) 11 Probability theory and stochastic processes (60-XX) 7 Statistics (62-XX) 7 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 172 Publications have been cited 3,983 times in 2,431 Documents Cited by ▼ Year ▼ Reasoning about knowledge. Zbl 0839.68095Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 638 1995 “Sometimes” and “not never” revisited: On branching versus linear time temporal logic. Zbl 0629.68020Emerson, E. Allen; Halpern, Joseph Y. 198 1986 Knowledge and common knowledge in a distributed environment. Zbl 0699.68115Halpern, Joseph Y.; Moses, Yoram 187 1990 Belief, awareness, and limited reasoning. Zbl 0634.03013Fagin, Ronald; Halpern, Joseph Y. 182 1988 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 159 1992 Reasoning about uncertainty. Zbl 1090.68105Halpern, Joseph Y. 152 2003 A logic for reasoning about probabilities. Zbl 0811.03014Fagin, Ronald; Halpern, Joseph Y.; Megiddo, Nimrod 148 1990 Reasoning about knowledge and probability. Zbl 0806.68098Fagin, Ronald; Halpern, Joseph Y. 100 1994 Decision procedures and expressiveness in the temporal logic of branching time. Zbl 0559.68051Emerson, E. Allen; Halpern, Joseph Y. 98 1985 A propositional modal logic of time intervals. Zbl 0799.68175Halpern, Joseph Y.; Shoham, Yoav 92 1991 An analysis of first-order logics of probability. Zbl 0723.03007Halpern, Joseph Y. 90 1990 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 63 2005 A new approach to updating beliefs. Zbl 0742.68067Fagin, R.; Halpern, J. Y. 61 1991 The complexity of reasoning about knowledge and time. I: Lower bounds. Zbl 0672.03015Halpern, Joseph Y.; Vardi, Moshe Y. 55 1989 Alternative semantics for unawareness. Zbl 1001.03015Halpern, Joseph Y. 52 2001 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 48 2004 Two views of belief: Belief as generalized probability and belief as evidence. Zbl 0762.68055Halpern, Joseph Y.; Fagin, Ronald 47 1992 Extensive games with possibly unaware players. Zbl 1294.91023Halpern, Joseph Y.; Rêgo, Leandro C. 46 2014 Interactive unawareness revisited. Zbl 1138.03312Halpern, Joseph Y.; Rêgo, Leandro Chaves 41 2008 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, Nir; Halpern, Joseph Y. 37 2001 Lexicographic probability, conditional probability, and nonstandard probability. Zbl 1208.60005Halpern, Joseph Y. 36 2010 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 35 2004 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. 35 1995 Reasoning about knowledge of unawareness. Zbl 1189.03023Halpern, Joseph Y.; Rêgo, Leandro C. 34 2009 What can machines know? On the properties of knowledge in distributed systems. Zbl 0799.68179Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 31 1992 Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J. 30 1999 Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031Rêgo, Leandro C.; Halpern, Joseph Y. 28 2012 Knowledge, probability, and adversaries. Zbl 0783.68120Halpern, Joseph Y.; Tuttle, Mark R. 28 1993 Modelling knowledge and action in distributed systems. Zbl 0685.68076Halpern, Joseph Y.; Fagin, Ronald 27 1989 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 26 2005 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 25 2003 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 25 2004 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 25 1999 Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010Halpern, Joseph Y. 24 1997 Presburger arithmetic with unary predicates is \(\Pi{}^ 1_ 1\) complete. Zbl 0738.03017Halpern, Joseph Y. 23 1991 A model-theoretic analysis of knowledge. Zbl 0799.68177Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 23 1991 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 23 1999 Axiomatizing causal reasoning. Zbl 0943.68016Halpern, J. Y. 22 2000 Handbook of epistemic logic. Zbl 1392.03009 22 2015 Towards a theory of knowledge and ignorance: preliminary report. Zbl 0581.68067Halpern, Joseph Y.; Moses, Yoram 21 1985 Uncertainty, belief, and probability. Zbl 0718.68066Fagin, Ronald; Halpern, Joseph Y. 21 1989 From statistical knowledge bases to degrees of belief. Zbl 1506.68146Bacchus, Fahiem; Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 20 1996 Random worlds and maximum entropy. Zbl 0900.68398Grove, A. J.; Halpern, J. Y.; Koller, D. 19 1994 The propositional dynamic logic of deterministic, well-structured programs. Zbl 0552.68035Halpern, Joseph Y.; Reif, John H. 19 1983 Decidability and expressiveness for first-order logics of probability. Zbl 0799.03017Abadi, Martín; Halpern, Joseph Y. 19 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. 19 1992 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 19 1998 On the possibility and impossibility of achieving clock synchronization. Zbl 0595.68029Dolev, Danny; Halpern, Joseph Y.; Strong, H. Raymond 18 1986 A logic to reason about likelihood. Zbl 0621.03011Halpern, Joseph Y.; Rabin, Michael O. 18 1987 A nonstandard approach to the logical omniscience problem. Zbl 1014.03513Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 18 1995 Updating probabilities. Zbl 1076.68579Grunwald, P. D.; Halpern, J. Y. 17 2003 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 17 2009 Deterministic propositional dynamic logic: finite models, complexity, and completeness. Zbl 0512.03013Ben-Ari, Mordechai; Halpern, Joseph Y.; Pnueli, Amir 16 1982 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 16 2012 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 16 2001 Dealing with logical omniscience: expressiveness and pragmatics. Zbl 1216.68267Halpern, Joseph Y.; Pucella, Riccardo 15 2011 A logic for reasoning about evidence. Zbl 1182.68244Halpern, J. Y.; Pucella, R. 15 2006 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 15 2001 Model checking vs. Theorem proving: A manifesto. Zbl 0755.68121Halpern, Joseph Y.; Vardi, Moshe Y. 14 1991 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 14 2016 Should knowledge entail belief? Zbl 0866.03015Halpern, Joseph Y. 13 1996 Modeling belief in dynamic systems. I: Foundations. Zbl 0894.68146Friedman, Nir; Halpern, Joseph Y. 13 1997 A new look at fault-tolerant network routing. Zbl 0638.68010Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, H. Raymond 13 1987 Naming and identity in epistemic logics. I: The propositional case. Zbl 0808.03009Grove, Adam J.; Halpern, Joseph Y. 13 1993 Reasoning about uncertainty. 2nd edition. Zbl 1368.68001Halpern, Joseph Y. 13 2017 Knowledge-based programs. Zbl 1448.68406Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 13 1997 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 13 2001 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 13 1999 Reasoning about knowledge of unawareness revisited. Zbl 1278.03039Halpern, Joseph Y.; Rêgo, Leandro C. 12 2013 A hardware semantics based on temporal intervals. Zbl 0534.68025Halpern, Joseph; Manna, Zohar; Moszkowski, Ben 12 1983 Cheating husbands and other stories: A case study of knowledge, action, and communication. Zbl 0609.68072Moses, Yoram; Dolev, Danny; Halpern, Joseph Y. 12 1986 Characterizing the common prior assumption. Zbl 1042.91062Halpern, Joseph Y. 12 2002 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 11 2012 Effective axiomatizations of Hoare logics. Zbl 0627.68010Clarke, Edmund M. jun.; German, Steven M.; Halpern, Joseph Y. 11 1983 Algorithmic rationality: game theory with costly computation. Zbl 1311.91090Halpern, Joseph Y.; Pass, Rafael 11 2015 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 11 2004 Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 11 2008 Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136Friedman, Nir; Halpern, Joseph Y. 11 1999 What is an inference rule? Zbl 0761.03010Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. 10 1992 The relationship between knowledge, belief, and certainty. Zbl 0865.03016Halpern, Joseph Y. 10 1991 On ambiguities in the interpretation of game trees. Zbl 0885.90146Halpern, Joseph Y. 10 1997 Dynamic fault-tolerant clock synchronization. Zbl 0886.68008Dolev, Danny; Halpern, Joseph Y.; Simons, Barbara; Strong, Ray 10 1995 Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009Meyer, Albert R.; Halpern, Joseph Y. 10 1982 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 10 2001 Actual causation and the art of modeling. Zbl 1269.03009Halpern, Joseph Y.; Hitchcock, Christopher 9 2010 On the expected value of games with absentmindedness. Zbl 0885.90145Grove, Adam J.; Halpern, Joseph Y. 9 1997 Optimal precision in the presence of uncertainty. Zbl 0598.68033Halpern, Joseph Y.; Megiddo, Nimrod; Munshi, Ashfaq A. 9 1985 An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 9 2008 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 9 1999 Model checking vs. theorem proving: A manifesto. Zbl 0765.68189Halpern, Joseph Y.; Vardi, Moshe Y. 8 1991 Representation dependence in probabilistic inference. Zbl 1080.68686Halpern, Joseph Y.; Koller, Daphne 8 2004 Reasoning about knowledge and probability: Preliminary report. Zbl 0699.03010Fagin, Ronald; Halpern, Joseph Y. 8 1988 Asymptotic conditional probabilities: The unary case. Zbl 0848.03004Grove, Adam J.; Halpern, Joseph Y.; Koller, Daphne 8 1996 A computer scientist looks at game theory. Zbl 1124.91315Halpern, Joseph Y. 8 2003 What causes a system to satisfy a specification? Zbl 1367.68185Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna 8 2008 Knowledge-based programs. Zbl 1374.68102Fagin, Ronald; Moses, Yoram; Halpern, Joseph Y.; Vardi, Moshe Y. 8 1995 Message-optimal protocols for Byzantine agreement. Zbl 0766.68007Hadzilacos, Vassos; Halpern, Joseph Y. 7 1993 From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R. 7 1984 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008Halpern, Joseph Y. 7 2008 Cox’s theorem revisited. Zbl 0940.60010Halpern, Joseph Y. 7 1999 Constructive decision theory. Zbl 1471.91092Blume, Lawrence; Easley, David; Halpern, Joseph Y. 1 2021 Combining experts’ causal judgments. Zbl 1504.68186Alrajeh, Dalal; Chockler, Hana; Halpern, Joseph Y. 1 2020 The truth behind the myth of the folk theorem. Zbl 1425.91055Halpern, Joseph Y.; Pass, Rafael; Seeman, Lior 1 2019 Implementing mediators with asynchronous cheap talk. Zbl 07298715Abraham, Ittai; Dolev, Danny; Geffner, Ivan; Halpern, Joseph Y. 1 2019 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. 13 2017 Reasoning about rationality. Zbl 1393.91015Bjorndahl, A.; Halpern, J. Y.; Pass, R. 1 2017 The computational complexity of structure-based causality. Zbl 1408.68133Aleksandrowicz, Gadi; Chockler, Hana; Halpern, Joseph Y.; Ivrii, Alexander 1 2017 From type spaces to probability frames and back, via language. Zbl 1483.68370Bjorndahl, Adam; Halpern, Joseph Y. 1 2017 A knowledge-based analysis of the blockchain protocol. Zbl 1483.68024Halpern, Joseph Y.; Pass, Rafael 1 2017 Actual causality. Zbl 1370.03004Halpern, Joseph Y. 14 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 2 2016 Substantive rationality and backward induction. Zbl 1386.03031Halpern, Joseph Y. 1 2016 Bayesian games with intentions. Zbl 1484.91068Bjorndahl, Adam; Halpern, Joseph Y.; Pass, Rafael 1 2016 Minimizing regret in dynamic decision problems. Zbl 1378.91065Halpern, Joseph Y.; Leung, Samantha 1 2016 Maxmin weighted expected utility: a simpler characterization. Zbl 1378.91088Halpern, Joseph Y.; Leung, Samantha 1 2016 Handbook of epistemic logic. Zbl 1392.03009 22 2015 Algorithmic rationality: game theory with costly computation. Zbl 1311.91090Halpern, Joseph Y.; Pass, Rafael 11 2015 Graded causation and defaults. Zbl 1432.03015Halpern, Joseph Y.; Hitchcock, Christopher 7 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. 46 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 4 2014 Not just an empty threat: subgame-perfect equilibrium in repeated games played by computationally bounded players. Zbl 1404.91024Halpern, Joseph Y.; Pass, Rafael; Seeman, Lior 1 2014 Reasoning about knowledge of unawareness revisited. Zbl 1278.03039Halpern, Joseph Y.; Rêgo, Leandro C. 12 2013 Distributed protocols for leader election: a game-theoretic perspective. Zbl 1321.68055Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 6 2013 From causal models to counterfactual structures. Zbl 1272.03021Halpern, Joseph Y. 5 2013 Conservative belief and rationality. Zbl 1281.91032Halpern, Joseph Y.; Pass, Rafael 2 2013 Generalized solution concepts in games with possibly unaware players. Zbl 1247.91031Rêgo, Leandro C.; Halpern, Joseph Y. 28 2012 Iterated regret minimization: a new solution concept. Zbl 1278.91039Halpern, Joseph Y.; Pass, Rafael 16 2012 Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Zbl 1256.68017Kash, Ian A.; Friedman, Eric J.; Halpern, Joseph Y. 11 2012 No justified complaints: on fair sharing of multiple resources. Zbl 1348.91197Dolev, Danny; Feitelson, Dror G.; Halpern, Joseph Y.; Kupferman, Raz; Linial, Nathan 7 2012 Modeling adversaries in a logic for security protocol analysis. Zbl 1238.94029Halpern, Joseph Y.; Pucella, Riccardo 4 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. 5 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. 36 2010 Actual causation and the art of modeling. Zbl 1269.03009Halpern, Joseph Y.; Hitchcock, Christopher 9 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. 2 2010 Reasoning about knowledge of unawareness. Zbl 1189.03023Halpern, Joseph Y.; Rêgo, Leandro C. 34 2009 Defining knowledge in terms of belief: the modal logic perspective. Zbl 1186.03030Halpern, Joseph Y.; Samet, Dov; Segev, Ella 17 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. 3 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 41 2008 Lower bounds on implementing robust and resilient mediators. Zbl 1162.94332Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 11 2008 An almost-surely terminating polynomial protocol for asynchronous Byzantine agreement with optimal resilience. Zbl 1301.68047Abraham, Ittai; Dolev, Danny; Halpern, Joseph Y. 9 2008 What causes a system to satisfy a specification? Zbl 1367.68185Chockler, Hana; Halpern, Joseph Y.; Kupferman, Orna 8 2008 Beyond Nash equilibrium: solution concepts for the 21st century. Zbl 1301.91008Halpern, Joseph Y. 7 2008 Intransitivity and vagueness. Zbl 1198.03011Halpern, Joseph Y. 5 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 5 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. 15 2006 Causes and explanations: a structural-model approach. I: Causes. Zbl 1092.03003Halpern, Joseph Y.; Pearl, Judea 63 2005 Causes and explanations: a structural-model approach. II: Explanations. Zbl 1096.03005Halpern, Joseph Y.; Pearl, Judea 26 2005 Knowledge-based synthesis of distributed systems using event structures. Zbl 1108.68491Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina 2 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 Complete axiomatizations for reasoning about knowledge and time. Zbl 1059.68127Halpern, Joseph Y.; van der Meyden, Ron; Vardi, Moshe Y. 48 2004 Rational secret sharing and multiparty computation. Zbl 1192.94119Halpern, Joseph; Teague, Vanessa 35 2004 Responsibility and blame: a structural-model approach. Zbl 1080.68680Chockler, Hana; Halpern, Joseph Y. 25 2004 Reasoning about common knowledge with infinitely many agents. Zbl 1078.03014Halpern, Joseph Y.; Shore, Richard A. 11 2004 Representation dependence in probabilistic inference. Zbl 1080.68686Halpern, Joseph Y.; Koller, Daphne 8 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. 152 2003 Common knowledge revisited. Zbl 1060.03008Fagin, R.; Halpern, J. Y.; Moses, Y.; Vardi, M. Y. 25 2003 Updating probabilities. Zbl 1076.68579Grunwald, P. D.; Halpern, J. Y. 17 2003 A computer scientist looks at game theory. Zbl 1124.91315Halpern, Joseph Y. 8 2003 LICS 2001 special issue. Zbl 1365.00062 2 2003 Characterizing the common prior assumption. Zbl 1042.91062Halpern, Joseph Y. 12 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. 52 2001 Plausibility measures and default reasoning. Zbl 1127.68438Friedman, Nir; Halpern, Joseph Y. 37 2001 Multi-agent only knowing. Zbl 0984.03016Halpern, Joseph Y.; Lakemeyer, Gerhard 16 2001 Substantive rationality and backward induction. Zbl 1027.91011Halpern, Joseph Y. 15 2001 A characterization of eventual Byzantine agreement. Zbl 1017.68007Halpern, Joseph Y.; Moses, Yoram; Waarts, Orli 13 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 10 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 7 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. 22 2000 First-order conditional logic for default reasoning revisited. Zbl 1365.68404Friedman, Nir; Halpern, Joseph Y.; Koller, Daphne 3 2000 Reasoning about noisy sensors and effectors in the situation calculus. Zbl 0996.68192Bacchus, Fahiem; Halpern, Joseph Y.; Levesque, Hector J. 30 1999 The hierarchical approach to modeling knowledge and common knowledge. Zbl 1061.68556Fagin, Ronald; Geanakoplos, John; Halpern, Joseph Y.; Vardi, Moshe Y. 25 1999 Belief revision: A critique. Zbl 0949.03017Friedman, Nir; Halpern, Joseph Y. 23 1999 A counterexample to theorems of Cox and Fine. Zbl 0922.60009Halpern, Joseph Y. 13 1999 Modeling belief in dynamic systems. II: Revision and update. Zbl 0915.68136Friedman, Nir; Halpern, Joseph Y. 11 1999 Hypothetical knowledge and counterfactual reasoning. Zbl 0952.91011Halpern, Joseph Y. 9 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. 6 1999 Common knowledge revisited. Zbl 0923.03008Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe Y. 5 1999 Performing work efficiently in the presence of faults. Zbl 0907.68099Dwork, Cynthia; Halpern, Joseph Y.; Waarts, Orli 19 1998 ...and 72 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,777 Authors 68 Halpern, Joseph Yehuda 44 van Ditmarsch, Hans Pieter 33 Montanari, Angelo 26 Ognjanović, Zoran 26 van der Hoek, Wiebe 24 Sciavicco, Guido 23 Bozzelli, Laura 23 Moses, Yoram 22 Vardi, Moshe Ya’akov 21 Dubois, Didier 21 Wooldridge, Michael J. 19 Lorini, Emiliano 19 Sala, Pietro 19 van Benthem, Johan F. A. K. 18 Ågotnes, Thomas 18 Vantaggi, Barbara 18 Wang, Yanjing 17 Dixon, Clare 17 Murano, Aniello 16 Balbiani, Philippe 16 Pacuit, Eric 16 Peron, Adriano 15 Coletti, Giulianella 15 Goranko, Valentin F. 15 Rybakov, Vladimir Vladimirovich 14 Baltag, Alexandru 14 Bresolin, Davide 14 Godo, Lluís 14 Prade, Henri M. 14 Smets, Sonja J. L. 13 Bonanno, Giacomo 13 Lukasiewicz, Thomas 13 Perović, Aleksandar 13 Schipper, Burkhard C. 12 Demri, Stéphane P. 12 Doder, Dragan 12 Herzig, Andreas 12 Levesque, Hector J. 12 Schwarzmann, Alexander A. 12 Velázquez-Quesada, Fernando Raymundo 11 Della Monica, Dario 11 Fagin, Ronald 11 Flaminio, Tommaso 11 Heifetz, Aviad 11 Kooi, Barteld Pieter 11 Lomuscio, Alessio 11 Molinari, Alberto 11 Naumov, Pavel G. 11 Petturiti, Davide 11 Rašković, Miodrag D. 11 Schwarzentruber, François 10 Hustadt, Ullrich 10 Kowalski, Dariusz R. 10 Lange, Martin 10 Pinchinat, Sophie 10 Samet, Dov 10 Tao, Jia 9 Artemov, Sergei 9 Belardinelli, Francesco 9 Belle, Vaishak 9 Benevides, Mario R. F. 9 Gagliardi Cozman, Fabio 9 Kupferman, Orna 9 Reynolds, Mark Alexander 9 Shenoy, Prakash P. 8 Eiter, Thomas 8 French, Tim 8 Guelev, Dimitar P. 8 Ikodinović, Nebojša 8 Kern-Isberner, Gabriele 8 Lakemeyer, Gerhard 8 Meier, Martin 8 Mogavero, Fabio 8 Parikh, Rohit 8 Pass, Rafael 8 Quiggin, John 8 Studer, Thomas 7 Banerjee, Mohua 7 Baral, Chitta R. 7 Bolotov, Alexander 7 Cozman, Fabio G. 7 Galanis, Spyros 7 Giunchiglia, Fausto 7 Grant, Simon 7 Holliday, Wesley H. 7 Hoshi, Tomohiro 7 Hosni, Hykel 7 Koutras, Costas D. 7 Kraus, Sarit 7 Landes, Jürgen 7 Miranda, Enrique 7 Perelli, Giuseppe 7 Sack, Joshua 7 Schmid, Ulrich 7 Sedlár, Igor 7 Shoham, Yoav 7 Smolka, Gert 7 Speranski, Stanislav O. 7 Subrahmanian, V. S. 7 Tsakas, Elias ...and 2,677 more Authors all top 5 Cited in 189 Serials 192 Artificial Intelligence 112 Theoretical Computer Science 106 International Journal of Approximate Reasoning 102 Synthese 73 Journal of Philosophical Logic 72 Games and Economic Behavior 72 Journal of Applied Non-Classical Logics 63 Studia Logica 63 Information and Computation 54 Journal of Applied Logic 48 Annals of Mathematics and Artificial Intelligence 43 Journal of Logic, Language and Information 42 Distributed Computing 32 Journal of Economic Theory 32 Annals of Pure and Applied Logic 30 The Review of Symbolic Logic 29 Mathematical Social Sciences 24 Journal of Computer and System Sciences 23 Theory and Decision 23 Journal of Automated Reasoning 20 Fuzzy Sets and Systems 20 Information Sciences 19 Journal of Mathematical Economics 18 Information Processing Letters 18 Erkenntnis 18 Journal of Logical and Algebraic Methods in Programming 17 The Journal of Symbolic Logic 17 ACM Transactions on Computational Logic 16 International Journal of Game Theory 16 Formal Aspects of Computing 15 Formal Methods in System Design 15 Economic Theory 13 Acta Informatica 12 The B. E. Journal of Theoretical Economics 11 The Bulletin of Symbolic Logic 11 International Game Theory Review 10 Logical Methods in Computer Science 9 Theory of Computing Systems 9 Theory and Practice of Logic Programming 8 Notre Dame Journal of Formal Logic 8 Siberian Mathematical Journal 8 Soft Computing 8 The Journal of Logic and Algebraic Programming 7 MSCS. Mathematical Structures in Computer Science 7 Quantum Information Processing 7 Games 6 Lithuanian Mathematical Journal 6 Applied Mathematics and Computation 6 Annals of Operations Research 6 Machine Learning 6 International Journal of Foundations of Computer Science 6 Logica Universalis 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 Discrete Event Dynamic Systems 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 Social Choice and Welfare 4 Algorithmica 4 International Journal of Intelligent Systems 4 Archive for Mathematical Logic 4 Frontiers of Computer Science 4 Logicheskie Issledovaniya 3 Computer Methods in Applied Mechanics and Engineering 3 International Journal of Theoretical Physics 3 Algebra and Logic 3 The Annals of Statistics 3 Journal of Mathematical Psychology 3 Journal of Parallel and Distributed Computing 3 Mathematical Logic Quarterly (MLQ) 3 The Journal of Artificial Intelligence Research (JAIR) 3 Constraints 3 Journal of Combinatorial Optimization 3 Sādhanā 3 Journal of Discrete Algorithms 3 Journal of Siberian Federal University. Mathematics & Physics 2 Journal of Mathematical Analysis and Applications 2 Physica A 2 Journal of Econometrics 2 Kybernetes 2 Bulletin of the Section of Logic 2 Insurance Mathematics & Economics 2 Journal of Computer Science and Technology 2 New Generation Computing 2 AI Communications 2 Real-Time Systems 2 Economics Letters 2 Applied Intelligence 2 Automation and Remote Control 2 Computational Statistics and Data Analysis 2 Journal of the ACM 2 CEJOR. Central European Journal of Operations Research ...and 89 more Serials all top 5 Cited in 35 Fields 1,453 Computer science (68-XX) 1,348 Mathematical logic and foundations (03-XX) 444 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 77 Information and communication theory, circuits (94-XX) 69 Probability theory and stochastic processes (60-XX) 67 Statistics (62-XX) 45 Operations research, mathematical programming (90-XX) 35 Combinatorics (05-XX) 26 Quantum theory (81-XX) 22 General and overarching topics; collections (00-XX) 22 Order, lattices, ordered algebraic structures (06-XX) 18 Systems theory; control (93-XX) 12 Measure and integration (28-XX) 11 History and biography (01-XX) 5 Relativity and gravitational theory (83-XX) 5 Biology and other natural sciences (92-XX) 4 Numerical analysis (65-XX) 3 Group theory and generalizations (20-XX) 3 Algebraic topology (55-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Partial differential equations (35-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of deformable solids (74-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Difference and functional equations (39-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of particles and systems (70-XX) 1 Geophysics (86-XX) 1 Mathematics education (97-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.