Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoseph 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
- 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 - [i183]Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CoRR abs/2301.06845 (2023) - [i182]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR abs/2305.06271 (2023) - [i181]Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. CoRR abs/2307.13778 (2023) - [i180]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. CoRR abs/2308.11379 (2023) - [i179]Joe Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. CoRR abs/2309.13244 (2023) - [i178]Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. CoRR abs/2309.14618 (2023) - [i177]Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for Probabilistic Dependency Graphs. CoRR abs/2311.05580 (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, 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]