The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) - Joseph Y. Halpern; John H. Reif (FOCS, 1981)

Finite Models for Deterministic Propositional Dynamic Logic. - Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli (ICALP, 1981)

Axiomatic Definitions of Programming Languages, II. - Joseph Y. Halpern; Albert R. Meyer (POPL, 1981)

On the Power of Nondeterminism in Dynamic Logic. - Piotr Berman; Joseph Y. Halpern; Jerzy Tiuryn (ICALP, 1982)

Axiomatic Definitions of Programming Languages: A Theoretical Assessment. - Albert R. Meyer; Joseph Y. Halpern (J. ACM, 1982)

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. - Mordechai Ben-Ari; Joseph Y. Halpern; Amir Pnueli (J. Comput. Syst. Sci., 1982)

A Hardware Semantics Based on Temporal Intervals. - Joseph Y. Halpern; Zohar Manna; Ben C. Moszkowski (ICALP, 1983)

Reasoning About Procedures as Parameters. - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (Logic of Programs, 1983)

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. - Boris A. Trakhtenbrot; Joseph Y. Halpern; Albert R. Meyer (Logic of Programs, 1983)

"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. - E. Allen Emerson; Joseph Y. Halpern (POPL, 1983)

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. - Joseph Y. Halpern; John H. Reif (Theor. Comput. Sci., 1983)

Deterministic Process Logic is Elementary - Joseph Y. Halpern (Inf. Control., 1983)

Effective Axiomatizations of Hoare Logics - Edmund M. Clarke; Steven M. German; Joseph Y. Halpern (J. ACM, 1983)

Likelihood, Probability, and Knowledge. - Joseph Y. Halpern; David A. McAllester (AAAI, 1984)

A Model-Theoretic Analysis of Knowledge: Preliminary Report - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (FOCS, 1984)

Towards a Theory of Knowledge and Ignorance: Preliminary Report. - Joseph Y. Halpern; Yoram Moses (Logics and Models of Concurrent Systems, 1984)

Fault-Tolerant Clock Synchronization. - Joseph Y. Halpern; Barbara Simons; H. Raymond Strong; Danny Dolev (PODC, 1984)

A Good Hoare Axiom System for an Algol-like Language. - Joseph Y. Halpern (POPL, 1984)

The Semantics of Local Storage, or What Makes the Free-List Free? - Joseph Y. Halpern; Albert R. Meyer; Boris A. Trakhtenbrot (POPL, 1984)

Belief, Awareness, and Limited Reasoning: Preliminary Report. - Ronald Fagin; Joseph Y. Halpern (IJCAI, 1985)

A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. - Joseph Y. Halpern; Yoram Moses (IJCAI, 1985)

A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. - Joseph Y. Halpern; Ronald Fagin (PODC, 1985)

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). - Yoram Moses; Danny Dolev; Joseph Y. Halpern (PODC, 1985)

Denotational Semantics and Rewrite Rules for FP. - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers; Timothy C. Winkler (POPL, 1985)

Optimal Precision in the Presence of Uncertainty (Preliminary Version) - Joseph Y. Halpern; Nimrod Megiddo; Ashfaq A. Munshi (STOC, 1985)

Optimal precision in the presence of uncertainty. - Joseph Y. Halpern; Nimrod Megiddo; Ashfaq A. Munshi (J. Complex., 1985)

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. - E. Allen Emerson; Joseph Y. Halpern (J. Comput. Syst. Sci., 1985)

Equations Between Regular Terms and an Application to Process Logic. - Rohit Parikh; Ashok K. Chandra; Joseph Y. Halpern; Albert R. Meyer (SIAM J. Comput., 1985)

What Can Machines Know? On the Epistemic Properties of Machines. - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (AAAI, 1986)

True Relative Completeness of an Axiom System for the Language L4 (Abridged) - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (LICS, 1986)

A Propositional Model Logic of Time Intervals - Joseph Y. Halpern; Yoav Shoham (LICS, 1986)

Good Rewrite Strategies for FP - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers (LICS, 1986)

The Complexity of Reasoning about Knowledge and Time: Extended Abstract - Joseph Y. Halpern; Moshe Y. Vardi (STOC, 1986)

Reasoning About Knowledge: An Overview. - Joseph Y. Halpern (TARK, 1986)

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. - Yoram Moses; Danny Dolev; Joseph Y. Halpern (Distributed Comput., 1986)

"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. - E. Allen Emerson; Joseph Y. Halpern (J. ACM, 1986)

On the Possibility and Impossibility of Achieving Clock Synchronization. - Danny Dolev; Joseph Y. Halpern; H. Raymond Strong (J. Comput. Syst. Sci., 1986)

Taken by surprise: The paradox of the surprise test revisited. - Joseph Y. Halpern; Yoram Moses (J. Philos. Log., 1986)

On Time versus Space III. - Joseph Y. Halpern; Michael C. Loui; Albert R. Meyer; Daniel Weise (Math. Syst. Theory, 1986)

Full Abstraction and Expressive Completenes for FP - Joseph Y. Halpern; Edward L. Wimmers (LICS, 1987)

A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. - Joseph Y. Halpern (PODC, 1987)

Belief, Awareness, and Limited Reasoning. . - Ronald Fagin; Joseph Y. Halpern (Artif. Intell., 1987)

A Logic to Reason about Likelihood. - Joseph Y. Halpern; Michael O. Rabin (Artif. Intell., 1987)

A New Look at Fault-Tolerant Network Routing - Danny Dolev; Joseph Y. Halpern; Barbara Simons; H. Raymond Strong (Inf. Comput., 1987)

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) - Joseph Y. Halpern; Yoram Moses; Mark R. Tuttle (STOC, 1988)

Reasoning about Knowledge and Time in Asynchronous Systems - Joseph Y. Halpern; Moshe Y. Vardi (STOC, 1988)

Reasoning About Knowledge: A Tutorial. - Joseph Y. Halpern (TARK, 1988)

I'm OK if you're OK: On the notion of trusting communication. - Ronald Fagin; Joseph Y. Halpern (J. Philos. Log., 1988)

Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) - Martín Abadi; Joseph Y. Halpern (FOCS, 1989)

Modelling Knowledge and Action in Distributed Systems. - Joseph Y. Halpern; Ronald Fagin (Distributed Comput., 1989)

The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. - Joseph Y. Halpern; Moshe Y. Vardi (J. Comput. Syst. Sci., 1989)

Reasoning about Procedures as Parameters in the Language L4 - Steven M. German; Edmund M. Clarke; Joseph Y. Halpern (Inf. Comput., 1989)

A new approach to updating beliefs. - Ronald Fagin; Joseph Y. Halpern (UAI, 1990)

An Analysis of First-Order Logics of Probability. - Joseph Y. Halpern (Artif. Intell., 1990)

Let many flowers bloom: a response to An inquiry into computer understanding e. - Joseph Y. Halpern (Comput. Intell., 1990)

A Logic for Reasoning about Probabilities - Ronald Fagin; Joseph Y. Halpern; Nimrod Megiddo (Inf. Comput., 1990)

Completeness of Rewrite Rules and Rewrite Strategies for FP - Joseph Y. Halpern; John H. Williams; Edward L. Wimmers (J. ACM, 1990)

Knowledge and Common Knowledge in a Distributed Environment - Joseph Y. Halpern; Yoram Moses (J. ACM, 1990)

Naming and Identity in a Multi-Agent Epistemic Logic. - Adam J. Grove; Joseph Y. Halpern (KR, 1991)

Model Checking vs. Theorem Proving: A Manifesto. - Joseph Y. Halpern; Moshe Y. Vardi (KR, 1991)

Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). - Vassos Hadzilacos; Joseph Y. Halpern (PODC, 1991)

Knowledge and Probability in Distributed Systems (Abstract). - Joseph Y. Halpern (TAPSOFT, Vol.2, 1991)

The relationship between knowledge, belief and certainty. - Joseph Y. Halpern (Ann. Math. Artif. Intell., 1991)

Uncertainty, belief, and probability. - Ronald Fagin; Joseph Y. Halpern (Comput. Intell., 1991)

Clock Synchronization and the Power of Broadcasting. - Joseph Y. Halpern; Ichiro Suzuki (Distributed Comput., 1991)

A Model-Theoretic Analysis of Knowledge. - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (J. ACM, 1991)

A Propositional Modal Logic of Time Intervals. - Joseph Y. Halpern; Yoav Shoham (J. ACM, 1991)

Presburger Arithmetic with Unarr Predicates is Pi11 Complete. - Joseph Y. Halpern (J. Symb. Log., 1991)

From Statistics to Beliefs. - Fahiem Bacchus; Adam J. Grove; Daphne Koller; Joseph Y. Halpern (AAAI, 1992)

A Logic for Approximate Reasoning. - Daphne Koller; Joseph Y. Halpern (KR, 1992)

Asymptotic Conditional Probabilities for First-Order Logic - Adam J. Grove; Joseph Y. Halpern; Daphne Koller (STOC, 1992)

The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. - Ronald Fagin; John Geanakoplos; Joseph Y. Halpern; Moshe Y. Vardi (TARK, 1992)

Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. - Joseph Y. Halpern; Ronald Fagin (Artif. Intell., 1992)

A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. - Joseph Y. Halpern; Yoram Moses (Artif. Intell., 1992)

What Can Machines Know? On the Properties of Knowledge in Distributed Systems. - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (J. ACM, 1992)

A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. - Joseph Y. Halpern; Lenore D. Zuck (J. ACM, 1992)

What Is an Inference Rule? - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (J. Symb. Log., 1992)

Reasoning about only Knowing with Many Agents. - Joseph Y. Halpern (AAAI, 1993)

Generating Degrees of Belief from Statistical Information: An Overview. - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (FSTTCS, 1993)

Statistical Foundations for Default Reasoning. - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (IJCAI, 1993)

Knowledge, Probability, and Adversaries. - Joseph Y. Halpern; Mark R. Tuttle (J. ACM, 1993)

Naming and Identity in Epistemic Logics Part I: The Propositional Case. - Adam J. Grove; Joseph Y. Halpern (J. Log. Comput., 1993)

Message-Optimal Protocols for Byzantine Agreement. - Vassos Hadzilacos; Joseph Y. Halpern (Math. Syst. Theory, 1993)

The Failure Discovery Problem. - Vassos Hadzilacos; Joseph Y. Halpern (Math. Syst. Theory, 1993)

Forming Beliefs about a Changing World. - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (AAAI, 1994)

An Operational Semantics for Knowledge Bases. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (AAAI, 1994)

Conditional Logics of Belief Change. - Nir Friedman; Joseph Y. Halpern (AAAI, 1994)

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. - Nir Friedman; Joseph Y. Halpern (KR, 1994)

On the Complexity of Conditional Logics. - Nir Friedman; Joseph Y. Halpern (KR, 1994)

A Knowledge-Based Framework for Belief change, Part I: Foundations. - Nir Friedman; Joseph Y. Halpern (TARK, 1994)

Algorithmic Knowledge. - Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (TARK, 1994)

Generating New Beliefs from Old. - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (UAI, 1994)

Zero-One Laws for Modal Logic. - Joseph Y. Halpern; Bruce M. Kapron (Ann. Pure Appl. Log., 1994)

A Response to "Believing on the Basis of the Evidence". - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (Comput. Intell., 1994)

Reasoning About Knowledge and Probability. - Ronald Fagin; Joseph Y. Halpern (J. ACM, 1994)

Random Worlds and Maximum Entropy. - Adam J. Grove; Joseph Y. Halpern; Daphne Koller (J. Artif. Intell. Res., 1994)

Decidability and Expressiveness for First-Order Logics of Probability - Martín Abadi; Joseph Y. Halpern (Inf. Comput., 1994)

Reasoning About Knowledge. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (MIT Press, 1995)

Reasoning about Noisy Sensors in the Situation Calculus. - Fahiem Bacchus; Joseph Y. Halpern; Hector J. Levesque (IJCAI, 1995)

Plausibility Measures: A User's Guide. - Nir Friedman; Joseph Y. Halpern (UAI, 1995)

A Nonstandard Approach to the Logical Omniscience Problem. - Ronald Fagin; Joseph Y. Halpern; Moshe Y. Vardi (Artif. Intell., 1995)

The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. - Joseph Y. Halpern (Artif. Intell., 1995)

Levesque's Axiomatization of only Knowing is Incomplete. - Joseph Y. Halpern; Gerhard Lakemeyer (Artif. Intell., 1995)

Dynamic Fault-Tolerant Clock Synchronization. - Danny Dolev; Joseph Y. Halpern; Barbara Simons; H. Raymond Strong (J. ACM, 1995)

Full Abstraction and Expressive Completeness for FP - Joseph Y. Halpern; Edward L. Wimmers (Inf. Comput., 1995)

First-Order Conditional Logic Revisited. - Nir Friedman; Joseph Y. Halpern; Daphne Koller (AAAI/IAAI, Vol. 2, 1996)

Using Multi-Agent Systems to Represent Uncertainty. - Joseph Y. Halpern (AAAI/IAAI, Vol. 2, 1996)

Irrelevance and Conditioning in First-Order Probabilistic Logic. - Daphne Koller; Joseph Y. Halpern (AAAI/IAAI, Vol. 1, 1996)

On Ambiguities in the Interpretation of Game Trees. - Joseph Y. Halpern (TARK, 1996)

A Qualitative Markov Assumption and Its Implications for Belief Change. - Nir Friedman; Joseph Y. Halpern (UAI, 1996)

Defining Relative Likelihood in Partially-Ordered Preferential Structures. - Joseph Y. Halpern (UAI, 1996)

From Statistical Knowledge Bases to Degrees of Belief. - Fahiem Bacchus; Adam J. Grove; Joseph Y. Halpern; Daphne Koller (Artif. Intell., 1996)

Should knowledge entail belief? - Joseph Y. Halpern (J. Philos. Log., 1996)

Asymptotic Conditional Probabilities: The Non-Unary Case. - Adam J. Grove; Joseph Y. Halpern; Daphne Koller (J. Symb. Log., 1996)

Asymptotic Conditional Probabilities: The Unary Case. - Adam J. Grove; Joseph Y. Halpern; Daphne Koller (SIAM J. Comput., 1996)

Using Multi-Agent Systems to Represent Uncertainty (invited talk). - Joseph Y. Halpern (SCAI, 1997)

Defining Explanation in Probabilistic Systems. - Urszula Chajewska; Joseph Y. Halpern (UAI, 1997)

Probability Update: Conditioning vs. Cross-Entropy. - Adam J. Grove; Joseph Y. Halpern (UAI, 1997)

Modeling Belief in Dynamic Systems, Part I: Foundations. - Nir Friedman; Joseph Y. Halpern (Artif. Intell., 1997)

A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. - Joseph Y. Halpern (Comput. Intell., 1997)

Knowledge-Based Programs. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Distributed Comput., 1997)

On becoming editor-in-chief of JACM. - Joseph Y. Halpern (J. ACM, 1997)

Defining Relative Likelihood in Partially-Ordered Structures. - Joseph Y. Halpern (J. Artif. Intell. Res., 1997)

A Theory of Knowledge and Ignorance for Many Agents. - Joseph Y. Halpern (J. Log. Comput., 1997)

Reasoning about Knowledge: A Response by the Authors. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Minds Mach., 1997)

Belief Revision with Unreliable Observations. - Craig Boutilier; Nir Friedman; Joseph Y. Halpern (AAAI/IAAI, 1998)

Updating Sets of Probabilities. - Adam J. Grove; Joseph Y. Halpern (UAI, 1998)

On the Knowledge Requirements of Tasks. - Ronen I. Brafman; Joseph Y. Halpern; Yoav Shoham (Artif. Intell., 1998)

A Computing Research Repository. - Joseph Y. Halpern (D Lib Mag., 1998)

Time to Publication: A Progress Report. - Joseph Y. Halpern (J. ACM, 1998)

Performing Work Efficiently in the Presence of Faults. - Cynthia Dwork; Joseph Y. Halpern; Orli Waarts (SIAM J. Comput., 1998)

The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. - Joseph Y. Halpern; Carl Lagoze (ACM DL, 1999)

Plausibility Measures and Default Reasoning: An Overview. - Joseph Y. Halpern; Nir Friedman (LICS, 1999)

Least Expected Cost Query Optimization: An Exercise in Utility. - Francis C. Chu; Joseph Y. Halpern; Praveen Seshadri (PODS, 1999)

Reasoning about Noisy Sensors and Effectors in the Situation Calculus. - Fahiem Bacchus; Joseph Y. Halpern; Hector J. Levesque (Artif. Intell., 1999)

Set-theoretic completeness for epistemic and conditional logic. - Joseph Y. Halpern (Ann. Math. Artif. Intell., 1999)

Errata: "The relationship between knowledge, belief, and certainty". - Joseph Y. Halpern (Ann. Math. Artif. Intell., 1999)

Common Knowledge Revisited. - Ronald Fagin; Joseph Y. Halpern; Yoram Moses; Moshe Y. Vardi (Ann. Pure Appl. Log., 1999)

Cox's Theorem Revisited - Joseph Y. Halpern (CoRR, 1999)

The hierarchical approach to modeling knowledge and common knowledge. - Ronald Fagin; John Geanakoplos; Joseph Y. Halpern; Moshe Y. Vardi (Int. J. Game Theory, 1999)

Hypothetical knowledge and counterfactual reasoning. - Joseph Y. Halpern (Int. J. Game Theory, 1999)

Modeling Belief in Dynamic Systems, Part II: Revision and Update. - Nir Friedman; Joseph Y. Halpern (J. Artif. Intell. Res., 1999)

A Counterexample to Theorems of Cox and Fine. - Joseph Y. Halpern (J. Artif. Intell. Res., 1999)

Cox's Theorem Revisited (technical addendum). - Joseph Y. Halpern (J. Artif. Intell. Res., 1999)

Belief Revision: A Critique. - Nir Friedman; Joseph Y. Halpern (J. Log. Lang. Inf., 1999)

A decision-theoretic approach to resource allocation in wireless multimedia networks. - Zygmunt J. Haas; Joseph Y. Halpern; Li Li 002; Stephen B. Wicker (DIAL-M, 2000)

Degrees of Belief, Random Worlds, and Maximum Entropy. - Joseph Y. Halpern (Discovery Science, 2000)

Causes and Explanations: A Structural-Model Approach, Part I: Causes - Joseph Y. Halpern; Judea Pearl (CoRR, 2000)

A note on knowledge-based programs and specifications. - Joseph Y. Halpern (Distributed Comput., 2000)

Editorial: a bill of rights and responsibilities. - Joseph Y. Halpern (J. ACM, 2000)

Axiomatizing Causal Reasoning. - Joseph Y. Halpern (J. Artif. Intell. Res., 2000)

CoRR: a computing research repository. - Joseph Y. Halpern (ACM J. Comput. Documentation, 2000)

A response to the commentaries on CoRR. - Joseph Y. Halpern (ACM J. Comput. Documentation, 2000)

First-order conditional logic for default reasoning revisited. - Nir Friedman; Joseph Y. Halpern; Daphne Koller (ACM Trans. Comput. Log., 2000)

Minimum-energy mobile wireless networks revisited. - Li Li 002; Joseph Y. Halpern (ICC, 2001)

Plausibility Measures: A General Approach For Representing Uncertainty. - Joseph Y. Halpern (IJCAI, 2001)

Causes and Explanations: A Structural-Model Approach - Part II: Explanations. - Joseph Y. Halpern; Judea Pearl (IJCAI, 2001)

Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. - Li Li 002; Joseph Y. Halpern; Paramvir Bahl; Yi-Min Wang; Roger Wattenhofer (PODC, 2001)

Causes and Explanations: A Structural-Model Approach: Part 1: Causes. - Joseph Y. Halpern; Judea Pearl (UAI, 2001)

On the unusual effectiveness of logic in computer science. - Joseph Y. Halpern; Robert Harper 001; Neil Immerman; Phokion G. Kolaitis; Moshe Y. Vardi; Victor Vianu (Bull. Symb. Log., 2001)

A decision-theoretic approach to reliable message delivery. - Francis C. Chu; Joseph Y. Halpern (Distributed Comput., 2001)

Alternative Semantics for Unawareness. - Joseph Y. Halpern (Games Econ. Behav., 2001)

Substantive Rationality and Backward Induction. - Joseph Y. Halpern (Games Econ. Behav., 2001)

On the NP-completeness of finding an optimal strategy in games with common payoffs. - Francis C. Chu; Joseph Y. Halpern (Int. J. Game Theory, 2001)

Plausibility measures and default reasoning. - Nir Friedman; Joseph Y. Halpern (J. ACM, 2001)

Conditional Plausibility Measures and Bayesian Networks. - Joseph Y. Halpern (J. Artif. Intell. Res., 2001)

A Logic for SDSI's Linked Local Name Spaces. - Joseph Y. Halpern; Ron van der Meyden (J. Comput. Secur., 2001)

Multi-agent Only Knowing. - Joseph Y. Halpern; Gerhard Lakemeyer (J. Log. Comput., 2001)

A Characterization of Eventual Byzantine Agreement. - Joseph Y. Halpern; Yoram Moses; Orli Waarts (SIAM J. Comput., 2001)

Modeling Adversaries in a Logic for Security Protocol Analysis. - Joseph Y. Halpern; Riccardo Pucella (FASec, 2002)

Least Expected Cost Query Optimization: What Can We Expect? - Francis C. Chu; Joseph Y. Halpern; Johannes Gehrke (PODS, 2002)

Reasoning about Expectation. - Joseph Y. Halpern; Riccardo Pucella (UAI, 2002)

Update: Time to publication statistics. - Joseph Y. Halpern (J. ACM, 2002)

A Logic for Reasoning about Upper Probabilities. - Joseph Y. Halpern; Riccardo Pucella (J. Artif. Intell. Res., 2002)

Characterizing the Common Prior Assumption. - Joseph Y. Halpern (J. Econ. Theory, 2002)

Great Expectations. Part I: On the Customizability of Generalized Expected Utility. - Francis C. Chu; Joseph Y. Halpern (IJCAI, 2003)

Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. - Joseph Y. Halpern; Bruce M. Kapron (Ann. Pure Appl. Log., 2003)

Modeling Belief in Dynamic Systems, Part II: Revisions and Update - Nir Friedman; Joseph Y. Halpern (CoRR, 2003)

A computer scientist looks at game theory. - Joseph Y. Halpern (Games Econ. Behav., 2003)

JACM's 50th anniversary. - Joseph Y. Halpern (J. ACM, 2003)

Updating Probabilities. - Peter Grünwald; Joseph Y. Halpern (J. Artif. Intell. Res., 2003)

A Logical Reconstruction of SPKI. - Joseph Y. Halpern; Ron van der Meyden (J. Comput. Secur., 2003)

On the relationship between strand spaces and multi-agent systems. - Joseph Y. Halpern; Riccardo Pucella (ACM Trans. Inf. Syst. Secur., 2003)

LICS 2001 special issue. - Erich Grädel; Joseph Y. Halpern; Radha Jagadeesan; Adolfo Piperno (ACM Trans. Comput. Log., 2003)

Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. - Joseph Y. Halpern (KR, 2004)

Rational secret sharing and multiparty computation: extended abstract. - Joseph Y. Halpern; Vanessa Teague (STOC, 2004)

When Ignorance is Bliss. - Peter Grünwald; Joseph Y. Halpern (UAI, 2004)

Great expectations. Part II: generalized expected utility as a universal decision rule. - Francis C. Chu; Joseph Y. Halpern (Artif. Intell., 2004)

Using counterfactuals in knowledge-based programming. - Joseph Y. Halpern; Yoram Moses (Distributed Comput., 2004)

Reasoning about common knowledge with infinitely many agents. - Joseph Y. Halpern; Richard A. Shore (Inf. Comput., 2004)

Responsibility and Blame: A Structural-Model Approach. - Hana Chockler; Joseph Y. Halpern (J. Artif. Intell. Res., 2004)

Representation Dependence in Probabilistic Inference. - Joseph Y. Halpern; Daphne Koller (J. Artif. Intell. Res., 2004)

Complete Axiomatizations for Reasoning about Knowledge and Time. - Joseph Y. Halpern; Ron van der Meyden; Moshe Y. Vardi (SIAM J. Comput., 2004)

A minimum-energy path-preserving topology-control algorithm. - Li (Erran) Li; Joseph Y. Halpern (IEEE Trans. Wirel. Commun., 2004)

Reasoning about uncertainty. - Joseph Y. Halpern (MIT Press, 2005)

Minimum-Energy Topology Control Algorithms in Ad Hoc Networks. - Joseph Y. Halpern; Li (Erran) Li (Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks, 2005)

A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. - Joseph Y. Halpern; Aleta Ricciardi (Distributed Comput., 2005)

Anonymity and information hiding in multiagent systems. - Joseph Y. Halpern; Kevin R. O'Neill (J. Comput. Secur., 2005)

Probabilistic Algorithmic Knowledge. - Joseph Y. Halpern; Riccardo Pucella (Log. Methods Comput. Sci., 2005)

A cone-based distributed topology-control algorithm for wireless multi-hop networks. - Li (Erran) Li; Joseph Y. Halpern; Paramvir Bahl; Yi-Min Wang; Roger Wattenhofer (IEEE/ACM Trans. Netw., 2005)

Redoing the Foundations of Decision Theory. - Lawrence E. Blume; David A. Easley; Joseph Y. Halpern (KR, 2006)

Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. - Ittai Abraham; Danny Dolev; Rica Gonen; Joseph Y. Halpern (PODC, 2006)

From statistical knowledge bases to degrees of belief: an overview. - Joseph Y. Halpern (PODS, 2006)

Efficiency and nash equilibria in a scrip system for P2P networks. - Eric J. Friedman; Joseph Y. Halpern; Ian A. Kash (EC, 2006)

Expressing Security Properties Using Selective Interleaving Functions - Joseph Y. Halpern; Sabina Petride (CoRR, 2006)

Using Sets of Probability Measures to Represent Uncertainty - Joseph Y. Halpern (CoRR, 2006)

A Logic for Reasoning about Evidence. - Joseph Y. Halpern; Riccardo Pucella (J. Artif. Intell. Res., 2006)

Gossip-based ad hoc routing. - Zygmunt J. Haas; Joseph Y. Halpern; Li (Erran) Li (IEEE/ACM Trans. Netw., 2006)

Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. - David J. Martin 001; Daniel Kifer; Ashwin Machanavajjhala; Johannes Gehrke; Joseph Y. Halpern (ICDE, 2007)

Characterizing Solution Concepts in Games Using Knowledge-Based Programs. - Joseph Y. Halpern; Yoram Moses (IJCAI, 2007)

Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (EC, 2007)

Dealing with logical omniscience. - Joseph Y. Halpern; Riccardo Pucella (TARK, 2007)

Computer Science and Game Theory: A Brief Survey - Joseph Y. Halpern (CoRR, 2007)

Characterizing and reasoning about probabilistic and non-probabilistic expectation. - Joseph Y. Halpern; Riccardo Pucella (J. ACM, 2007)

Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. - Joseph Y. Halpern; Leandro Chaves Rêgo (J. Log. Comput., 2007)

Toward Expressive and Scalable Sponsored Search Auctions. - David J. Martin 001; Johannes Gehrke; Joseph Y. Halpern (ICDE, 2008)

Beyond Nash Equilibrium: Solution Concepts for the 21st Century. - Joseph Y. Halpern (KR, 2008)

Defaults and Normality in Causal Structures. - Joseph Y. Halpern (KR, 2008)

An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. - Ittai Abraham; Danny Dolev; Joseph Y. Halpern (PODC, 2008)

The lotus-eater attack. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (PODC, 2008)

Lower Bounds on Implementing Robust and Resilient Mediators. - Ittai Abraham; Danny Dolev; Joseph Y. Halpern (TCC, 2008)

A Game-Theoretic Analysis of Updating Sets of Probabilities. - Peter Grünwald; Joseph Y. Halpern (UAI, 2008)

An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience - Ittai Abraham; Danny Dolev; Joseph Y. Halpern (CoRR, 2008)

Game Theory with Costly Computation - Joseph Y. Halpern; Rafael Pass (CoRR, 2008)

Iterated Regret Minimization: A More Realistic Solution Concept - Joseph Y. Halpern; Rafael Pass (CoRR, 2008)

Interactive unawareness revisited. - Joseph Y. Halpern; Leandro Chaves Rêgo (Games Econ. Behav., 2008)

A formal foundation for XrML. - Joseph Y. Halpern; Vicky Weissman (J. ACM, 2008)

Intransitivity and Vagueness. - Joseph Y. Halpern (Rev. Symb. Log., 2008)

Secrecy in Multiagent Systems. - Joseph Y. Halpern; Kevin R. O'Neill (ACM Trans. Inf. Syst. Secur., 2008)

Using First-Order Logic to Reason about Policies. - Joseph Y. Halpern; Vicky Weissman (ACM Trans. Inf. Syst. Secur., 2008)

What causes a system to satisfy a specification?. - Hana Chockler; Joseph Y. Halpern; Orna Kupferman (ACM Trans. Comput. Log., 2008)

Manipulating Scrip Systems: Sybils and Collusion. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (AMMA, 2009)

Shared Winner Determination in Sponsored Search Auctions. - David J. Martin 001; Joseph Y. Halpern (ICDE, 2009)

A logical characterization of iterated admissibility. - Joseph Y. Halpern; Rafael Pass (TARK, 2009)

An epistemic characterization of zero knowledge. - Joseph Y. Halpern; Rafael Pass; Vasumathi Raman (TARK, 2009)

Reasoning about knowledge of unawareness. - Joseph Y. Halpern; Leandro Chaves Rêgo (Games Econ. Behav., 2009)

A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. - Joseph Y. Halpern (Int. J. Game Theory, 2009)

Intransitivity and Vagueness - Corrigendum. - Joseph Y. Halpern (Rev. Symb. Log., 2009)

On Definability in Multimodal Logic. - Joseph Y. Halpern; Dov Samet; Ella Segev (Rev. Symb. Log., 2009)

Defining Knowledge in Terms of Belief: the Modal Logic Perspective. - Joseph Y. Halpern; Dov Samet; Ella Segev (Rev. Symb. Log., 2009)

Solution to Exchanges 8.1 puzzle: identifying the champion. - Stéphane Airiau; Ulle Endriss; Joseph Y. Halpern (SIGecom Exch., 2009)

Evidence with uncertain likelihoods. - Joseph Y. Halpern; Riccardo Pucella (Synth., 2009)

Cooperative equilibrium. - Joseph Y. Halpern; Nan Rong (AAMAS, 2010)

Game Theory with Costly Computation: Formulation and Application to Protocol Security. - Joseph Y. Halpern; Rafael Pass (ICS, 2010)

I Don't Want to Think About it Now: Decision Theory with Costly Computation. - Joseph Y. Halpern (KR, 2010)

Awareness in Games, Awareness in Logic. - Joseph Y. Halpern (LPAR (Yogyakarta), 2010)

MDPs with Unawareness. - Joseph Y. Halpern; Nan Rong; Ashutosh Saxena (UAI, 2010)

On spectrum sharing games. - Magnús M. Halldórsson; Joseph Y. Halpern; Li Erran Li; Vahab S. Mirrokni (Distributed Comput., 2010)

A knowledge-based analysis of global function computation. - Joseph Y. Halpern; Sabina Petride (Distributed Comput., 2010)

Causality in Databases. - Alexandra Meliou; Wolfgang Gatterbauer; Joseph Y. Halpern; Christoph Koch 001; Katherine F. Moore; Dan Suciu (IEEE Data Eng. Bull., 2010)

Lexicographic probability, conditional probability, and nonstandard probability. - Joseph Y. Halpern (Games Econ. Behav., 2010)

Erratum for "What causes a system to satisfy a specification?". - Hana Chockler; Joseph Y. Halpern; Orna Kupferman (ACM Trans. Comput. Log., 2010)

Beyond Nash equilibrium: solution concepts for the 21st century. - Joseph Y. Halpern (Lectures in Game Theory for Computer Scientists, 2011)

Constructive Decision Theory: Short Summary. - Joseph Y. Halpern (ECSQARU, 2011)

Causality, Responsibility, and Blame: A Structural-Model Approach. - Joseph Y. Halpern (SUM, 2011)

Reasoning about justified belief. - Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass (TARK, 2011)

Dealing with logical omniscience: Expressiveness and pragmatics. - Joseph Y. Halpern; Riccardo Pucella (Artif. Intell., 2011)

Journals for certification, conferences for rapid dissemination. - Joseph Y. Halpern; David C. Parkes (Commun. ACM, 2011)

Knowledge-Based Synthesis of Distributed Systems Using Event Structures - Mark Bickford; Robert L. Constable; Joseph Y. Halpern; Sabina Petride (Log. Methods Comput. Sci., 2011)

A Counter Example to Theorems of Cox and Fine - Joseph Y. Halpern (CoRR, 2011)

Viewpoint: Journals for Certification, Conferences for Rapid Dissemination - Joseph Y. Halpern; David C. Parkes (CoRR, 2011)

Actual causation and the art of modeling - Joseph Y. Halpern; Christopher Hitchcock (CoRR, 2011)

I Don't Want to Think About it Now:Decision Theory With Costly Computation - Joseph Y. Halpern; Rafael Pass (CoRR, 2011)

Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. - Peter D. Grünwald; Joseph Y. Halpern (J. Artif. Intell. Res., 2011)

Multiagent Learning in Large Anonymous Games. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (J. Artif. Intell. Res., 2011)

Distributed computing meets game theory: combining insights from two fields. - Ittai Abraham; Lorenzo Alvisi; Joseph Y. Halpern (SIGACT News, 2011)

Algorithmic rationality: adding cost of computation to game theory. - Joseph Y. Halpern; Rafael Pass (SIGecom Exch., 2011)

I'm Doing as Well as I Can: Modeling People as Rational Finite Automata. - Joseph Y. Halpern; Rafael Pass; Lior Seeman (AAAI, 2012)

Dexter Kozen: An Appreciation. - Joseph Y. Halpern (Logic and Program Semantics, 2012)

No justified complaints: on fair sharing of multiple resources. - Danny Dolev; Dror G. Feitelson; Joseph Y. Halpern; Raz Kupferman; Nathan Linial (ITCS, 2012)

Ambiguous Language and Differences in Beliefs. - Joseph Y. Halpern; Willemien Kets (KR, 2012)

Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. - Joseph Y. Halpern; Samantha Leung (UAI, 2012)

Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004) - Max Chickering; Joseph Y. Halpern (CoRR, 2012)

Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (Distributed Comput., 2012)

Iterated regret minimization: A new solution concept. - Joseph Y. Halpern; Rafael Pass (Games Econ. Behav., 2012)

Generalized solution concepts in games with possibly unaware players. - Leandro Chaves Rêgo; Joseph Y. Halpern (Int. J. Game Theory, 2012)

Towards a deeper understanding of cooperative equilibrium: characterization and complexity. - Nan Rong; Joseph Y. Halpern (AAMAS, 2013)

Language-Based Games. - Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass (IJCAI, 2013)

Compact Representations of Extended Causal Models. - Joseph Y. Halpern; Christopher Hitchcock (Cogn. Sci., 2013)

Graded Causation and Defaults. - Joseph Y. Halpern; Christopher Hitchcock (CoRR, 2013)

Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions - Joseph Y. Halpern; Samantha Leung (CoRR, 2013)

Conservative belief and rationality. - Joseph Y. Halpern; Rafael Pass (Games Econ. Behav., 2013)

From Causal Models to Counterfactual Structures. - Joseph Y. Halpern (Rev. Symb. Log., 2013)

Axiomatizing Rationality. - Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass (KR, 2014)

Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players. - Joseph Y. Halpern; Rafael Pass; Lior Seeman (WINE, 2014)

A logic for reasoning about ambiguity. - Joseph Y. Halpern; Willemien Kets (Artif. Intell., 2014)

Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10]. - Joseph Y. Halpern; Willemien Kets (Artif. Intell., 2014)

Cause, Responsibility, and Blame: oA Structural-Model Approach. - Joseph Y. Halpern (CoRR, 2014)

Cooperative Equilibrium: A solution predicting cooperative play. - Nan Rong; Joseph Y. Halpern (CoRR, 2014)

Conditional belief types. - Alfredo Di Tillio; Joseph Y. Halpern; Dov Samet (Games Econ. Behav., 2014)

A Procedural Characterization of Solution Concepts in Games. - Joseph Y. Halpern; Yoram Moses (J. Artif. Intell. Res., 2014)

Reasoning about knowledge of unawareness revisited. - Joseph Y. Halpern; Leandro Chaves Rêgo (Math. Soc. Sci., 2014)

Extensive games with possibly unaware players. - Joseph Y. Halpern; Leandro Chaves Rêgo (Math. Soc. Sci., 2014)

Decision Theory with Resource-Bounded Agents. - Joseph Y. Halpern; Rafael Pass; Lior Seeman (Top. Cogn. Sci., 2014)

Responsibility judgments in voting scenarios. - Tobias Gerstenberg; Joseph Y. Halpern; Joshua B. Tenenbaum (CogSci, 2015)

Minimizing Regret in Dynamic Decision Problems. - Joseph Y. Halpern; Samantha Leung (ECSQARU, 2015)

Language-based Games. - Joseph Y. Halpern (ICAART (1), 2015)

A Modification of the Halpern-Pearl Definition of Causality. - Joseph Y. Halpern (IJCAI, 2015)

Bayesian Games with Intentions. - Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass (TARK, 2015)

Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. - Valerio Capraro; Joseph Y. Halpern (TARK, 2015)

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. - Anupam Datta; Joseph Y. Halpern; John C. Mitchell; Arnab Roy 001; Shayak Sen (CoRR, 2015)

An Introduction to Logics of Knowledge and Belief. - Hans van Ditmarsch; Joseph Y. Halpern; Wiebe van der Hoek; Barteld P. Kooi (CoRR, 2015)

Why Bother With Syntax? - Joseph Y. Halpern (CoRR, 2015)

On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players. - Joseph Y. Halpern; Rafael Pass; Daniel Reichman 001 (CoRR, 2015)

Ambiguous language and common priors. - Joseph Y. Halpern; Willemien Kets (Games Econ. Behav., 2015)

Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. - Joseph Y. Halpern (J. Artif. Intell. Res., 2015)

Algorithmic rationality: Game theory with costly computation. - Joseph Y. Halpern; Rafael Pass (J. Econ. Theory, 2015)

An Equilibrium Analysis of Scrip Systems. - Ian A. Kash; Eric J. Friedman; Joseph Y. Halpern (ACM Trans. Economics and Comput., 2015)

Actual Causality. - Joseph Y. Halpern (MIT Press, 2016)

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (AAMAS, 2016)

Rational Consensus: Extended Abstract. - Joseph Y. Halpern; Xavier Vilaça (PODC, 2016)

Computational Extensive-Form Games. - Joseph Y. Halpern; Rafael Pass; Lior Seeman (EC, 2016)

MDPs with Unawareness in Robotics. - Nan Rong; Joseph Y. Halpern; Ashutosh Saxena (UAI, 2016)

Decentralised Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (CoRR, 2016)

A Comment on "The Ecological Rationality of State-Dependent Valuation". - Joseph Y. Halpern; Lior Seeman (CoRR, 2016)

Appropriate Causal Models and the stability of Causation. - Joseph Y. Halpern (Rev. Symb. Log., 2016)

Incentivising Monitoring in Open Normative Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (AAAI, 2017)

Causality, Responsibility and Blame in Team Plans. - Natasha Alechina; Joseph Y. Halpern; Brian Logan 001 (AAMAS, 2017)

From Type Spaces to Probability Frames and Back, via Language. - Adam Bjorndahl; Joseph Y. Halpern (TARK, 2017)

Games With Tolerant Players. - Arpita Ghosh; Joseph Y. Halpern (TARK, 2017)

An Epistemic Foundation for Authentication Logics (Extended Abstract). - Joseph Y. Halpern; Ron van der Meyden; Riccardo Pucella (TARK, 2017)

A Knowledge-Based Analysis of the Blockchain Protocol. - Joseph Y. Halpern; Rafael Pass (TARK, 2017)

Reasoning about rationality. - Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass (Games Econ. Behav., 2017)

Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. - Joseph Y. Halpern (Int. J. Game Theory, 2017)

Characterizing solution concepts in terms of common knowledge of rationality. - Joseph Y. Halpern; Yoram Moses (Int. J. Game Theory, 2017)

The Computational Complexity of Structure-Based Causality. - Gadi Aleksandrowicz; Hana Chockler; Joseph Y. Halpern; Alexander Ivrii (J. Artif. Intell. Res., 2017)

From qualitative to quantitative proofs of security properties using first-order conditional logic. - Joseph Y. Halpern (J. Comput. Secur., 2017)

Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. - Joseph Y. Halpern; Max Kleiman-Weiner (AAAI, 2018)

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (IJCAI, 2018)

Combining the Causal Judgments of Experts with Possibly Different Focus Areas. - Meir Friedenberg; Joseph Y. Halpern (KR, 2018)

Game theory with translucent players. - Joseph Y. Halpern; Rafael Pass (Int. J. Game Theory, 2018)

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. - Natasha Alechina; Joseph Y. Halpern; Ian A. Kash; Brian Logan 001 (J. Artif. Intell. Res., 2018)

Abstracting Causal Models. - Sander Beckers; Joseph Y. Halpern (AAAI, 2019)

Blameworthiness in Multi-Agent Settings. - Meir Friedenberg; Joseph Y. Halpern (AAAI, 2019)

Partial Awareness. - Joseph Y. Halpern; Evan Piermont (AAAI, 2019)

Implementing Mediators with Asynchronous Cheap Talk. - Ittai Abraham; Danny Dolev; Ivan Geffner; Joseph Y. Halpern (PODC, 2019)

On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. - Joseph Y. Halpern; Rafael Pass; Daniel Reichman 001 (SAGT, 2019)

Approximate Causal Abstractions. - Sander Beckers; Frederick Eberhardt; Joseph Y. Halpern (UAI, 2019)

The Book of Why, Judea Pearl. Basic Books (2018). - Joseph Y. Halpern (Artif. Intell., 2019)

Approximate Causal Abstraction. - Sander Beckers; Frederick Eberhardt; Joseph Y. Halpern (CoRR, 2019)

A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. - Joseph Y. Halpern; Rafael Pass (TARK, 2019)

The Book of Why: Review. - Joseph Y. Halpern (CoRR, 2019)

The truth behind the myth of the Folk theorem. - Joseph Y. Halpern; Rafael Pass; Lior Seeman (Games Econ. Behav., 2019)

Distributed Protocols for Leader Election: A Game-Theoretic Perspective. - Ittai Abraham; Danny Dolev; Joseph Y. Halpern (ACM Trans. Economics and Comput., 2019)

Sequential Equilibrium in Computational Games. - Joseph Y. Halpern; Rafael Pass (ACM Trans. Economics and Comput., 2019)

Dynamic Awareness. - Joseph Y. Halpern; Evan Piermont (KR, 2020)

Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. - Xinming Liu; Joseph Y. Halpern (UAI, 2020)

Combining experts' causal judgments. - Dalal Alrajeh; Hana Chockler; Joseph Y. Halpern (Artif. Intell., 2020)

Rational Consensus. - Joseph Y. Halpern; Xavier Vilaça (CoRR, 2020)

Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits. - Xinming Liu; Joseph Y. Halpern (CoRR, 2020)

A note on the existence of Ratifiable Acts. - Joseph Y. Halpern (Rev. Symb. Log., 2020)

Probabilistic Dependency Graphs. - Oliver Richardson; Joseph Y. Halpern (AAAI, 2021)

Security in Asynchronous Interactive Systems. - Ivan Geffner; Joseph Y. Halpern (SSS, 2021)

Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). - Joseph Y. Halpern (Tokenomics, 2021)

Security Properties as Nested Causal Statements. - Matvey Soloviev; Joseph Y. Halpern (CoRR, 2021)

Lower Bounds Implementing Mediators in Asynchronous Systems. - Ivan Geffner; Joseph Y. Halpern (CoRR, 2021)

Language-based Decisions. - Adam Bjorndahl; Joseph Y. Halpern (TARK, 2021)

In Defense of Fluid Democracy. - Daniel Halpern 002; Joseph Y. Halpern; Ali Jadbabaie; Elchanan Mossel; Ariel D. Procaccia; Manon Revel (CoRR, 2021)

Causal Modeling With Infinitely Many Variables. - Spencer Peters; Joseph Y. Halpern (CoRR, 2021)

The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior. - Joseph Y. Halpern; Arnon Lotem (CoRR, 2021)

Constructive decision theory. - Lawrence E. Blume; David A. Easley; Joseph Y. Halpern (J. Econ. Theory, 2021)

Sequential Equilibrium in Games of Imperfect Recall. - Joseph Y. Halpern; Rafael Pass (ACM Trans. Economics and Comput., 2021)

On Testing for Discrimination Using Causal Models. - Hana Chockler; Joseph Y. Halpern (AAAI, 2022)

Reasoning about Causal Models with Infinitely Many Variables. - Joseph Y. Halpern; Spencer Peters (AAAI, 2022)

From Outcome-Based to Language-Based Preferences. - Valerio Capraro; Joseph Y. Halpern; Matjaz Perc (CoRR, 2022)

A Quantitative Account of Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (CoRR, 2022)

Colordag: An Incentive-Compatible Blockchain. - Ittai Abraham; Danny Dolev; Ittay Eyal; Joseph Y. Halpern (IACR Cryptol. ePrint Arch., 2022)

Information Acquisition Under Resource Limitations in a Noisy Environment. - Matvey Soloviev; Joseph Y. Halpern (J. ACM, 2022)

Strategic Play By Resource-Bounded Agents in Security Games. - Xinming Liu; Joseph Y. Halpern (AAMAS, 2023)

Causal Models with Constraints. - Sander Beckers; Joseph Y. Halpern; Christopher Hitchcock (CLeaR, 2023)

Quantifying Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (IJCAI, 2023)

Optimal Eventual Byzantine Agreement Protocols with Omission Failures. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (PODC, 2023)

In Defense of Liquid Democracy. - Daniel Halpern 002; Joseph Y. Halpern; Ali Jadbabaie; Elchanan Mossel; Ariel D. Procaccia; Manon Revel (EC, 2023)

Chunking Tasks for Present-Biased Agents. - Joseph Y. Halpern; Aditya Saraf (EC, 2023)

Inference for probabilistic dependency graphs. - Oliver E. Richardson; Joseph Y. Halpern; Christopher De Sa (UAI, 2023)

Joint Behavior and Common Belief. - Meir Friedenberg; Joseph Y. Halpern (TARK, 2023)

Sequential Language-based Decisions. - Adam Bjorndahl; Joseph Y. Halpern (TARK, 2023)

Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents. - Ivan Geffner; Joseph Y. Halpern (J. ACM, 2023)

Explaining Image Classifiers. - Hana Chockler; Joseph Y. Halpern (KR, 2024)

A Representation Theorem for Causal Decision Making. - Joseph Y. Halpern; Evan Piermont (KR, 2024)

Intervention and Conditioning in Causal Bayesian Networks. - Sainyam Galhotra; Joseph Y. Halpern (NeurIPS, 2024)

Qualitative Mechanism Independence. - Oliver Richardson; Spencer J. Peters; Joseph Y. Halpern (NeurIPS, 2024)

A Knowledge-Based Analysis of Intersection Protocols. - Kaya Alpturer; Joseph Y. Halpern; Ron van der Meyden (DISC, 2024)

Subjective Causality. - Joseph Y. Halpern; Evan Piermont (CoRR, 2024)

Mathematical Explanations. - Joseph Y. Halpern (CoRR, 2024)

Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. - David Dalrymple; Joar Skalse; Yoshua Bengio; Stuart Russell 001; Max Tegmark; Sanjit Seshia; Steve Omohundro; Christian Szegedy; Ben Goldhaber; Nora Ammann; Alessandro Abate; Joe Halpern; et al. (CoRR, 2024)

Paying to Do Better: Games with Payments between Learning Agents. - Yoav Kolumbus; Joe Halpern; Éva Tardos (CoRR, 2024)

Fair Interest Rates Are Impossible for Lending Pools: Results from Options Pricing. - Joe Halpern; Rafael Pass; Aditya Saraf (CoRR, 2024)

Communication games, sequential equilibrium, and mediators. - Ivan Geffner; Joseph Y. Halpern (J. Econ. Theory, 2024)

A Causal Analysis of Harm. - Sander Beckers; Hana Chockler; Joseph Y. Halpern (Minds Mach., 2024)

Bounding the communication complexity of fault-tolerant common coin tossing. - Ivan Geffner; Joseph Y. Halpern (ACM Trans. Comput. Theory, 2024)

A Unifying Framework for Causal Modeling With Infinitely Many Variables. - Spencer Peters; Joseph Y. Halpern (J. Artif. Intell. Res., 2025)