default search action
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
- 2024
- [j180]Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. J. Econ. Theory 221: 105890 (2024) - [j179]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024) - [i191]Joseph Y. Halpern, Evan Piermont:
Subjective Causality. CoRR abs/2401.10937 (2024) - [i190]Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024) - [i189]Joseph Y. Halpern:
Mathematical Explanations. CoRR abs/2402.09413 (2024) - [i188]David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum:
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR abs/2405.06624 (2024) - [i187]Sainyam Galhotra, Joseph Y. Halpern:
Intervention and Conditioning in Causal Bayesian Networks. CoRR abs/2405.14728 (2024) - [i186]Yoav Kolumbus, Joe Halpern, Éva Tardos:
Paying to Do Better: Games with Payments between Learning Agents. CoRR abs/2405.20880 (2024) - [i185]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
A Knowledge-Based Analysis of Intersection Protocols. CoRR abs/2408.09499 (2024) - 2023
- [j178]Ivan Geffner, Joseph Y. Halpern:
Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents. J. ACM 70(2): 13:1-13:21 (2023) - [c255]Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. AAMAS 2023: 2478-2480 - [c254]Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CLeaR 2023: 866-879 - [c253]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023 - [c252]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
Quantifying Harm. IJCAI 2023: 363-371 - [c251]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC 2023: 244-252 - [c250]Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel:
In Defense of Liquid Democracy. EC 2023: 852 - [c249]Joseph Y. Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. EC 2023: 853-884 - [c248]Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for probabilistic dependency graphs. UAI 2023: 1741-1751 - [c247]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. DISC 2023: 1:1-1:22 - [c246]Adam Bjorndahl, Joseph Y. Halpern:
Sequential Language-based Decisions. TARK 2023: 131-141 - [c245]Meir Friedenberg, Joseph Y. Halpern:
Joint Behavior and Common Belief. TARK 2023: 221-232 - [i184]Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CoRR abs/2301.06845 (2023) - [i183]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR abs/2305.06271 (2023) - [i182]Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. CoRR abs/2307.13778 (2023) - [i181]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. CoRR abs/2308.11379 (2023) - [i180]Joe Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. CoRR abs/2309.13244 (2023) - [i179]Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. CoRR abs/2309.14618 (2023) - [i178]Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for Probabilistic Dependency Graphs. CoRR abs/2311.05580 (2023) - [i177]Ivan Geffner, Joseph Y. Halpern:
Bounding the Communication Complexity of Fault-Tolerant Common Coin Tossing. CoRR abs/2312.14775 (2023) - 2022
- [j177]Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. J. ACM 69(3): 20:1-20:37 (2022) - [c244]Hana Chockler, Joseph Y. Halpern:
On Testing for Discrimination Using Causal Models. AAAI 2022: 5548-5555 - [c243]Joseph Y. Halpern, Spencer Peters:
Reasoning about Causal Models with Infinitely Many Variables. AAAI 2022: 5668-5675 - [c242]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. NeurIPS 2022 - [e6]Hector Geffner, Rina Dechter, Joseph Y. Halpern:
Probabilistic and Causal Inference: The Works of Judea Pearl. ACM Books 36, ACM 2022, ISBN 978-1-4503-9586-1 [contents] - [i176]Valerio Capraro, Joseph Y. Halpern, Matjaz Perc:
From Outcome-Based to Language-Based Preferences. CoRR abs/2206.07300 (2022) - [i175]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Quantitative Account of Harm. CoRR abs/2209.15111 (2022) - [i174]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. CoRR abs/2210.05327 (2022) - [i173]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. IACR Cryptol. ePrint Arch. 2022: 308 (2022) - 2021
- [j176]Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive decision theory. J. Econ. Theory 196: 105306 (2021) - [j175]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Games of Imperfect Recall. ACM Trans. Economics and Comput. 9(4): 22:1-22:26 (2021) - [c241]Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. AAAI 2021: 12174-12181 - [c240]Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. SSS 2021: 123-140 - [c239]Joseph Y. Halpern:
Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). Tokenomics 2021: 1:1-1:2 - [c238]Adam Bjorndahl, Joseph Y. Halpern:
Language-based Decisions. TARK 2021: 55-67 - [e5]Joseph Y. Halpern, Andrés Perea:
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. EPTCS 335, 2021 [contents] - [i172]Matvey Soloviev, Joseph Y. Halpern:
Security Properties as Nested Causal Statements. CoRR abs/2104.00872 (2021) - [i171]Ivan Geffner, Joseph Y. Halpern:
Lower Bounds Implementing Mediators in Asynchronous Systems. CoRR abs/2104.02759 (2021) - [i170]Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel:
In Defense of Fluid Democracy. CoRR abs/2107.11868 (2021) - [i169]Spencer Peters, Joseph Y. Halpern:
Causal Modeling With Infinitely Many Variables. CoRR abs/2112.09171 (2021) - [i168]Joseph Y. Halpern, Spencer Peters:
Reasoning About Causal Models With Infinitely Many Variables. CoRR abs/2112.11362 (2021) - [i167]Joseph Y. Halpern, Arnon Lotem:
The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior. CoRR abs/2112.13388 (2021) - 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,