research
∙
08/22/2023
Colordag: An Incentive-Compatible Blockchain
We present Colordag, a blockchain protocol where following the prescribe...
share
research
∙
07/25/2023
Strategic Play By Resource-Bounded Agents in Security Games
Many studies have shown that humans are "predictably irrational": they d...
research
∙
07/11/2023
Sequential Language-based Decisions
In earlier work, we introduced the framework of language-based decisions...
research
∙
05/10/2023
Optimal Eventual Byzantine Agreement Protocols with Omission Failures
Work on optimal protocols for Eventual Byzantine Agreement (EBA) – proto...
research
∙
03/13/2023
Joint Behavior and Common Belief
For over 25 years, common belief has been widely viewed as necessary for...
research
∙
01/17/2023
Causal Models with Constraints
Causal models have proven extremely useful in offering formal representa...
research
∙
10/11/2022
A Causal Analysis of Harm
As autonomous systems rapidly become ubiquitous, there is a growing need...
research
∙
09/29/2022
A Quantitative Account of Harm
In a companion paper (Beckers et al. 2022), we defined a qualitative not...
research
∙
06/15/2022
From Outcome-Based to Language-Based Preferences
We review the literature on models that try to explain human behavior in...
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 ...
research
∙
12/21/2021
Reasoning About Causal Models With Infinitely Many Variables
Generalized structural equations models (GSEMs) [Peters and Halpern 2021...
research
∙
12/16/2021
Causal Modeling With Infinitely Many Variables
Structural-equations models (SEMs) are perhaps the most commonly used fr...
research
∙
07/25/2021
In Defense of Fluid Democracy
Fluid democracy is a voting paradigm that allows voters to choose betwee...
research
∙
06/22/2021
Language-based Decisions
In Savage's classic decision-theoretic framework, actions are formally d...
research
∙
04/06/2021
Lower Bounds Implementing Mediators in Asynchronous Systems
Abraham, Dolev, Geffner, and Halpern proved that, in asynchronous system...
research
∙
04/02/2021
Security Properties as Nested Causal Statements
Thinking in terms of causality helps us structure how different parts of...
research
∙
12/19/2020
Probabilistic Dependency Graphs
We introduce Probabilistic Dependency Graphs (PDGs), a new class of dire...
research
∙
07/06/2020
Dynamic Awareness
We investigate how to model the beliefs of an agent who becomes more awa...
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...
research
∙
05/20/2020
Information Acquisition Under Resource Limitations in a Noisy Environment
We introduce a theoretical model of information acquisition under resour...
research
∙
05/20/2020
MDPs with Unawareness in Robotics
We formalize decision-making problems in robotics and automated control ...
research
∙
05/20/2020
Causality, Responsibility and Blame in Team Plans
Many objectives can be achieved (or may be achieved more effectively) on...
research
∙
05/20/2020
Combining Experts' Causal Judgments
Consider a policymaker who wants to decide which intervention to perform...
research
∙
05/20/2020
Rational Consensus
We provide a game-theoretic analysis of consensus, assuming that process...
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...
research
∙
09/30/2019
The Book of Why: Review
This is a review of "The Book of Why", by Judea Pearl....
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...
research
∙
06/27/2019
Approximate Causal Abstraction
Scientific models describe natural phenomena at different levels of abst...
research
∙
06/05/2019
Security in Asynchronous Interactive Systems
Secure function computation has been thoroughly studied and optimized in...
research
∙
03/11/2019
Blameworthiness in Multi-Agent Settings
We provide a formal definition of blameworthiness in settings where mult...
research
∙
12/10/2018
Abstracting Causal Models
We consider a sequence of successively more restrictive definitions of a...
research
∙
11/14/2018
Partial Awareness
We develop a modal logic to capture partial awareness. The logic has thr...
research
∙
10/13/2018
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility
We provide formal definitions of degree of blameworthiness and intention...
research
∙
06/04/2018
Implementing Mediators with Asynchronous Cheap Talk
A mediator can help non-cooperative agents obtain an equilibrium that ma...
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...
research
∙
07/27/2017
Games With Tolerant Players
A notion of pi-tolerant equilibrium is defined that takes into account t...
research
∙
07/27/2017
From Type Spaces to Probability Frames and Back, via Language
We investigate the connection between the two major mathematical framewo...
research
∙
06/24/2016
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas
In the last few decades, numerous experiments have shown that humans do ...
research
∙
06/17/2015
Why Bother With Syntax?
This short note discusses the role of syntax vs. semantics and the inter...
research
∙
05/01/2015
A Modification of the Halpern-Pearl Definition of Causality
The original Halpern-Pearl definition of causality [Halpern and Pearl, 2...
research
∙
03/03/2015
An Introduction to Logics of Knowledge and Belief
This chapter provides an introduction to some basic concepts of epistemi...
research
∙
12/11/2014
Appropriate Causal Models and the Stability of Causation
Causal models defined in terms of structural equations have proved to be...
research
∙
12/09/2014
The Computational Complexity of Structure-Based Causality
Halpern and Pearl introduced a definition of actual causality; Eiter and...
research
∙
12/09/2014
Cause, Responsibility, and Blame: oA Structural-Model Approach
A definition of causality introduced by Halpern and Pearl, which uses st...
research
∙
08/07/2014
A Logic for Reasoning about Upper Probabilities
We present a propositional logic to reason about the uncertainty of even...
research
∙
08/07/2014
Axiomatizing Causal Reasoning
Causal models defined in terms of a collection of equations, as defined ...
research
∙
07/27/2014
MDPs with Unawareness
Markov decision processes (MDPs) are widely used for modeling decision-m...
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...
research
∙
07/27/2014
Evidence with Uncertain Likelihoods
An agent often has a number of hypotheses, and must choose among them ba...
research
∙
07/27/2014
