Joseph Y. Halpern

According to our database1, Joseph Y. Halpern authored at least 348 papers between 1981 and 2019.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Awards

ACM Fellow

ACM Fellow 2002, "For contributions to the modeling of and reasoning about uncertainty.".

IEEE Fellow

IEEE Fellow 2012, "For contributions to reasoning about knowledge and uncertainty".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Sequential Equilibrium in Computational Games.
ACM Trans. Economics and Comput., 2019

Distributed Protocols for Leader Election: A Game-Theoretic Perspective.
ACM Trans. Economics and Comput., 2019

The truth behind the myth of the Folk theorem.
Games and Economic Behavior, 2019

The Book of Why: Review.
CoRR, 2019

A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

Approximate Causal Abstraction.
CoRR, 2019

Security in Asynchronous Interactive Systems.
CoRR, 2019

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

Approximate Causal Abstractions.
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019

On the Existence of Nash Equilibrium in Games with Resource-Bounded Players.
Proceedings of the Algorithmic Game Theory - 12th International Symposium, 2019

Implementing Mediators with Asynchronous Cheap Talk.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Partial Awareness.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Blameworthiness in Multi-Agent Settings.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Abstracting Causal Models.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems.
J. Artif. Intell. Res., 2018

Game theory with translucent players.
Int. J. Game Theory, 2018

Combining the Causal Judgments of Experts with Possibly Different Focus Areas.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Information Acquisition Under Resource Limitations in a Noisy Environment.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Combining Experts' Causal Judgments.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
From qualitative to quantitative proofs of security properties using first-order conditional logic.
Journal of Computer Security, 2017

The Computational Complexity of Structure-Based Causality.
J. Artif. Intell. Res., 2017

Characterizing solution concepts in terms of common knowledge of rationality.
Int. J. Game Theory, 2017

Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium.
Int. J. Game Theory, 2017

Reasoning about rationality.
Games and Economic Behavior, 2017

A Knowledge-Based Analysis of the Blockchain Protocol.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

An Epistemic Foundation for Authentication Logics (Extended Abstract).
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Games With Tolerant Players.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

From Type Spaces to Probability Frames and Back, via Language.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Causality, Responsibility and Blame in Team Plans.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Incentivising Monitoring in Open Normative Systems.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Appropriate Causal Models and the stability of Causation.
Rev. Symb. Log., 2016

A Comment on "The Ecological Rationality of State-Dependent Valuation".
CoRR, 2016

Decentralised Norm Monitoring in Open Multi-Agent Systems.
CoRR, 2016

MDPs with Unawareness in Robotics.
Proceedings of the Thirty-Second Conference on Uncertainty in Artificial Intelligence, 2016

Computational Extensive-Form Games.
Proceedings of the 2016 ACM Conference on Economics and Computation, 2016

Rational Consensus: Extended Abstract.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Sequential Equilibrium in Games of Imperfect Recall.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract).
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Actual Causality.
MIT Press, ISBN: 978-0-262-03502-6, 2016

2015
An Equilibrium Analysis of Scrip Systems.
ACM Trans. Economics and Comput., 2015

Algorithmic rationality: Game theory with costly computation.
J. Economic Theory, 2015

Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty.
J. Artif. Intell. Res., 2015

Ambiguous language and common priors.
Games and Economic Behavior, 2015

On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players.
CoRR, 2015

Why Bother With Syntax?
CoRR, 2015

An Introduction to Logics of Knowledge and Belief.
CoRR, 2015

A Symbolic Logic with Concrete Bounds for Cryptographic Protocols.
CoRR, 2015

Translucent Players: Explaining Cooperative Behavior in Social Dilemmas.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Bayesian Games with Intentions.
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

A Modification of the Halpern-Pearl Definition of Causality.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Language-based Games.
Proceedings of the ICAART 2015, 2015

Minimizing Regret in Dynamic Decision Problems.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

Responsibility judgments in voting scenarios.
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014
Extensive games with possibly unaware players.
Mathematical Social Sciences, 2014

Reasoning about knowledge of unawareness revisited.
Mathematical Social Sciences, 2014

A Procedural Characterization of Solution Concepts in Games.
J. Artif. Intell. Res., 2014

Conditional belief types.
Games and Economic Behavior, 2014

Cooperative Equilibrium: A solution predicting cooperative play.
CoRR, 2014

Cause, Responsibility, and Blame: oA Structural-Model Approach.
CoRR, 2014

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

A logic for reasoning about ambiguity.
Artif. Intell., 2014

Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players.
Proceedings of the Web and Internet Economics - 10th International Conference, 2014

Axiomatizing Rationality.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013
From Causal Models to Counterfactual Structures.
Rev. Symb. Log., 2013

Conservative belief and rationality.
Games and Economic Behavior, 2013

Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions
CoRR, 2013

Decision Theory with Resource-Bounded Agents.
CoRR, 2013

Graded Causation and Defaults.
CoRR, 2013

Compact Representations of Extended Causal Models.
Cognitive Science, 2013

Language-based Games.
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

Constructive Decision Theory.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

Towards a deeper understanding of cooperative equilibrium: characterization and complexity.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012
Generalized solution concepts in games with possibly unaware players.
Int. J. Game Theory, 2012

Iterated regret minimization: A new solution concept.
Games and Economic Behavior, 2012

Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion.
Distributed Computing, 2012

Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004)
CoRR, 2012

Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions.
Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

Ambiguous Language and Differences in Beliefs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

No justified complaints: on fair sharing of multiple resources.
Proceedings of the Innovations in Theoretical Computer Science 2012, 2012

Dexter Kozen: An Appreciation.
Proceedings of the Logic and Program Semantics, 2012

I'm Doing as Well as I Can: Modeling People as Rational Finite Automata.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Algorithmic rationality: adding cost of computation to game theory.
SIGecom Exchanges, 2011

Distributed computing meets game theory: combining insights from two fields.
SIGACT News, 2011

Multiagent Learning in Large Anonymous Games.
J. Artif. Intell. Res., 2011

Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration.
J. Artif. Intell. Res., 2011

I Don't Want to Think About it Now:Decision Theory With Costly Computation
CoRR, 2011

Actual causation and the art of modeling
CoRR, 2011

Viewpoint: Journals for Certification, Conferences for Rapid Dissemination
CoRR, 2011

A Counter Example to Theorems of Cox and Fine
CoRR, 2011

Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Logical Methods in Computer Science, 2011

Journals for certification, conferences for rapid dissemination.
Commun. ACM, 2011

Dealing with logical omniscience: Expressiveness and pragmatics.
Artif. Intell., 2011

Reasoning about justified belief.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Beyond Nash Equilibrium: Solution Concepts for the 21st Century.
Proceedings of the Decision and Game Theory for Security - Second International Conference, 2011

Constructive Decision Theory: Short Summary.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
Erratum for "What causes a system to satisfy a specification?".
ACM Trans. Comput. Log., 2010

Lexicographic probability, conditional probability, and nonstandard probability.
Games and Economic Behavior, 2010

Causality in Databases.
IEEE Data Eng. Bull., 2010

A knowledge-based analysis of global function computation.
Distributed Computing, 2010

On spectrum sharing games.
Distributed Computing, 2010

MDPs with Unawareness.
Proceedings of the UAI 2010, 2010

Awareness in Games, Awareness in Logic.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

I Don't Want to Think About it Now: Decision Theory with Costly Computation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Game Theory with Costly Computation: Formulation and Application to Protocol Security.
Proceedings of the Innovations in Computer Science, 2010

Cooperative equilibrium.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009
Evidence with uncertain likelihoods.
Synthese, 2009

Solution to Exchanges 8.1 puzzle: identifying the champion.
SIGecom Exchanges, 2009

Defining Knowledge in Terms of Belief: the Modal Logic Perspective.
Rev. Symb. Log., 2009

On Definability in Multimodal Logic.
Rev. Symb. Log., 2009

Intransitivity and Vagueness - Corrigendum.
Rev. Symb. Log., 2009

A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium.
Int. J. Game Theory, 2009

Reasoning about knowledge of unawareness.
Games and Economic Behavior, 2009

An epistemic characterization of zero knowledge.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

A logical characterization of iterated admissibility.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Shared Winner Determination in Sponsored Search Auctions.
Proceedings of the 25th International Conference on Data Engineering, 2009

Manipulating Scrip Systems: Sybils and Collusion.
Proceedings of the Auctions, 2009

2008
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log., 2008

Using First-Order Logic to Reason about Policies.
ACM Trans. Inf. Syst. Secur., 2008

Secrecy in Multiagent Systems.
ACM Trans. Inf. Syst. Secur., 2008

Intransitivity and Vagueness.
Rev. Symb. Log., 2008

A formal foundation for XrML.
J. ACM, 2008

Interactive unawareness revisited.
Games and Economic Behavior, 2008

Iterated Regret Minimization: A More Realistic Solution Concept
CoRR, 2008

Game Theory with Costly Computation
CoRR, 2008

An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience
CoRR, 2008

A Game-Theoretic Analysis of Updating Sets of Probabilities.
Proceedings of the UAI 2008, 2008

Lower Bounds on Implementing Robust and Resilient Mediators.
Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008

The lotus-eater attack.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Defaults and Normality in Causal Structures.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Toward Expressive and Scalable Sponsored Search Auctions.
Proceedings of the 24th International Conference on Data Engineering, 2008

2007
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic.
J. Log. Comput., 2007

Characterizing and reasoning about probabilistic and non-probabilistic expectation.
J. ACM, 2007

Computer Science and Game Theory: A Brief Survey
CoRR, 2007

Dealing with logical omniscience.
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Optimizing scrip systems: efficiency, crashes, hoarders, and altruists.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007

Characterizing Solution Concepts in Games Using Knowledge-Based Programs.
Proceedings of the IJCAI 2007, 2007

Worst-Case Background Knowledge for Privacy-Preserving Data Publishing.
Proceedings of the 23rd International Conference on Data Engineering, 2007

2006
Gossip-based ad hoc routing.
IEEE/ACM Trans. Netw., 2006

A Logic for Reasoning about Evidence.
J. Artif. Intell. Res., 2006

Using Sets of Probability Measures to Represent Uncertainty
CoRR, 2006

Expressing Security Properties Using Selective Interleaving Functions
CoRR, 2006

Efficiency and nash equilibria in a scrip system for P2P networks.
Proceedings of the Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), 2006

Causality, Responsibility, and Blame: A Structural-Model Approach.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

From statistical knowledge bases to degrees of belief: an overview.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Redoing the Foundations of Decision Theory.
Proceedings of the Proceedings, 2006

2005
A cone-based distributed topology-control algorithm for wireless multi-hop networks.
IEEE/ACM Trans. Netw., 2005

Probabilistic Algorithmic Knowledge.
Logical Methods in Computer Science, 2005

Anonymity and information hiding in multiagent systems.
Journal of Computer Security, 2005

A knowledge-theoretic analysis of uniform distributed coordination and failure detectors.
Distributed Computing, 2005

Minimum-Energy Topology Control Algorithms in Ad Hoc Networks.
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005

Reasoning about uncertainty.
MIT Press, ISBN: 978-0-262-58259-9, 2005

2004
A minimum-energy path-preserving topology-control algorithm.
IEEE Trans. Wireless Communications, 2004

Complete Axiomatizations for Reasoning about Knowledge and Time.
SIAM J. Comput., 2004

Representation Dependence in Probabilistic Inference.
J. Artif. Intell. Res., 2004

Responsibility and Blame: A Structural-Model Approach.
J. Artif. Intell. Res., 2004

Reasoning about common knowledge with infinitely many agents.
Inf. Comput., 2004

Using counterfactuals in knowledge-based programming.
Distributed Computing, 2004

Great expectations. Part II: generalized expected utility as a universal decision rule.
Artif. Intell., 2004

When Ignorance is Bliss.
Proceedings of the UAI '04, 2004

Rational secret sharing and multiparty computation: extended abstract.
Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004

Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
LICS 2001 special issue.
ACM Trans. Comput. Log., 2003

On the relationship between strand spaces and multi-agent systems.
ACM Trans. Inf. Syst. Secur., 2003

A Logical Reconstruction of SPKI.
Journal of Computer Security, 2003

Updating Probabilities.
J. Artif. Intell. Res., 2003

JACM's 50th anniversary.
J. ACM, 2003

A computer scientist looks at game theory.
Games and Economic Behavior, 2003

Modeling Belief in Dynamic Systems, Part II: Revisions and Update
CoRR, 2003

Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193].
Ann. Pure Appl. Log., 2003

Great Expectations. Part I: On the Customizability of Generalized Expected Utility.
Proceedings of the IJCAI-03, 2003

2002
Characterizing the Common Prior Assumption.
J. Economic Theory, 2002

A Logic for Reasoning about Upper Probabilities.
J. Artif. Intell. Res., 2002

Update: Time to publication statistics.
J. ACM, 2002

Reasoning about Expectation.
Proceedings of the UAI '02, 2002

Least Expected Cost Query Optimization: What Can We Expect?
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

Modeling Adversaries in a Logic for Security Protocol Analysis.
Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001
A Characterization of Eventual Byzantine Agreement.
SIAM J. Comput., 2001

Multi-agent Only Knowing.
J. Log. Comput., 2001

A Logic for SDSI's Linked Local Name Spaces.
Journal of Computer Security, 2001

Conditional Plausibility Measures and Bayesian Networks.
J. Artif. Intell. Res., 2001

Plausibility measures and default reasoning.
J. ACM, 2001

On the NP-completeness of finding an optimal strategy in games with common payoffs.
Int. J. Game Theory, 2001

Substantive Rationality and Backward Induction.
Games and Economic Behavior, 2001

Alternative Semantics for Unawareness.
Games and Economic Behavior, 2001

A decision-theoretic approach to reliable message delivery.
Distributed Computing, 2001

On the unusual effectiveness of logic in computer science.
Bulletin of Symbolic Logic, 2001

Causes and Explanations: A Structural-Model Approach: Part 1: Causes.
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001

Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Causes and Explanations: A Structural-Model Approach - Part II: Explanations.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Plausibility Measures: A General Approach For Representing Uncertainty.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Minimum-energy mobile wireless networks revisited.
Proceedings of the IEEE International Conference on Communications, 2001

2000
First-order conditional logic for default reasoning revisited.
ACM Trans. Comput. Log., 2000

A response to the commentaries on CoRR.
ACM Journal of Computer Documentation, 2000

CoRR: a computing research repository.
ACM Journal of Computer Documentation, 2000

Axiomatizing Causal Reasoning.
J. Artif. Intell. Res., 2000

Editorial: a bill of rights and responsibilities.
J. ACM, 2000

A note on knowledge-based programs and specifications.
Distributed Computing, 2000

Causes and Explanations: A Structural-Model Approach, Part I: Causes
CoRR, 2000

Degrees of Belief, Random Worlds, and Maximum Entropy.
Proceedings of the Discovery Science, 2000

A decision-theoretic approach to resource allocation in wireless multimedia networks.
Proceedings of the 4th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2000), 2000

1999
Belief Revision: A Critique.
Journal of Logic, Language and Information, 1999

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

A Counterexample to Theorems of Cox and Fine.
J. Artif. Intell. Res., 1999

Modeling Belief in Dynamic Systems, Part II: Revision and Update.
J. Artif. Intell. Res., 1999

Hypothetical knowledge and counterfactual reasoning.
Int. J. Game Theory, 1999

The hierarchical approach to modeling knowledge and common knowledge.
Int. J. Game Theory, 1999

Cox's Theorem Revisited
CoRR, 1999

Common Knowledge Revisited.
Ann. Pure Appl. Log., 1999

Errata: "The relationship between knowledge, belief, and certainty".
Ann. Math. Artif. Intell., 1999

Set-theoretic completeness for epistemic and conditional logic.
Ann. Math. Artif. Intell., 1999

Reasoning about Noisy Sensors and Effectors in the Situation Calculus.
Artif. Intell., 1999

Least Expected Cost Query Optimization: An Exercise in Utility.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

Plausibility Measures and Default Reasoning: An Overview.
Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, 1999

The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research.
Proceedings of the Fourth ACM conference on Digital Libraries, 1999

1998
Performing Work Efficiently in the Presence of Faults.
SIAM J. Comput., 1998

Time to Publication: A Progress Report.
J. ACM, 1998

A Computing Research Repository.
D-Lib Mag., 1998

On the Knowledge Requirements of Tasks.
Artif. Intell., 1998

Updating Sets of Probabilities.
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998

Using Multi-Agent Systems to Represent Uncertainty.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Belief Revision with Unreliable Observations.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Reasoning about Knowledge: A Response by the Authors.
Minds and Machines, 1997

A Theory of Knowledge and Ignorance for Many Agents.
J. Log. Comput., 1997

Defining Relative Likelihood in Partially-Ordered Structures.
J. Artif. Intell. Res., 1997

On becoming editor-in-chief of JACM.
J. ACM, 1997

Knowledge-Based Programs.
Distributed Computing, 1997

A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.
Computational Intelligence, 1997

Modeling Belief in Dynamic Systems, Part I: Foundations.
Artif. Intell., 1997

Probability Update: Conditioning vs. Cross-Entropy.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Defining Explanation in Probabilistic Systems.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Using Multi-Agent Systems to Represent Uncertainty (invited talk).
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

1996
Asymptotic Conditional Probabilities: The Unary Case.
SIAM J. Comput., 1996

Asymptotic Conditional Probabilities: The Non-Unary Case.
J. Symb. Log., 1996

Should knowledge entail belief?
J. Philosophical Logic, 1996

From Statistical Knowledge Bases to Degrees of Belief.
Artif. Intell., 1996

Defining Relative Likelihood in Partially-Ordered Preferential Structures.
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

A Qualitative Markov Assumption and Its Implications for Belief Change.
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

On Ambiguities in the Interpretation of Game Trees.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Irrelevance and Conditioning in First-Order Probabilistic Logic.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

First-Order Conditional Logic Revisited.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Full Abstraction and Expressive Completeness for FP
Inf. Comput., May, 1995

Dynamic Fault-Tolerant Clock Synchronization.
J. ACM, 1995

Levesque's Axiomatization of only Knowing is Incomplete.
Artif. Intell., 1995

The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.
Artif. Intell., 1995

A Nonstandard Approach to the Logical Omniscience Problem.
Artif. Intell., 1995

Plausibility Measures: A User's Guide.
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Reasoning about Noisy Sensors in the Situation Calculus.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Decidability and Expressiveness for First-Order Logics of Probability
Inf. Comput., July, 1994

Random Worlds and Maximum Entropy.
J. Artif. Intell. Res., 1994

Reasoning About Knowledge and Probability.
J. ACM, 1994

A Response to "Believing on the Basis of the Evidence".
Computational Intelligence, 1994

Zero-One Laws for Modal Logic.
Ann. Pure Appl. Log., 1994

Generating New Beliefs from Old.
Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Algorithmic Knowledge.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

A Knowledge-Based Framework for Belief change, Part I: Foundations.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

On the Complexity of Conditional Logics.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Conditional Logics of Belief Change.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Operational Semantics for Knowledge Bases.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Forming Beliefs about a Changing World.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
The Failure Discovery Problem.
Mathematical Systems Theory, 1993

Message-Optimal Protocols for Byzantine Agreement.
Mathematical Systems Theory, 1993

Naming and Identity in Epistemic Logics Part I: The Propositional Case.
J. Log. Comput., 1993

Knowledge, Probability, and Adversaries.
J. ACM, 1993

Statistical Foundations for Default Reasoning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Generating Degrees of Belief from Statistical Information: An Overview.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Reasoning about only Knowing with Many Agents.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
What Is an Inference Rule?
J. Symb. Log., 1992

A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.
J. ACM, 1992

What Can Machines Know? On the Properties of Knowledge in Distributed Systems.
J. ACM, 1992

A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.
Artif. Intell., 1992

Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.
Artif. Intell., 1992

The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

Asymptotic Conditional Probabilities for First-Order Logic
Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

A Logic for Approximate Reasoning.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

From Statistics to Beliefs.
Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991
Presburger Arithmetic with Unarr Predicates is Pi11 Complete.
J. Symb. Log., 1991

A Propositional Modal Logic of Time Intervals.
J. ACM, 1991

A Model-Theoretic Analysis of Knowledge.
J. ACM, 1991

Clock Synchronization and the Power of Broadcasting.
Distributed Computing, 1991

Uncertainty, belief, and probability.
Computational Intelligence, 1991

The relationship between knowledge, belief and certainty.
Ann. Math. Artif. Intell., 1991

Knowledge and Probability in Distributed Systems (Abstract).
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Message-Optimal Protocols for Byzantine Agreement (Extended Abstract).
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Naming and Identity in a Multi-Agent Epistemic Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Model Checking vs. Theorem Proving: A Manifesto.
Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1990
Knowledge and Common Knowledge in a Distributed Environment
J. ACM, July, 1990

Completeness of Rewrite Rules and Rewrite Strategies for FP
J. ACM, January, 1990

A Logic for Reasoning about Probabilities
Inf. Comput., 1990

Let many flowers bloom: a response to An inquiry into computer understanding e.
Computational Intelligence, 1990

An Analysis of First-Order Logics of Probability.
Artif. Intell., 1990

A new approach to updating beliefs.
Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

1989
Reasoning about Procedures as Parameters in the Language L4
Inf. Comput., December, 1989

The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds.
J. Comput. Syst. Sci., 1989

Modelling Knowledge and Action in Distributed Systems.
Distributed Computing, 1989

Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1988
I'm OK if you're OK: On the notion of trusting communication.
J. Philosophical Logic, 1988

Reasoning About Knowledge: A Tutorial.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Reasoning about Knowledge and Time in Asynchronous Systems
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

1987
A New Look at Fault-Tolerant Network Routing
Inf. Comput., March, 1987

A Logic to Reason about Likelihood.
Artif. Intell., 1987

Belief, Awareness, and Limited Reasoning. .
Artif. Intell., 1987

A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols.
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

Full Abstraction and Expressive Completenes for FP
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986
On Time versus Space III.
Mathematical Systems Theory, 1986

Taken by surprise: The paradox of the surprise test revisited.
J. Philosophical Logic, 1986

On the Possibility and Impossibility of Achieving Clock Synchronization.
J. Comput. Syst. Sci., 1986

"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.
J. ACM, 1986

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication.
Distributed Computing, 1986

Reasoning About Knowledge: An Overview.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

The Complexity of Reasoning about Knowledge and Time: Extended Abstract
Proceedings of the 18th Annual ACM Symposium on Theory of Computing, 1986

Good Rewrite Strategies for FP
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

A Propositional Model Logic of Time Intervals
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

True Relative Completeness of an Axiom System for the Language L4 (Abridged)
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

What Can Machines Know? On the Epistemic Properties of Machines.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
Equations Between Regular Terms and an Application to Process Logic.
SIAM J. Comput., 1985

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.
J. Comput. Syst. Sci., 1985

Optimal precision in the presence of uncertainty.
J. Complex., 1985

Optimal Precision in the Presence of Uncertainty (Preliminary Version)
Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Denotational Semantics and Rewrite Rules for FP.
Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version).
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report.
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Belief, Awareness, and Limited Reasoning: Preliminary Report.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
The Semantics of Local Storage, or What Makes the Free-List Free?
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

A Good Hoare Axiom System for an Algol-like Language.
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Fault-Tolerant Clock Synchronization.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Towards a Theory of Knowledge and Ignorance: Preliminary Report.
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

A Model-Theoretic Analysis of Knowledge: Preliminary Report
Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

Likelihood, Probability, and Knowledge.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
Effective Axiomatizations of Hoare Logics
J. ACM, July, 1983

Deterministic Process Logic is Elementary
Information and Control, April, 1983

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs.
Theor. Comput. Sci., 1983

"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.
Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.
Proceedings of the Logics of Programs, 1983

Reasoning About Procedures as Parameters.
Proceedings of the Logics of Programs, 1983

A Hardware Semantics Based on Temporal Intervals.
Proceedings of the Automata, 1983

1982
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci., 1982

Axiomatic Definitions of Programming Languages: A Theoretical Assessment.
J. ACM, 1982

On the Power of Nondeterminism in Dynamic Logic.
Proceedings of the Automata, 1982

1981
Axiomatic Definitions of Programming Languages, II.
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Finite Models for Deterministic Propositional Dynamic Logic.
Proceedings of the Automata, 1981

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981


  Loading...