| Publication | Date of Publication | Type |
|---|
| Optimal Eventual Byzantine Agreement Protocols with Omission Failures | 2024-03-26 | Paper |
| Sequential Language-based Decisions | 2024-02-28 | Paper |
| Joint Behavior and Common Belief | 2024-02-28 | Paper |
| Information Acquisition Under Resource Limitations in a Noisy Environment | 2023-04-27 | Paper |
| An Interview with Ron Wassertein on How The Book of Why Transforms Statistics | 2023-04-04 | Paper |
| Selected Annotated Bibliography by Judea Pearl | 2023-04-04 | Paper |
| Biography of Judea Pearl by Stuart J. Russell | 2023-04-04 | Paper |
| Turing Award Lecture | 2023-04-04 | Paper |
| Interview by Martin Ford | 2023-04-04 | Paper |
| From statistical knowledge bases to degrees of belief | 2022-09-27 | Paper |
| A nonstandard approach to the logical omniscience problem | 2022-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018514 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384059 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384076 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384077 | 2021-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015386 | 2021-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5015387 | 2021-12-07 | Paper |
| Constructive decision theory | 2021-09-29 | Paper |
| Combining experts' causal judgments | 2021-08-16 | Paper |
| Implementing Mediators with Asynchronous Cheap Talk | 2021-01-20 | Paper |
| Using counterfactuals in knowledge-based programming | 2020-12-04 | Paper |
| A note on knowledge-based programs and specifications | 2020-12-03 | Paper |
| A decision-theoretic approach to reliable message delivery | 2020-12-03 | Paper |
| Knowledge-based programs | 2020-12-02 | Paper |
| Bayesian games with intentions | 2020-10-26 | Paper |
| A NOTE ON THE EXISTENCE OF RATIFIABLE ACTS | 2020-08-26 | Paper |
| Why Bother with Syntax? | 2020-07-27 | Paper |
| On the existence of Nash equilibrium in games with resource-bounded players | 2020-02-04 | Paper |
| Book review of: J. Pearl, The book of why | 2020-01-20 | Paper |
| The truth behind the myth of the folk theorem | 2019-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4630807 | 2019-04-23 | Paper |
| Updating Probability: Tracking Statistics as Criterion | 2018-11-19 | Paper |
| Game theory with translucent players | 2018-11-09 | Paper |
| Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems | 2018-08-14 | Paper |
| Knowledge-based programs | 2017-09-29 | Paper |
| Rational Consensus | 2017-09-29 | Paper |
| Performing work efficiently in the presence of faults | 2017-08-21 | Paper |
| Reasoning about rationality | 2017-08-17 | Paper |
| Characterizing solution concepts in terms of common knowledge of rationality | 2017-08-15 | Paper |
| Erratum to: ``A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium | 2017-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4978425 | 2017-08-10 | Paper |
| What causes a system to satisfy a specification? | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5267443 | 2017-06-13 | Paper |
| First-order conditional logic for default reasoning revisited | 2017-06-13 | Paper |
| The truth behind the myth of the folk theorem | 2017-05-19 | Paper |
| The Computational Complexity of Structure-Based Causality | 2017-04-10 | Paper |
| Substantive Rationality and Backward Induction | 2017-04-07 | Paper |
| Graded Causation and Defaults | 2017-03-03 | Paper |
| No justified complaints | 2016-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5740446 | 2016-07-26 | Paper |
| Minimizing regret in dynamic decision problems | 2016-07-06 | Paper |
| APPROPRIATE CAUSAL MODELS AND THE STABILITY OF CAUSATION | 2016-04-29 | Paper |
| Maxmin weighted expected utility: a simpler characterization | 2016-04-20 | Paper |
| Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks | 2016-03-04 | Paper |
| Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty | 2015-11-25 | Paper |
| Weighted sets of probabilities and minimax weighted expected regret: a new approach for representing uncertainty and making decisions | 2015-11-13 | Paper |
| Minimizing regret in dynamic decision problems | 2015-11-10 | Paper |
| Erratum for “What causes a system to satisfy a specification?” | 2015-09-17 | Paper |
| A logic for reasoning about ambiguity | 2015-08-27 | Paper |
| On spectrum sharing games | 2015-08-03 | Paper |
| Message-optimal protocols for byzantine agreement (extended abstract) | 2015-06-19 | Paper |
| Ambiguous language and common priors | 2015-05-05 | Paper |
| Algorithmic rationality: game theory with costly computation | 2015-02-13 | Paper |
| Conditional belief types | 2015-01-14 | Paper |
| Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players | 2015-01-07 | Paper |
| An almost-surely terminating polynomial protocol for asynchronous byzantine agreement with optimal resilience | 2014-12-12 | Paper |
| Beyond nash equilibrium | 2014-12-12 | Paper |
| Distributed Protocols for Leader Election: A Game-Theoretic Perspective | 2014-09-29 | Paper |
| Reprint of: Reasoning about knowledge of unawareness revisited | 2014-07-15 | Paper |
| Extensive games with possibly unaware players | 2014-07-15 | Paper |
| A Procedural Characterization of Solution Concepts in Games | 2014-03-24 | Paper |
| Conservative belief and rationality | 2014-02-21 | Paper |
| Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty | 2013-08-05 | Paper |
| On spectrum sharing games | 2013-06-28 | Paper |
| FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES | 2013-06-18 | Paper |
| A knowledge-theoretic analysis of uniform distributed coordination and failure detectors | 2013-06-07 | Paper |
| Reasoning about knowledge of unawareness revisited | 2013-03-07 | Paper |
| Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion | 2013-02-04 | Paper |
| Dexter Kozen: An Appreciation | 2012-07-16 | Paper |
| Modeling Adversaries in a Logic for Security Protocol Analysis | 2012-04-03 | Paper |
| Iterated regret minimization: a new solution concept | 2012-03-05 | Paper |
| Generalized solution concepts in games with possibly unaware players | 2012-02-22 | Paper |
| A knowledge-based analysis of global function computation | 2012-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3112636 | 2012-01-12 | Paper |
| Beyond Nash Equilibrium: Solution Concepts for the 21st Century | 2011-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3172534 | 2011-10-05 | Paper |
| Dealing with logical omniscience: expressiveness and pragmatics | 2011-06-17 | Paper |
| Knowledge-Based Synthesis of Distributed Systems Using Event Structures | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996264 | 2011-05-06 | Paper |
| A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium | 2011-05-05 | Paper |
| Multiagent Learning in Large Anonymous Games | 2011-05-04 | Paper |
| Rational secret sharing and multiparty computation | 2010-08-15 | Paper |
| INTRANSITIVITY AND VAGUENESS | 2010-08-13 | Paper |
| Evidence with uncertain likelihoods | 2010-03-09 | Paper |
| Lexicographic probability, conditional probability, and nonstandard probability | 2010-02-05 | Paper |
| Reasoning about knowledge of unawareness | 2009-11-13 | Paper |
| ON DEFINABILITY IN MULTIMODAL LOGIC | 2009-11-12 | Paper |
| DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE | 2009-11-12 | Paper |
| Intransitivity and Vagueness - Corrigendum | 2009-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624009 | 2009-04-28 | Paper |
| Characterizing and reasoning about probabilistic and non-probabilistic expectation | 2008-12-21 | Paper |
| A formal foundation for XrML | 2008-12-21 | Paper |
| A Knowledge-Based Analysis of Global Function Computation | 2008-09-09 | Paper |
| Interactive unawareness revisited | 2008-04-28 | Paper |
| Great expectations. I: On the customizability of generalized expected utility | 2008-04-09 | Paper |
| Lower Bounds on Implementing Robust and Resilient Mediators | 2008-03-05 | Paper |
| Plausibility measures and default reasoning | 2008-02-11 | Paper |
| Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic | 2007-11-19 | Paper |
| Probabilistic Algorithmic Knowledge | 2007-10-11 | Paper |
| Causes and Explanations: A Structural-Model Approach. Part I: Causes | 2006-04-28 | Paper |
| Causes and Explanations: A Structural-Model Approach. Part II: Explanations | 2006-04-28 | Paper |
| Great expectations. II: Generalized expected utility as a universal decision rule | 2006-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715668 | 2006-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715677 | 2006-01-04 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4661971 | 2005-03-30 | Paper |
| Complete Axiomatizations for Reasoning about Knowledge and Time | 2005-02-21 | Paper |
| Reasoning about common knowledge with infinitely many agents | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451078 | 2004-02-23 | Paper |
| On the NP-completeness of finding an optimal strategy in games with common payoffs | 2003-11-23 | Paper |
| A computer scientist looks at game theory. | 2003-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434174 | 2003-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411135 | 2003-07-07 | Paper |
| Characterizing the common prior assumption. | 2003-04-02 | Paper |
| Levesque's axiomatization of only knowing is incomplete | 2003-02-04 | Paper |
| The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic | 2003-02-04 | Paper |
| A nonstandard approach to the logical omniscience problem | 2003-02-04 | Paper |
| Alternative semantics for unawareness | 2002-09-30 | Paper |
| Substantive rationality and backward induction | 2002-09-30 | Paper |
| Reasoning about noisy sensors and effectors in the situation calculus | 2002-07-24 | Paper |
| Multi-agent Only Knowing | 2002-04-30 | Paper |
| A Characterization of Eventual Byzantine Agreement | 2002-04-23 | Paper |
| On the Unusual Effectiveness of Logic in Computer Science | 2001-09-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2726290 | 2001-07-31 | Paper |
| Belief revision: A critique | 2000-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4488092 | 2000-07-25 | Paper |
| Set-theoretic completeness for epistemic and conditional logic | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936007 | 2000-01-24 | Paper |
| Hypothetical knowledge and counterfactual reasoning | 1999-11-01 | Paper |
| Common knowledge revisited | 1999-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4242053 | 1999-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4242055 | 1999-05-10 | Paper |
| The hierarchical approach to modeling knowledge and common knowledge | 1999-01-01 | Paper |
| Performing Work Efficiently in the Presence of Faults | 1998-09-21 | Paper |
| On the knowledge requirements of tasks | 1998-08-13 | Paper |
| Modeling belief in dynamic systems. I: Foundations | 1998-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386966 | 1998-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386955 | 1998-05-10 | Paper |
| Dynamic fault-tolerant clock synchronization | 1998-02-02 | Paper |
| On the expected value of games with absentmindedness | 1997-09-10 | Paper |
| On ambiguities in the interpretation of game trees | 1997-09-10 | Paper |
| The relationship between knowledge, belief, and certainty | 1997-05-13 | Paper |
| A theory of knowledge and ignorance for many agents | 1997-02-26 | Paper |
| Should knowledge entail belief? | 1996-12-11 | Paper |
| Asymptotic Conditional Probabilities: The Unary Case | 1996-10-27 | Paper |
| Asymptotic conditional probabilities: The non-unary case | 1996-10-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4845472 | 1995-09-11 | Paper |
| Full abstraction and expressive completeness for FP | 1995-07-10 | Paper |
| Naming and Identity in Epistemic Logics Part I: The Propositional Case | 1995-03-15 | Paper |
| Reasoning about knowledge and probability | 1995-02-13 | Paper |
| A little knowledge goes a long way | 1994-11-13 | Paper |
| Zero-one laws for modal logic | 1994-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282588 | 1994-10-19 | Paper |
| What can machines know? | 1994-08-21 | Paper |
| A model-theoretic analysis of knowledge | 1994-08-21 | Paper |
| A propositional modal logic of time intervals | 1994-08-21 | Paper |
| Decidability and expressiveness for first-order logics of probability | 1994-07-12 | Paper |
| Knowledge, probability, and adversaries | 1994-01-09 | Paper |
| Message-optimal protocols for Byzantine Agreement | 1993-04-01 | Paper |
| The Failure Discovery problem | 1993-04-01 | Paper |
| What is an inference rule? | 1993-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028802 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028804 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4016548 | 1993-01-16 | Paper |
| Two views of belief: Belief as generalized probability and belief as evidence | 1992-09-27 | Paper |
| A guide to completeness and complexity for modal logics of knowledge and belief | 1992-09-27 | Paper |
| Presburger arithmetic with unary predicates is Π11 complete | 1992-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3979388 | 1992-06-26 | Paper |
| Clock synchronization and the power of broadcasting | 1992-06-25 | Paper |
| A logic for reasoning about probabilities | 1992-06-25 | Paper |
| An analysis of first-order logics of probability | 1990-01-01 | Paper |
| Completeness of rewrite rules and rewrite strategies for FP | 1990-01-01 | Paper |
| Knowledge and common knowledge in a distributed environment | 1990-01-01 | Paper |
| Reasoning about procedures as parameters in the language L4 | 1989-01-01 | Paper |
| The complexity of reasoning about knowledge and time. I: Lower bounds | 1989-01-01 | Paper |
| Modelling knowledge and action in distributed systems | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750423 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5751971 | 1989-01-01 | Paper |
| Belief, awareness, and limited reasoning | 1988-01-01 | Paper |
| I'm OK if you're OK: On the notion of trusting commmunication | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476790 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814797 | 1988-01-01 | Paper |
| A logic to reason about likelihood | 1987-01-01 | Paper |
| A new look at fault-tolerant network routing | 1987-01-01 | Paper |
| On the possibility and impossibility of achieving clock synchronization | 1986-01-01 | Paper |
| Cheating husbands and other stories: A case study of knowledge, action, and communication | 1986-01-01 | Paper |
| Taken by surprise: the paradox of the surprise test revisited | 1986-01-01 | Paper |
| On time versus space III | 1986-01-01 | Paper |
| “Sometimes” and “not never” revisited | 1986-01-01 | Paper |
| Optimal precision in the presence of uncertainty | 1985-01-01 | Paper |
| Decision procedures and expressiveness in the temporal logic of branching time | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703315 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3326819 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3347263 | 1984-01-01 | Paper |
| The propositional dynamic logic of deterministic, well-structured programs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3318104 | 1983-01-01 | Paper |
| Deterministic process logic is elementary | 1983-01-01 | Paper |
| Effective Axiomatizations of Hoare Logics | 1983-01-01 | Paper |
| Deterministic propositional dynamic logic: finite models, complexity, and completeness | 1982-01-01 | Paper |
| Axiomatic Definitions of Programming Languages | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957927 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3917484 | 1981-01-01 | Paper |
