Joseph Y. Halpern

research

∙ 08/22/2023

Colordag: An Incentive-Compatible Blockchain

We present Colordag, a blockchain protocol where following the prescribe...

0 Ittai Abraham, et al. ∙

research

∙ 07/25/2023

Strategic Play By Resource-Bounded Agents in Security Games

Many studies have shown that humans are "predictably irrational": they d...

0 Xinming Liu, et al. ∙

research

∙ 07/11/2023

Sequential Language-based Decisions

In earlier work, we introduced the framework of language-based decisions...

0 Adam Bjorndahl, et al. ∙

research

∙ 05/10/2023

Optimal Eventual Byzantine Agreement Protocols with Omission Failures

Work on optimal protocols for Eventual Byzantine Agreement (EBA) – proto...

0 Kaya Alpturer, et al. ∙

research

∙ 03/13/2023

Joint Behavior and Common Belief

For over 25 years, common belief has been widely viewed as necessary for...

0 Meir Friedenberg, et al. ∙

research

∙ 01/17/2023

Causal Models with Constraints

Causal models have proven extremely useful in offering formal representa...

0 Sander Beckers, et al. ∙

research

∙ 10/11/2022

A Causal Analysis of Harm

As autonomous systems rapidly become ubiquitous, there is a growing need...

0 Sander Beckers, et al. ∙

research

∙ 09/29/2022

A Quantitative Account of Harm

In a companion paper (Beckers et al. 2022), we defined a qualitative not...

0 Sander Beckers, et al. ∙

research

∙ 06/15/2022

From Outcome-Based to Language-Based Preferences

We review the literature on models that try to explain human behavior in...

0 Valerio Capraro, et al. ∙

research

∙ 12/26/2021

The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior

We offer a general theoretical framework for brain and behavior that is ...

18 Joseph Y. Halpern, et al. ∙

research

∙ 12/21/2021

Reasoning About Causal Models With Infinitely Many Variables

Generalized structural equations models (GSEMs) [Peters and Halpern 2021...

3 Joseph Y. Halpern, et al. ∙

research

∙ 12/16/2021

Causal Modeling With Infinitely Many Variables

Structural-equations models (SEMs) are perhaps the most commonly used fr...

4 Spencer Peters, et al. ∙

research

∙ 07/25/2021

In Defense of Fluid Democracy

Fluid democracy is a voting paradigm that allows voters to choose betwee...

0 Daniel Halpern, et al. ∙

research

∙ 06/22/2021

Language-based Decisions

In Savage's classic decision-theoretic framework, actions are formally d...

0 Adam Bjorndahl, et al. ∙

research

∙ 04/06/2021

Lower Bounds Implementing Mediators in Asynchronous Systems

Abraham, Dolev, Geffner, and Halpern proved that, in asynchronous system...

0 Ivan Geffner, et al. ∙

research

∙ 04/02/2021

Security Properties as Nested Causal Statements

Thinking in terms of causality helps us structure how different parts of...

48 Matvey Soloviev, et al. ∙

research

∙ 12/19/2020

Probabilistic Dependency Graphs

We introduce Probabilistic Dependency Graphs (PDGs), a new class of dire...

17 Oliver Richardson, et al. ∙

research

∙ 07/06/2020

Dynamic Awareness

We investigate how to model the beliefs of an agent who becomes more awa...

0 Joseph Y. Halpern, et al. ∙

research

∙ 06/30/2020

Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits

While traditional economics assumes that humans are fully rational agent...

0 Xinming Liu, et al. ∙

research

∙ 05/20/2020

Information Acquisition Under Resource Limitations in a Noisy Environment

We introduce a theoretical model of information acquisition under resour...

8 Matvey Soloviev, et al. ∙

research

∙ 05/20/2020

MDPs with Unawareness in Robotics

We formalize decision-making problems in robotics and automated control ...

11 Nan Rong, et al. ∙

research

∙ 05/20/2020

Causality, Responsibility and Blame in Team Plans

Many objectives can be achieved (or may be achieved more effectively) on...

3 Natasha Alechina, et al. ∙

research

∙ 05/20/2020

Combining Experts' Causal Judgments

Consider a policymaker who wants to decide which intervention to perform...

2 Dalal Alrajeh, et al. ∙

research

∙ 05/20/2020

Rational Consensus

We provide a game-theoretic analysis of consensus, assuming that process...

0 Joseph Y. Halpern, et al. ∙

research

∙ 05/20/2020

Combining the Causal Judgments of Experts with Possibly Different Focus Areas

In many real-world settings, a decision-maker must combine information p...

5 Meir Friedenberg, et al. ∙

research

∙ 09/30/2019

The Book of Why: Review

This is a review of "The Book of Why", by Judea Pearl....

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/22/2019

A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator

Brandenburger, Friedenberg, and Keisler provide an epistemic characteriz...

1 Joseph Y. Halpern, et al. ∙

research

∙ 06/27/2019

Approximate Causal Abstraction

Scientific models describe natural phenomena at different levels of abst...

4 Sander Beckers, et al. ∙

research

∙ 06/05/2019

Security in Asynchronous Interactive Systems

Secure function computation has been thoroughly studied and optimized in...

0 Ivan Geffner, et al. ∙

research

∙ 03/11/2019

Blameworthiness in Multi-Agent Settings

We provide a formal definition of blameworthiness in settings where mult...

18 Meir Friedenberg, et al. ∙

research

∙ 12/10/2018

Abstracting Causal Models

We consider a sequence of successively more restrictive definitions of a...

0 Sander Beckers, et al. ∙

research

∙ 11/14/2018

Partial Awareness

We develop a modal logic to capture partial awareness. The logic has thr...

0 Joseph Y. Halpern, et al. ∙

research

∙ 10/13/2018

Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility

We provide formal definitions of degree of blameworthiness and intention...

0 Joseph Y. Halpern, et al. ∙

research

∙ 06/04/2018

Implementing Mediators with Asynchronous Cheap Talk

A mediator can help non-cooperative agents obtain an equilibrium that ma...

0 Ittai Abraham, et al. ∙

research

∙ 07/27/2017

An Epistemic Foundation for Authentication Logics (Extended Abstract)

While there have been many attempts, going back to BAN logic, to base re...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/27/2017

Games With Tolerant Players

A notion of pi-tolerant equilibrium is defined that takes into account t...

0 Arpita Ghosh, et al. ∙

research

∙ 07/27/2017

From Type Spaces to Probability Frames and Back, via Language

We investigate the connection between the two major mathematical framewo...

0 Adam Bjorndahl, et al. ∙

research

∙ 06/24/2016

Translucent Players: Explaining Cooperative Behavior in Social Dilemmas

In the last few decades, numerous experiments have shown that humans do ...

0 Valerio Capraro, et al. ∙

research

∙ 06/17/2015

Why Bother With Syntax?

This short note discusses the role of syntax vs. semantics and the inter...

0 Joseph Y. Halpern, et al. ∙

research

∙ 05/01/2015

A Modification of the Halpern-Pearl Definition of Causality

The original Halpern-Pearl definition of causality [Halpern and Pearl, 2...

0 Joseph Y. Halpern, et al. ∙

research

∙ 03/03/2015

An Introduction to Logics of Knowledge and Belief

This chapter provides an introduction to some basic concepts of epistemi...

0 Hans van Ditmarsch, et al. ∙

research

∙ 12/11/2014

Appropriate Causal Models and the Stability of Causation

Causal models defined in terms of structural equations have proved to be...

0 Joseph Y. Halpern, et al. ∙

research

∙ 12/09/2014

The Computational Complexity of Structure-Based Causality

Halpern and Pearl introduced a definition of actual causality; Eiter and...

0 Gadi Aleksandrowicz, et al. ∙

research

∙ 12/09/2014

Cause, Responsibility, and Blame: oA Structural-Model Approach

A definition of causality introduced by Halpern and Pearl, which uses st...

0 Joseph Y. Halpern, et al. ∙

research

∙ 08/07/2014

A Logic for Reasoning about Upper Probabilities

We present a propositional logic to reason about the uncertainty of even...

0 Joseph Y. Halpern, et al. ∙

research

∙ 08/07/2014

Axiomatizing Causal Reasoning

Causal models defined in terms of a collection of equations, as defined ...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/27/2014

MDPs with Unawareness

Markov decision processes (MDPs) are widely used for modeling decision-m...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/27/2014

A Game-Theoretic Analysis of Updating Sets of Probabilities

We consider how an agent should update her uncertainty when it is repres...

0 Peter D. Grünwald, et al. ∙

research

∙ 07/27/2014

Evidence with Uncertain Likelihoods

An agent often has a number of hypotheses, and must choose among them ba...

0 Joseph Y. Halpern, et al. ∙

research

∙ 07/27/2014

When Ignorance is Bliss

It is commonly-accepted wisdom that more information is better, and that...

0 Peter D. Grünwald, et al. ∙

Joseph Y. Halpern

Featured Co-authors