Joseph Y. Halpern
Orcid: 0000-0002-9229-1663Affiliations:
- Cornell University, Computer Science Department
According to our database1,
Joseph Y. Halpern
authored at least 387 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 d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 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 Thirty-Second 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
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
ACM Trans. Economics and Comput., 2021
The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior.
CoRR, 2021
Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 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 Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits.
CoRR, 2020
Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits.
Proceedings of the Thirty-Sixth 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
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
Proceedings of the Thirty-Fifth 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 Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
J. Artif. Intell. Res., 2018
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
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.
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
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 Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the Thirty-Second 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: 978-0-262-03502-6, 2016
2015
J. Artif. Intell. Res., 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 Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Language-based 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
J. Artif. Intell. Res., 2014
Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10].
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
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
2013
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions
CoRR, 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
Int. J. Game Theory, 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 Twenty-Eighth 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 Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
SIGecom Exch., 2011
SIGACT News, 2011
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration.
J. Artif. Intell. Res., 2011
CoRR, 2011
CoRR, 2011
Log. Methods Comput. Sci., 2011
Artif. Intell., 2011
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 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
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
Rev. Symb. Log., 2009
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium.
Int. J. Game Theory, 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009
Proceedings of the 25th International Conference on Data Engineering, 2009
2008
An Almost-Surely 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 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
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
J. ACM, 2007
Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the 23rd International Conference on Data Engineering, 2007
2006
Proceedings of the Proceedings 7th ACM Conference on Electronic Commerce (EC-2006), 2006
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
2005
IEEE/ACM Trans. Netw., 2005
A knowledge-theoretic 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: 978-0-262-58259-9, 2005
2004
IEEE Trans. Wirel. Commun., 2004
SIAM J. Comput., 2004
Great expectations. Part II: generalized expected utility as a universal decision rule.
Artif. Intell., 2004
Proceedings of the 36th Annual ACM Symposium on Theory of Computing, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
2003
ACM Trans. Inf. Syst. Secur., 2003
Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193].
Ann. Pure Appl. Log., 2003
Proceedings of the IJCAI-03, 2003
2002
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002
Proceedings of the Formal Aspects of Security, First International Conference, 2002
2001
J. Artif. Intell. Res., 2001
Int. J. Game Theory, 2001
Distributed Comput., 2001
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
Proceedings of the IEEE International Conference on Communications, 2001
2000
ACM Trans. Comput. Log., 2000
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
J. Artif. Intell. Res., 1999
Int. J. Game Theory, 1999
Ann. Math. Artif. Intell., 1999
Ann. Math. Artif. Intell., 1999
Artif. Intell., 1999
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART 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
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
J. Artif. Intell. Res., 1997
Comput. 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 Multi-Agent Systems to Represent Uncertainty (invited talk).
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997
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
The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.
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
1994
Inf. Comput., July, 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 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
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
J. Log. Comput., 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
A Little Knowledge Goes a Long Way: Knowledge-Based 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
J. Symb. Log., 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 Multi-Agent Epistemic Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
1990
Comput. 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
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
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
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
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
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
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 ALGOL-like Languages: an Overview.
Proceedings of the Logics of Programs, 1983
Proceedings of the Logics of Programs, 1983
1982
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.
J. Comput. Syst. Sci., 1982
J. ACM, 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, Well-Structured Programs (Extended Abstract)
Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981