
Joseph Y. Halpern
Joe Halpern
Person information
- affiliation: Cornell University, Computer Science Department
- award (2009): Dijkstra Prize
- award (2008): ACM - AAAI Allen Newell Award
- award (1997): Gödel Prize
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j174]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [j173]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Bayesian games with intentions. Games Econ. Behav. 123: 54-67 (2020) - [j172]Joseph Y. Halpern:
A note on the existence of Ratifiable Acts. Rev. Symb. Log. 13(3): 503-508 (2020) - [c237]Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. KR 2020: 476-484 - [c236]Xinming Liu, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. UAI 2020: 1298-1307 - [i166]Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. CoRR abs/2005.10131 (2020) - [i165]Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus. CoRR abs/2005.10141 (2020) - [i164]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020) - [i163]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020) - [i162]Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. CoRR abs/2005.10381 (2020) - [i161]Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. CoRR abs/2005.10383 (2020) - [i160]Xinming Liu
, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits. CoRR abs/2006.16950 (2020) - [i159]Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. CoRR abs/2007.02823 (2020) - [i158]Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. CoRR abs/2012.10800 (2020)
2010 – 2019
- 2019
- [j171]Joseph Y. Halpern
:
The Book of Why, Judea Pearl. Basic Books (2018). Artif. Intell. 277 (2019) - [j170]Joseph Y. Halpern
, Rafael Pass, Lior Seeman:
The truth behind the myth of the Folk theorem. Games Econ. Behav. 117: 479-498 (2019) - [j169]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Distributed Protocols for Leader Election: A Game-Theoretic Perspective. ACM Trans. Economics and Comput. 7(1): 4:1-4:26 (2019) - [j168]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. ACM Trans. Economics and Comput. 7(2): 9:1-9:19 (2019) - [c235]Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. AAAI 2019: 525-532 - [c234]Sander Beckers, Joseph Y. Halpern:
Abstracting Causal Models. AAAI 2019: 2678-2685 - [c233]Joseph Y. Halpern, Evan Piermont:
Partial Awareness. AAAI 2019: 2851-2858 - [c232]Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. PODC 2019: 501-510 - [c231]Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. SAGT 2019: 139-152 - [c230]Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstractions. UAI 2019: 606-615 - [c229]Joseph Y. Halpern, Rafael Pass:
A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. TARK 2019: 221-232 - [i157]Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. CoRR abs/1903.04102 (2019) - [i156]Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. CoRR abs/1906.02069 (2019) - [i155]Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstraction. CoRR abs/1906.11583 (2019) - [i154]Joseph Y. Halpern:
The Book of Why: Review. CoRR abs/1909.13485 (2019) - 2018
- [j167]Joseph Y. Halpern
, Rafael Pass:
Game theory with translucent players. Int. J. Game Theory 47(3): 949-976 (2018) - [j166]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. 62: 433-458 (2018) - [c228]Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. AAAI 2018: 1853-1860 - [c227]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318 - [c226]Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. AAAI 2018: 6443-6450 - [c225]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI 2018: 5543-5547 - [c224]Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. KR 2018: 504-513 - [i153]Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. CoRR abs/1806.01214 (2018) - [i152]Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. CoRR abs/1810.05903 (2018) - [i151]Joseph Y. Halpern, Evan Piermont:
Partial Awareness. CoRR abs/1811.05751 (2018) - [i150]Sander Beckers, Joseph Y. Halpern:
Abstracting Causal Models. CoRR abs/1812.03789 (2018) - 2017
- [j165]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Reasoning about rationality. Games Econ. Behav. 104: 146-164 (2017) - [j164]Joseph Y. Halpern
, Yoram Moses:
Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory 46(2): 457-473 (2017) - [j163]Joseph Y. Halpern:
Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 46(2): 591-594 (2017) - [j162]Gadi Aleksandrowicz, Hana Chockler
, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58: 431-451 (2017) - [j161]Joseph Y. Halpern:
From qualitative to quantitative proofs of security properties using first-order conditional logic. J. Comput. Secur. 25(1): 1-19 (2017) - [c223]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311 - [c222]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099 - [c221]Adam Bjorndahl, Joseph Y. Halpern:
From Type Spaces to Probability Frames and Back, via Language. TARK 2017: 75-87 - [c220]Arpita Ghosh, Joseph Y. Halpern:
Games With Tolerant Players. TARK 2017: 251-264 - [c219]Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK 2017: 306-323 - [c218]Joseph Y. Halpern, Rafael Pass:
A Knowledge-Based Analysis of the Blockchain Protocol. TARK 2017: 324-335 - 2016
- [b3]Joseph Y. Halpern:
Actual Causality. MIT Press 2016, ISBN 978-0-262-03502-6, pp. 1-229 - [j160]Joseph Y. Halpern:
Appropriate Causal Models and the stability of Causation. Rev. Symb. Log. 9(1): 76-102 (2016) - [c217]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS 2016: 1399-1400 - [c216]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Games of Imperfect Recall. KR 2016: 278-287 - [c215]Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus: Extended Abstract. PODC 2016: 137-146 - [c214]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Computational Extensive-Form Games. EC 2016: 681-698 - [c213]Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. UAI 2016 - [i149]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016) - [i148]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR abs/1605.01236 (2016) - [i147]Joseph Y. Halpern, Lior Seeman:
A Comment on "The Ecological Rationality of State-Dependent Valuation". CoRR abs/1610.04046 (2016) - 2015
- [j159]Joseph Y. Halpern, Willemien Kets
:
Ambiguous language and common priors. Games Econ. Behav. 90: 171-180 (2015) - [j158]Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. J. Artif. Intell. Res. 54: 471-492 (2015) - [j157]Joseph Y. Halpern, Rafael Pass:
Algorithmic rationality: Game theory with costly computation. J. Econ. Theory 156: 246-268 (2015) - [j156]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
An Equilibrium Analysis of Scrip Systems. ACM Trans. Economics and Comput. 3(3): 13:1-13:32 (2015) - [c212]Tobias Gerstenberg, Joseph Y. Halpern, Joshua B. Tenenbaum:
Responsibility judgments in voting scenarios. CogSci 2015 - [c211]Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. ECSQARU 2015: 3-13 - [c210]Joseph Y. Halpern:
Language-based Games. ICAART (1) 2015: IS-7 - [c209]Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. IJCAI 2015: 3022-3033 - [c208]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Bayesian Games with Intentions. TARK 2015: 99-113 - [c207]Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. TARK 2015: 114-126 - [i146]Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. CoRR abs/1502.00152 (2015) - [i145]Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi:
An Introduction to Logics of Knowledge and Belief. CoRR abs/1503.00806 (2015) - [i144]Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. CoRR abs/1505.00162 (2015) - [i143]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Computational Extensive-Form Games. CoRR abs/1506.03030 (2015) - [i142]Joseph Y. Halpern:
Why Bother With Syntax? CoRR abs/1506.05282 (2015) - [i141]Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players. CoRR abs/1507.01501 (2015) - [i140]Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen:
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR abs/1511.07536 (2015) - 2014
- [j155]Joseph Y. Halpern, Willemien Kets
:
A logic for reasoning about ambiguity. Artif. Intell. 209: 1-10 (2014) - [j154]Joseph Y. Halpern, Willemien Kets
:
Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10]. Artif. Intell. 212: 158 (2014) - [j153]Alfredo Di Tillio, Joseph Y. Halpern, Dov Samet:
Conditional belief types. Games Econ. Behav. 87: 253-268 (2014) - [j152]Joseph Y. Halpern, Yoram Moses:
A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. 49: 143-170 (2014) - [j151]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 70: 10-22 (2014) - [j150]Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive games with possibly unaware players. Math. Soc. Sci. 70: 42-58 (2014) - [j149]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Decision Theory with Resource-Bounded Agents. Top. Cogn. Sci. 6(2): 245-257 (2014) - [c206]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. AAAI 2014: 974-980 - [c205]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The truth behind the myth of the folk theorem. ITCS 2014: 543-554 - [c204]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Axiomatizing Rationality. KR 2014 - [c203]Joseph Y. Halpern:
Appropriate Causal Models and Stability of Causation. KR 2014 - [c202]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players. WINE 2014: 249-262 - [i139]Joseph Y. Halpern, Willemien Kets:
A logic for reasoning about ambiguity. CoRR abs/1401.2011 (2014) - [i138]Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. CoRR abs/1401.3906 (2014) - [i137]Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR abs/1407.7180 (2014) - [i136]Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. CoRR abs/1407.7182 (2014) - [i135]Peter D. Grünwald, Joseph Y. Halpern:
Updating Probabilities. CoRR abs/1407.7183 (2014) - [i134]Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. CoRR abs/1407.7184 (2014) - [i133]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR abs/1407.7185 (2014) - [i132]Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. CoRR abs/1407.7188 (2014) - [i131]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/1407.7189 (2014) - [i130]Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/1407.7190 (2014) - [i129]Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. CoRR abs/1407.7191 (2014) - [i128]Joseph Y. Halpern:
Axiomatizing Causal Reasoning. CoRR abs/1408.1482 (2014) - [i127]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. CoRR abs/1408.1485 (2014) - [i126]Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. CoRR abs/1410.3363 (2014) - [i125]Joseph Y. Halpern:
Cause, Responsibility, and Blame: oA Structural-Model Approach. CoRR abs/1412.2985 (2014) - [i124]Joseph Y. Halpern, Rafael Pass:
Algorithmic Rationality: Game Theory with Costly Computation. CoRR abs/1412.2993 (2014) - [i123]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. CoRR abs/1412.3076 (2014) - [i122]Joseph Y. Halpern:
Appropriate Causal Models and the Stability of Causation. CoRR abs/1412.3518 (2014) - [i121]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. CoRR abs/1412.6361 (2014) - [i120]Nan Rong, Joseph Y. Halpern:
Cooperative Equilibrium: A solution predicting cooperative play. CoRR abs/1412.6722 (2014) - 2013
- [j148]Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. Cogn. Sci. 37(6): 986-1010 (2013) - [j147]Joseph Y. Halpern, Rafael Pass:
Conservative belief and rationality. Games Econ. Behav. 80: 186-192 (2013) - [j146]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 65(2): 73-84 (2013) - [j145]Joseph Y. Halpern:
From Causal Models to Counterfactual Structures. Rev. Symb. Log. 6(2): 305-322 (2013) - [c201]Nan Rong, Joseph Y. Halpern:
Towards a deeper understanding of cooperative equilibrium: characterization and complexity. AAMAS 2013: 319-326 - [c200]Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. ECSQARU 2013: 266-277 - [c199]Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. ICLA 2013: 1-4 - [c198]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. IJCAI 2013: 171-176 - [c197]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-Based Games. IJCAI 2013: 2967-2971 - [c196]Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. LICS 2013: 2-3 - [c195]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. TARK 2013 - [c194]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. TARK 2013 - [c193]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Distributed Protocols for Leader Election: A Game-Theoretic Perspective. DISC 2013: 61-75 - [i119]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes. CoRR abs/1301.2275 (2013) - [i118]Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. CoRR abs/1302.1526 (2013) - [i117]Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. CoRR abs/1302.1543 (2013) - [i116]Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and its Implications for Belief Change. CoRR abs/1302.3578 (2013) - [i115]Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. CoRR abs/1302.4947 (2013) - [i114]Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. CoRR abs/1302.5681 (2013) - [i113]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs From Old. CoRR abs/1302.6783 (2013) - [i112]Ronald Fagin, Joseph Y. Halpern:
A New Approach to Updating Beliefs. CoRR abs/1304.1119 (2013) - [i111]Joseph Y. Halpern:
The Relationship between Knowledge, Belief and Certainty. CoRR abs/1304.1508 (2013) - [i110]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1308.3778 (2013) - [i109]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Decision Theory with Resource-Bounded Agents. CoRR abs/1308.3780 (2013) - [i108]Joseph Y. Halpern, Christopher Hitchcock:
Graded Causation and Defaults. CoRR abs/1309.1226 (2013) - [i107]Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. CoRR abs/1309.1227 (2013) - [i106]Joseph Y. Halpern:
Weighted regret-based likelihood: a new approach to describing uncertainty. CoRR abs/1309.1228 (2013) - [i105]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. CoRR abs/1310.6408 (2013) - [i104]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1310.6438 (2013) - [i103]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The Truth Behind the Myth of the Folk Theorem. CoRR abs/1312.1017 (2013) - 2012
- [j144]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Distributed Comput. 25(5): 335-357 (2012) - [j143]Joseph Y. Halpern, Rafael Pass:
Iterated regret minimization: A new solution concept. Games Econ. Behav. 74(1): 184-207 (2012) - [j142]Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players. Int. J. Game Theory 41(1): 131-155 (2012) - [c192]