Joseph Y. Halpern
Orcid: 0000000292291663Affiliations:
 Cornell University, Computer Science Department
According to our database^{1},
Joseph Y. Halpern
authored at least 388 papers
between 1981 and 2024.
Collaborative distances:
Collaborative distances:
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 Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
Minds Mach., September, 2024
J. Econ. Theory, 2024
CoRR, 2024
CoRR, 2024
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems.
CoRR, 2024
CoRR, 2024
CoRR, 2024
CoRR, 2024
Proceedings of the 38th International Symposium on Distributed Computing, 2024
2023
Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents.
J. ACM, April, 2023
CoRR, 2023
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
Proceedings of the Uncertainty in Artificial Intelligence, 2023
Proceedings of the 24th ACM Conference on Economics and Computation, 2023
Proceedings of the 24th ACM Conference on Economics and Computation, 2023
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023
Proceedings of the ThirtySecond International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Conference on Causal Learning and Reasoning, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
J. ACM, 2022
IACR Cryptol. ePrint Arch., 2022
CoRR, 2022
CoRR, 2022
Proceedings of the ThirtySixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the ThirtySixth AAAI Conference on Artificial Intelligence, 2022
2021
ACM Trans. Economics and Comput., 2021
J. Econ. Theory, 2021
The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior.
CoRR, 2021
CoRR, 2021
CoRR, 2021
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021
CoRR, 2021
CoRR, 2021
Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk).
Proceedings of the 3rd International Conference on Blockchain Economics, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
Proceedings of the ThirtyFifth AAAI Conference on Artificial Intelligence, 2021
2020
Rev. Symb. Log., 2020
Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMultiArmed Bandits.
CoRR, 2020
CoRR, 2020
Artif. Intell., 2020
Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play MultiArmed Bandits.
Proceedings of the ThirtySixth Conference on Uncertainty in Artificial Intelligence, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
2019
ACM Trans. Economics and Comput., 2019
ACM Trans. Economics and Comput., 2019
Games Econ. Behav., 2019
CoRR, 2019
A Conceptually WellFounded Characterization of Iterated Admissibility Using an "All I Know" Operator.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
CoRR, 2019
Artif. Intell., 2019
Proceedings of the ThirtyFifth Conference on Uncertainty in Artificial Intelligence, 2019
Proceedings of the Algorithmic Game Theory  12th International Symposium, 2019
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
2018
J. Artif. Intell. Res., 2018
Int. J. Game Theory, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
IncentiveCompatible Mechanisms for Norm Monitoring in Open MultiAgent Systems (Extended Abstract).
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility.
Proceedings of the ThirtySecond AAAI Conference on Artificial Intelligence, 2018
2017
From qualitative to quantitative proofs of security properties using firstorder conditional logic.
J. Comput. Secur., 2017
J. Artif. Intell. Res., 2017
Int. J. Game Theory, 2017
Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium.
Int. J. Game Theory, 2017
Games Econ. Behav., 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
Proceedings of the ThirtyFirst AAAI Conference on Artificial Intelligence, 2017
2016
Rev. Symb. Log., 2016
CoRR, 2016
CoRR, 2016
Proceedings of the ThirtySecond Conference on Uncertainty in Artificial Intelligence, 2016
Proceedings of the 2016 ACM Conference on Economics and Computation, 2016
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
Actual Causality.
MIT Press, ISBN: 9780262035026, 2016
2015
ACM Trans. Economics and Comput., 2015
J. Econ. Theory, 2015
J. Artif. Intell. Res., 2015
Games Econ. Behav., 2015
CoRR, 2015
CoRR, 2015
CoRR, 2015
CoRR, 2015
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015
Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015
Proceedings of the TwentyFourth International Joint Conference on Artificial Intelligence, 2015
Languagebased Games.
Proceedings of the ICAART 2015, 2015
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015
Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015
2014
Top. Cogn. Sci., 2014
Math. Soc. Sci., 2014
Math. Soc. Sci., 2014
J. Artif. Intell. Res., 2014
Games Econ. Behav., 2014
CoRR, 2014
CoRR, 2014
Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 110].
Artif. Intell., 2014
Artif. Intell., 2014
Not Just an Empty Threat: SubgamePerfect Equilibrium in Repeated Games Played by Computationally Bounded Players.
Proceedings of the Web and Internet Economics  10th International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
Rev. Symb. Log., 2013
Games Econ. Behav., 2013
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions
CoRR, 2013
CoRR, 2013
Cogn. Sci., 2013
Proceedings of the IJCAI 2013, 2013
Towards a deeper understanding of cooperative equilibrium: characterization and complexity.
Proceedings of the International conference on Autonomous Agents and MultiAgent Systems, 2013
2012
Int. J. Game Theory, 2012
Games Econ. Behav., 2012
Distributed Comput., 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 TwentyEighth Conference on Uncertainty in Artificial Intelligence, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Innovations in Theoretical Computer Science 2012, 2012
Proceedings of the Logic and Program Semantics, 2012
Proceedings of the TwentySixth AAAI Conference on Artificial Intelligence, 2012
2011
SIGecom Exch., 2011
SIGACT News, 2011
J. Artif. Intell. Res., 2011
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration.
J. Artif. Intell. Res., 2011
CoRR, 2011
CoRR, 2011
CoRR, 2011
CoRR, 2011
Log. Methods Comput. Sci., 2011
Commun. ACM, 2011
Artif. Intell., 2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2011), 2011
Proceedings of the Scalable Uncertainty Management  5th International Conference, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
Beyond Nash equilibrium: solution concepts for the 21st century.
Proceedings of the Lectures in Game Theory for Computer Scientists., 2011
2010
ACM Trans. Comput. Log., 2010
Games Econ. Behav., 2010
IEEE Data Eng. Bull., 2010
Distributed Comput., 2010
Distributed Comput., 2010
Proceedings of the UAI 2010, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
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
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010
2009
Synth., 2009
SIGecom Exch., 2009
Rev. Symb. Log., 2009
Rev. Symb. Log., 2009
Rev. Symb. Log., 2009
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium.
Int. J. Game Theory, 2009
Games Econ. Behav., 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2009), 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2009), 2009
Proceedings of the 25th International Conference on Data Engineering, 2009
Proceedings of the Auctions, 2009
2008
ACM Trans. Comput. Log., 2008
ACM Trans. Inf. Syst. Secur., 2008
ACM Trans. Inf. Syst. Secur., 2008
Rev. Symb. Log., 2008
J. ACM, 2008
Games Econ. Behav., 2008
CoRR, 2008
CoRR, 2008
An AlmostSurely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience
CoRR, 2008
Proceedings of the UAI 2008, 2008
Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008
Proceedings of the TwentySeventh Annual ACM Symposium on Principles of Distributed Computing, 2008
An almostsurely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience.
Proceedings of the TwentySeventh Annual ACM Symposium on Principles of Distributed Computing, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the 24th International Conference on Data Engineering, 2008
2007
J. Log. Comput., 2007
Characterizing and reasoning about probabilistic and nonprobabilistic expectation.
J. ACM, 2007
CoRR, 2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK2007), 2007
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC2007), 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the 23rd International Conference on Data Engineering, 2007
2006
IEEE/ACM Trans. Netw., 2006
J. Artif. Intell. Res., 2006
CoRR, 2006
CoRR, 2006
Proceedings of the Proceedings 7th ACM Conference on Electronic Commerce (EC2006), 2006
Proceedings of the TwentyFifth ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, 2006
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation.
Proceedings of the TwentyFifth Annual ACM Symposium on Principles of Distributed Computing, 2006
Proceedings of the Proceedings, 2006
2005
A conebased distributed topologycontrol algorithm for wireless multihop networks.
IEEE/ACM Trans. Netw., 2005
Log. Methods Comput. Sci., 2005
J. Comput. Secur., 2005
A knowledgetheoretic analysis of uniform distributed coordination and failure detectors.
Distributed Comput., 2005
Proceedings of the Handbook on Theoretical and Algorithmic Aspects of Sensor, 2005
Reasoning about uncertainty.
MIT Press, ISBN: 9780262582599, 2005
2004
IEEE Trans. Wirel. Commun., 2004
SIAM J. Comput., 2004
J. Artif. Intell. Res., 2004
J. Artif. Intell. Res., 2004
Inf. Comput., 2004
Distributed Comput., 2004
Great expectations. Part II: generalized expected utility as a universal decision rule.
Artif. Intell., 2004
Proceedings of the UAI '04, 2004
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
ACM Trans. Comput. Log., 2003
ACM Trans. Inf. Syst. Secur., 2003
J. Comput. Secur., 2003
J. Artif. Intell. Res., 2003
J. ACM, 2003
Games Econ. Behav., 2003
CoRR, 2003
Erratum to "Zeroone laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157193].
Ann. Pure Appl. Log., 2003
Great Expectations. Part I: On the Customizability of Generalized Expected Utility.
Proceedings of the IJCAI03, 2003
2002
J. Econ. Theory, 2002
J. Artif. Intell. Res., 2002
J. ACM, 2002
Proceedings of the UAI '02, 2002
Proceedings of the Twentyfirst ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, 2002
Proceedings of the Formal Aspects of Security, First International Conference, 2002
2001
SIAM J. Comput., 2001
J. Log. Comput., 2001
J. Comput. Secur., 2001
J. Artif. Intell. Res., 2001
J. ACM, 2001
On the NPcompleteness of finding an optimal strategy in games with common payoffs.
Int. J. Game Theory, 2001
Games Econ. Behav., 2001
Games Econ. Behav., 2001
Distributed Comput., 2001
Bull. Symb. Log., 2001
Proceedings of the UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, 2001
Analysis of a conebased distributed topology control algorithm for wireless multihop networks.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001
Causes and Explanations: A StructuralModel 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
Proceedings of the IEEE International Conference on Communications, 2001
2000
ACM Trans. Comput. Log., 2000
ACM J. Comput. Documentation, 2000
ACM J. Comput. Documentation, 2000
J. Artif. Intell. Res., 2000
J. ACM, 2000
Distributed Comput., 2000
CoRR, 2000
Proceedings of the Discovery Science, 2000
A decisiontheoretic approach to resource allocation in wireless multimedia networks.
Proceedings of the 4th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIALM 2000), 2000
1999
J. Log. Lang. Inf., 1999
J. Artif. Intell. Res., 1999
J. Artif. Intell. Res., 1999
J. Artif. Intell. Res., 1999
Int. J. Game Theory, 1999
Int. J. Game Theory, 1999
CoRR, 1999
Ann. Pure Appl. Log., 1999
Ann. Math. Artif. Intell., 1999
Ann. Math. Artif. Intell., 1999
Artif. Intell., 1999
Proceedings of the Eighteenth ACM SIGACTSIGMODSIGART Symposium on Principles of Database Systems, May 31, 1999
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
SIAM J. Comput., 1998
J. ACM, 1998
D Lib Mag., 1998
Artif. Intell., 1998
Proceedings of the UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Minds Mach., 1997
J. Log. Comput., 1997
J. Artif. Intell. Res., 1997
J. ACM, 1997
Distributed Comput., 1997
Comput. Intell., 1997
Artif. Intell., 1997
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997
Using MultiAgent Systems to Represent Uncertainty (invited talk).
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997
1996
SIAM J. Comput., 1996
J. Symb. Log., 1996
J. Philos. Log., 1996
Artif. Intell., 1996
Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996
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
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
Inf. Comput., May, 1995
J. ACM, 1995
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
Artif. Intell., 1995
Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
MIT Press, ISBN: 9780262562003, 1995
1994
Inf. Comput., July, 1994
J. Artif. Intell. Res., 1994
J. ACM, 1994
Comput. Intell., 1994
Ann. Pure Appl. Log., 1994
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 KnowledgeBased 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 KnowledgeBased 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
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Math. Syst. Theory, 1993
Math. Syst. Theory, 1993
J. Log. Comput., 1993
J. ACM, 1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
J. Symb. Log., 1992
A Little Knowledge Goes a Long Way: KnowledgeBased Derivations and Correctness Proofs for a Family of Protocols.
J. ACM, 1992
J. ACM, 1992
Artif. Intell., 1992
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
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
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Presburger Arithmetic with Unarr Predicates is Pi<sub>1</sub><sup>1</sup> Complete.
J. Symb. Log., 1991
J. ACM, 1991
J. ACM, 1991
Distributed Comput., 1991
Comput. Intell., 1991
Ann. Math. Artif. Intell., 1991
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991
Model Checking vs. Theorem Proving: A Manifesto.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Naming and Identity in a MultiAgent Epistemic Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
1990
J. ACM, July, 1990
J. ACM, January, 1990
Inf. Comput., 1990
Comput. Intell., 1990
Artif. Intell., 1990
Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990
1989
Inf. Comput., December, 1989
J. Comput. Syst. Sci., 1989
Distributed Comput., 1989
Decidability and Expressiveness for FirstOrder 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
J. Philos. Log., 1988
Reasoning About Knowledge: A Tutorial.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988
1987
Inf. Comput., March, 1987
Artif. Intell., 1987
Artif. Intell., 1987
A Little Knowledge Goes a Long Way: Simple Knowledgebased 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
Math. Syst. Theory, 1986
J. Philos. Log., 1986
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 Comput., 1986
Reasoning About Knowledge: An Overview.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986
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
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1985
SIAM J. Comput., 1985
J. Comput. Syst. Sci., 1985
J. Complex., 1985
Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985
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
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984
1983
J. ACM, July, 1983
Inf. Control., April, 1983
Theor. Comput. Sci., 1983
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 ALGOLlike Languages: an Overview.
Proceedings of the Logics of Programs, 1983
Proceedings of the Logics of Programs, 1983
Proceedings of the Automata, 1983
1982
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci., 1982
J. ACM, 1982
Proceedings of the Automata, 1982
1981
Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981
Proceedings of the Automata, 1981
The Propositional Dynamic Logic of Deterministic, WellStructured Programs (Extended Abstract)
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981