Joseph Y. Halpern

644 papers A* 136A 39B 43C 5Journal 372Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Unifying Framework for Causal Modeling With Infinitely Many Variables. J. Artif. Intell. Res. Spencer Peters, Joseph Y. Halpern
2025	B	`conf`	Causality Without Causal Models. TARK Joseph Y. Halpern, Rafael Pass
2025	C	`conf`	Intents in Actions. ICAIL Joseph Y. Halpern, Meir Friedenberg
2025	J	`jnl`	Qualitative Mechanism Independence. CoRR Oliver E. Richardson, Spencer Peters, Joseph Y. Halpern
2025	J	`jnl`	Tracking Truth with Liquid Democracy. Manag. Sci. Adam J. Berinsky, Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel
2024	J	`jnl`	A Causal Analysis of Harm. Minds Mach. Sander Beckers, Hana Chockler, Joseph Y. Halpern
2024	A	`conf`	A Knowledge-Based Analysis of Intersection Protocols. DISC Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2024	J	`jnl`	A Knowledge-Based Analysis of Intersection Protocols. CoRR Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2024	A*	`conf`	A Representation Theorem for Causal Decision Making. KR Joseph Y. Halpern, Evan Piermont
2024	J	`jnl`	Bounding the communication complexity of fault-tolerant common coin tossing. ACM Trans. Comput. Theory Ivan Geffner, Joseph Y. Halpern
2024	J	`jnl`	Communication games, sequential equilibrium, and mediators. J. Econ. Theory Ivan Geffner, Joseph Y. Halpern
2024	A*	`conf`	Explaining Image Classifiers. KR Hana Chockler, Joseph Y. Halpern
2024	J	`jnl`	Explaining Image Classifiers. CoRR Hana Chockler, Joseph Y. Halpern
2024	A*	`conf`	Intervention and Conditioning in Causal Bayesian Networks. NeurIPS Sainyam Galhotra, Joseph Y. Halpern
2024	J	`jnl`	Intervention and Conditioning in Causal Bayesian Networks. CoRR Sainyam Galhotra, Joseph Y. Halpern
2024	J	`jnl`	Mathematical Explanations. CoRR Joseph Y. Halpern
2024	A*	`conf`	Qualitative Mechanism Independence. NeurIPS Oliver Richardson, Spencer J. Peters, Joseph Y. Halpern
2024	J	`jnl`	Subjective Causality. CoRR Joseph Y. Halpern, Evan Piermont
2023	—	`conf`	A Causal Analysis of Harm. EWAF Sander Beckers, Hana Chockler, Joseph Y. Halpern
2023	J	`jnl`	Bounding the Communication Complexity of Fault-Tolerant Common Coin Tossing. CoRR Ivan Geffner, Joseph Y. Halpern
2023	—	`conf`	Causal Models with Constraints. CLeaR Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock
2023	J	`jnl`	Causal Models with Constraints. CoRR Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock
2023	A*	`conf`	Chunking Tasks for Present-Biased Agents. EC Joseph Y. Halpern, Aditya Saraf
2023	A	`conf`	Colordag: An Incentive-Compatible Blockchain. DISC Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern
2023	J	`jnl`	Colordag: An Incentive-Compatible Blockchain. CoRR Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern
2023	J	`jnl`	Communication games, sequential equilibrium, and mediators. CoRR Ivan Geffner, Joseph Y. Halpern
2023	A*	`conf`	In Defense of Liquid Democracy. EC Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel
2023	J	`jnl`	Inference for Probabilistic Dependency Graphs. CoRR Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa
2023	A	`conf`	Inference for probabilistic dependency graphs. UAI Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa
2023	B	`conf`	Joint Behavior and Common Belief. TARK Meir Friedenberg, Joseph Y. Halpern
2023	J	`jnl`	Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents. J. ACM Ivan Geffner, Joseph Y. Halpern
2023	A*	`conf`	Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2023	J	`jnl`	Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden
2023	A*	`conf`	Quantifying Harm. IJCAI Sander Beckers, Hana Chockler, Joseph Y. Halpern
2023	B	`conf`	Sequential Language-based Decisions. TARK Adam Bjorndahl, Joseph Y. Halpern
2023	A	`conf`	Strategic Play By Resource-Bounded Agents in Security Games. AAMAS Xinming Liu, Joseph Y. Halpern
2023	J	`jnl`	Strategic Play By Resource-Bounded Agents in Security Games. CoRR Xinming Liu, Joseph Y. Halpern
2022	A*	`conf`	A Causal Analysis of Harm. NeurIPS Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	A Causal Analysis of Harm. CoRR Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	A Quantitative Account of Harm. CoRR Sander Beckers, Hana Chockler, Joseph Y. Halpern
2022	J	`jnl`	Colordag: An Incentive-Compatible Blockchain. IACR Cryptol. ePrint Arch. Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern
2022	J	`jnl`	From Outcome-Based to Language-Based Preferences. CoRR Valerio Capraro, Joseph Y. Halpern, Matjaz Perc
2022	J	`jnl`	Information Acquisition Under Resource Limitations in a Noisy Environment. J. ACM Matvey Soloviev, Joseph Y. Halpern
2022	A*	`conf`	On Testing for Discrimination Using Causal Models. AAAI Hana Chockler, Joseph Y. Halpern
2022	—	`book`	Probabilistic and Causal Inference: The Works of Judea Pearl Probabilistic and Causal Inference Hector Geffner, Rina Dechter, Joseph Y. Halpern
2022	A*	`conf`	Reasoning about Causal Models with Infinitely Many Variables. AAAI Joseph Y. Halpern, Spencer Peters
2021	J	`jnl`	Causal Modeling With Infinitely Many Variables. CoRR Spencer Peters, Joseph Y. Halpern
2021	J	`jnl`	Constructive decision theory. J. Econ. Theory Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
2021	—	`conf`	Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). Tokenomics Joseph Y. Halpern
2021	J	`jnl`	In Defense of Fluid Democracy. CoRR Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel
2021	B	`conf`	Language-based Decisions. TARK Adam Bjorndahl, Joseph Y. Halpern
2021	J	`jnl`	Lower Bounds Implementing Mediators in Asynchronous Systems. CoRR Ivan Geffner, Joseph Y. Halpern
2021	A*	`conf`	Probabilistic Dependency Graphs. AAAI Oliver Richardson, Joseph Y. Halpern
2021	B	`ed.`	Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. TARK Joseph Y. Halpern, Andrés Perea
2021	J	`jnl`	Reasoning About Causal Models With Infinitely Many Variables. CoRR Joseph Y. Halpern, Spencer Peters
2021	J	`jnl`	Security Properties as Nested Causal Statements. CoRR Matvey Soloviev, Joseph Y. Halpern
2021	C	`conf`	Security in Asynchronous Interactive Systems. SSS Ivan Geffner, Joseph Y. Halpern
2021	J	`jnl`	Sequential Equilibrium in Games of Imperfect Recall. ACM Trans. Economics and Comput. Joseph Y. Halpern, Rafael Pass
2021	J	`jnl`	The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior. CoRR Joseph Y. Halpern, Arnon Lotem
2020	J	`jnl`	A note on the existence of Ratifiable Acts. Rev. Symb. Log. Joseph Y. Halpern
2020	J	`jnl`	Bayesian games with intentions. Games Econ. Behav. Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2020	A	`conf`	Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. UAI Xinming Liu, Joseph Y. Halpern
2020	J	`jnl`	Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits. CoRR Xinming Liu, Joseph Y. Halpern
2020	J	`jnl`	Causality, Responsibility and Blame in Team Plans. CoRR Natasha Alechina, Joseph Y. Halpern, Brian Logan
2020	J	`jnl`	Combining Experts' Causal Judgments. CoRR Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020	J	`jnl`	Combining experts' causal judgments. Artif. Intell. Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2020	J	`jnl`	Combining the Causal Judgments of Experts with Possibly Different Focus Areas. CoRR Meir Friedenberg, Joseph Y. Halpern
2020	A*	`conf`	Dynamic Awareness. KR Joseph Y. Halpern, Evan Piermont
2020	J	`jnl`	Dynamic Awareness. CoRR Joseph Y. Halpern, Evan Piermont
2020	J	`jnl`	Information Acquisition Under Resource Limitations in a Noisy Environment. CoRR Matvey Soloviev, Joseph Y. Halpern
2020	J	`jnl`	MDPs with Unawareness in Robotics. CoRR Nan Rong, Joseph Y. Halpern, Ashutosh Saxena
2020	J	`jnl`	Probabilistic Dependency Graphs. CoRR Oliver Richardson, Joseph Y. Halpern
2020	J	`jnl`	Rational Consensus. CoRR Joseph Y. Halpern, Xavier Vilaça
2019	B	`conf`	A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. TARK Joseph Y. Halpern, Rafael Pass
2019	A*	`conf`	Abstracting Causal Models. AAAI Sander Beckers, Joseph Y. Halpern
2019	J	`jnl`	Approximate Causal Abstraction. CoRR Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern
2019	A	`conf`	Approximate Causal Abstractions. UAI Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern
2019	A*	`conf`	Blameworthiness in Multi-Agent Settings. AAAI Meir Friedenberg, Joseph Y. Halpern
2019	J	`jnl`	Blameworthiness in Multi-Agent Settings. CoRR Meir Friedenberg, Joseph Y. Halpern
2019	J	`jnl`	Distributed Protocols for Leader Election: A Game-Theoretic Perspective. ACM Trans. Economics and Comput. Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2019	A*	`conf`	Implementing Mediators with Asynchronous Cheap Talk. PODC Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern
2019	B	`conf`	On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. SAGT Joseph Y. Halpern, Rafael Pass, Daniel Reichman
2019	A*	`conf`	Partial Awareness. AAAI Joseph Y. Halpern, Evan Piermont
2019	J	`jnl`	Security in Asynchronous Interactive Systems. CoRR Ivan Geffner, Joseph Y. Halpern
2019	J	`jnl`	Sequential Equilibrium in Computational Games. ACM Trans. Economics and Comput. Joseph Y. Halpern, Rafael Pass
2019	J	`jnl`	The Book of Why, Judea Pearl. Basic Books (2018). Artif. Intell. Joseph Y. Halpern
2019	J	`jnl`	The Book of Why: Review. CoRR Joseph Y. Halpern
2019	J	`jnl`	The truth behind the myth of the Folk theorem. Games Econ. Behav. Joseph Y. Halpern, Rafael Pass, Lior Seeman
2018	J	`jnl`	Abstracting Causal Models. CoRR Sander Beckers, Joseph Y. Halpern
2018	A*	`conf`	Combining Experts' Causal Judgments. AAAI Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern
2018	A*	`conf`	Combining the Causal Judgments of Experts with Possibly Different Focus Areas. KR Meir Friedenberg, Joseph Y. Halpern
2018	J	`jnl`	Game theory with translucent players. Int. J. Game Theory Joseph Y. Halpern, Rafael Pass
2018	J	`jnl`	Implementing Mediators with Asynchronous Cheap Talk. CoRR Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern
2018	A*	`conf`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	J	`jnl`	Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2018	A*	`conf`	Information Acquisition Under Resource Limitations in a Noisy Environment. AAAI Matvey Soloviev, Joseph Y. Halpern
2018	J	`jnl`	Partial Awareness. CoRR Joseph Y. Halpern, Evan Piermont
2018	A*	`conf`	Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. AAAI Joseph Y. Halpern, Max Kleiman-Weiner
2018	J	`jnl`	Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. CoRR Joseph Y. Halpern, Max Kleiman-Weiner
2017	B	`conf`	A Knowledge-Based Analysis of the Blockchain Protocol. TARK Joseph Y. Halpern, Rafael Pass
2017	B	`conf`	An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella
2017	A	`conf`	Causality, Responsibility and Blame in Team Plans. AAMAS Natasha Alechina, Joseph Y. Halpern, Brian Logan
2017	J	`jnl`	Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory Joseph Y. Halpern, Yoram Moses
2017	J	`jnl`	Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory Joseph Y. Halpern
2017	B	`conf`	From Type Spaces to Probability Frames and Back, via Language. TARK Adam Bjorndahl, Joseph Y. Halpern
2017	J	`jnl`	From qualitative to quantitative proofs of security properties using first-order conditional logic. J. Comput. Secur. Joseph Y. Halpern
2017	B	`conf`	Games With Tolerant Players. TARK Arpita Ghosh, Joseph Y. Halpern
2017	A*	`conf`	Incentivising Monitoring in Open Normative Systems. AAAI Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2017	J	`jnl`	Reasoning about rationality. Games Econ. Behav. Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2017	J	`jnl`	The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2016	J	`jnl`	A Comment on "The Ecological Rationality of State-Dependent Valuation". CoRR Joseph Y. Halpern, Lior Seeman
2016	—	`book`	Actual Causality. Joseph Y. Halpern
2016	J	`jnl`	Appropriate Causal Models and the stability of Causation. Rev. Symb. Log. Joseph Y. Halpern
2016	J	`jnl`	Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR Joseph Y. Halpern, Yoram Moses
2016	A*	`conf`	Computational Extensive-Form Games. EC Joseph Y. Halpern, Rafael Pass, Lior Seeman
2016	J	`jnl`	Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	A	`conf`	Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan
2016	A	`conf`	MDPs with Unawareness in Robotics. UAI Nan Rong, Joseph Y. Halpern, Ashutosh Saxena
2016	A*	`conf`	Rational Consensus: Extended Abstract. PODC Joseph Y. Halpern, Xavier Vilaça
2016	A*	`conf`	Sequential Equilibrium in Games of Imperfect Recall. KR Joseph Y. Halpern, Rafael Pass
2015	A*	`conf`	A Modification of the Halpern-Pearl Definition of Causality. IJCAI Joseph Y. Halpern
2015	J	`jnl`	A Modification of the Halpern-Pearl Definition of Causality. CoRR Joseph Y. Halpern
2015	J	`jnl`	A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen
2015	J	`jnl`	Algorithmic rationality: Game theory with costly computation. J. Econ. Theory Joseph Y. Halpern, Rafael Pass
2015	J	`jnl`	Ambiguous language and common priors. Games Econ. Behav. Joseph Y. Halpern, Willemien Kets
2015	J	`jnl`	An Equilibrium Analysis of Scrip Systems. ACM Trans. Economics and Comput. Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2015	J	`jnl`	An Introduction to Logics of Knowledge and Belief. CoRR Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi
2015	B	`conf`	Bayesian Games with Intentions. TARK Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2015	J	`jnl`	Computational Extensive-Form Games. CoRR Joseph Y. Halpern, Rafael Pass, Lior Seeman
2015	—	`conf`	Language-based Games. ICAART (1) Joseph Y. Halpern
2015	C	`conf`	Minimizing Regret in Dynamic Decision Problems. ECSQARU Joseph Y. Halpern, Samantha Leung
2015	J	`jnl`	Minimizing Regret in Dynamic Decision Problems. CoRR Joseph Y. Halpern, Samantha Leung
2015	J	`jnl`	On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players. CoRR Joseph Y. Halpern, Rafael Pass, Daniel Reichman
2015	B	`conf`	Responsibility judgments in voting scenarios. CogSci Tobias Gerstenberg, Joseph Y. Halpern, Joshua B. Tenenbaum
2015	B	`conf`	Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. TARK Valerio Capraro, Joseph Y. Halpern
2015	J	`jnl`	Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. J. Artif. Intell. Res. Joseph Y. Halpern
2015	J	`jnl`	Why Bother With Syntax? CoRR Joseph Y. Halpern
2014	J	`jnl`	A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR Peter D. Grünwald, Joseph Y. Halpern
2014	J	`jnl`	A Logic for Reasoning about Evidence. CoRR Joseph Y. Halpern, Riccardo Pucella
2014	J	`jnl`	A Logic for Reasoning about Upper Probabilities. CoRR Joseph Y. Halpern, Riccardo Pucella
2014	J	`jnl`	A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. Joseph Y. Halpern, Yoram Moses
2014	J	`jnl`	A logic for reasoning about ambiguity. Artif. Intell. Joseph Y. Halpern, Willemien Kets
2014	J	`jnl`	A logic for reasoning about ambiguity. CoRR Joseph Y. Halpern, Willemien Kets
2014	J	`jnl`	Algorithmic Rationality: Game Theory with Costly Computation. CoRR Joseph Y. Halpern, Rafael Pass
2014	A*	`conf`	Appropriate Causal Models and Stability of Causation. KR Joseph Y. Halpern
2014	J	`jnl`	Appropriate Causal Models and the Stability of Causation. CoRR Joseph Y. Halpern
2014	J	`jnl`	Axiomatizing Causal Reasoning. CoRR Joseph Y. Halpern
2014	A*	`conf`	Axiomatizing Rationality. KR Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2014	J	`jnl`	Cause, Responsibility, and Blame: oA Structural-Model Approach. CoRR Joseph Y. Halpern
2014	J	`jnl`	Conditional Plausibility Measures and Bayesian Networks. CoRR Joseph Y. Halpern
2014	J	`jnl`	Conditional belief types. Games Econ. Behav. Alfredo Di Tillio, Joseph Y. Halpern, Dov Samet
2014	J	`jnl`	Cooperative Equilibrium: A solution predicting cooperative play. CoRR Nan Rong, Joseph Y. Halpern
2014	J	`jnl`	Decision Theory with Resource-Bounded Agents. Top. Cogn. Sci. Joseph Y. Halpern, Rafael Pass, Lior Seeman
2014	J	`jnl`	Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR Joseph Y. Halpern
2014	J	`jnl`	Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10]. Artif. Intell. Joseph Y. Halpern, Willemien Kets
2014	J	`jnl`	Evidence with Uncertain Likelihoods. CoRR Joseph Y. Halpern, Riccardo Pucella
2014	J	`jnl`	Extensive games with possibly unaware players. Math. Soc. Sci. Joseph Y. Halpern, Leandro Chaves Rêgo
2014	J	`jnl`	MDPs with Unawareness. CoRR Joseph Y. Halpern, Nan Rong, Ashutosh Saxena
2014	J	`jnl`	Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. CoRR Peter D. Grünwald, Joseph Y. Halpern
2014	—	`conf`	Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players. WINE Joseph Y. Halpern, Rafael Pass, Lior Seeman
2014	J	`jnl`	Reasoning about Expectation. CoRR Joseph Y. Halpern, Riccardo Pucella
2014	J	`jnl`	Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. Joseph Y. Halpern, Leandro Chaves Rêgo
2014	J	`jnl`	Sequential Equilibrium in Computational Games. CoRR Joseph Y. Halpern, Rafael Pass
2014	A*	`conf`	The Computational Complexity of Structure-Based Causality. AAAI Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2014	J	`jnl`	The Computational Complexity of Structure-Based Causality. CoRR Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
2014	A	`conf`	The truth behind the myth of the folk theorem. ITCS Joseph Y. Halpern, Rafael Pass, Lior Seeman
2014	J	`jnl`	Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. CoRR Valerio Capraro, Joseph Y. Halpern
2014	J	`jnl`	Updating Probabilities. CoRR Peter D. Grünwald, Joseph Y. Halpern
2014	J	`jnl`	When Ignorance is Bliss. CoRR Peter D. Grünwald, Joseph Y. Halpern
2013	J	`jnl`	A New Approach to Updating Beliefs CoRR Ronald Fagin, Joseph Y. Halpern
2013	J	`jnl`	A Qualitative Markov Assumption and its Implications for Belief Change CoRR Nir Friedman, Joseph Y. Halpern
2013	J	`jnl`	Causes and Explanations: A Structural-Model Approach --- Part 1: Causes CoRR Joseph Y. Halpern, Judea Pearl
2013	J	`jnl`	Compact Representations of Extended Causal Models. Cogn. Sci. Joseph Y. Halpern, Christopher Hitchcock
2013	J	`jnl`	Compact Representations of Extended Causal Models. CoRR Joseph Y. Halpern, Christopher Hitchcock
2013	J	`jnl`	Conservative belief and rationality. Games Econ. Behav. Joseph Y. Halpern, Rafael Pass
2013	—	`conf`	Constructive Decision Theory. ICLA Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
2013	J	`jnl`	Decision Theory with Resource-Bounded Agents. CoRR Joseph Y. Halpern, Rafael Pass, Lior Seeman
2013	J	`jnl`	Defining Explanation in Probabilistic Systems CoRR Urszula Chajewska, Joseph Y. Halpern
2013	A	`conf`	Distributed Protocols for Leader Election: A Game-Theoretic Perspective. DISC Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2013	J	`jnl`	From Causal Models to Counterfactual Structures. Rev. Symb. Log. Joseph Y. Halpern
2013	A*	`conf`	From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. LICS Joseph Y. Halpern
2013	B	`conf`	Game Theory with Translucent Players. TARK Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	Game Theory with Translucent Players. CoRR Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	Game Theory with Translucent Players. CoRR Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	Generating New Beliefs From Old CoRR Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
2013	J	`jnl`	Graded Causation and Defaults. CoRR Joseph Y. Halpern, Christopher Hitchcock
2013	A*	`conf`	Language-Based Games. IJCAI Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013	B	`conf`	Language-based Games. TARK Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	Language-based Games. CoRR Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	Plausibility Measures: A User's Guide CoRR Nir Friedman, Joseph Y. Halpern
2013	J	`jnl`	Probability Update: Conditioning vs. Cross-Entropy CoRR Adam J. Grove, Joseph Y. Halpern
2013	J	`jnl`	Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. Joseph Y. Halpern, Leandro Chaves Rêgo
2013	A*	`conf`	Sequential Equilibrium in Computational Games. IJCAI Joseph Y. Halpern, Rafael Pass
2013	J	`jnl`	The Relationship between Knowledge, Belief and Certainty CoRR Joseph Y. Halpern
2013	J	`jnl`	The Truth Behind the Myth of the Folk Theorem. CoRR Joseph Y. Halpern, Rafael Pass, Lior Seeman
2013	A	`conf`	Towards a deeper understanding of cooperative equilibrium: characterization and complexity. AAMAS Nan Rong, Joseph Y. Halpern
2013	C	`conf`	Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. ECSQARU Joseph Y. Halpern
2013	J	`jnl`	Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions CoRR Joseph Y. Halpern, Samantha Leung
2013	J	`jnl`	Weighted regret-based likelihood: a new approach to describing uncertainty. CoRR Joseph Y. Halpern
2012	J	`jnl`	Ambiguous Language and Differences in Beliefs CoRR Joseph Y. Halpern, Willemien Kets
2012	A*	`conf`	Ambiguous Language and Differences in Beliefs. KR Joseph Y. Halpern, Willemien Kets
2012	J	`jnl`	An Equilibrium Analysis of Scrip Systems CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2012	—	`conf`	Dexter Kozen: An Appreciation. Logic and Program Semantics Joseph Y. Halpern
2012	J	`jnl`	Generalized solution concepts in games with possibly unaware players. Int. J. Game Theory Leandro Chaves Rêgo, Joseph Y. Halpern
2012	A*	`conf`	I'm Doing as Well as I Can: Modeling People as Rational Finite Automata. AAAI Joseph Y. Halpern, Rafael Pass, Lior Seeman
2012	J	`jnl`	Iterated regret minimization: A new solution concept. Games Econ. Behav. Joseph Y. Halpern, Rafael Pass
2012	A	`conf`	No justified complaints: on fair sharing of multiple resources. ITCS Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nathan Linial
2012	J	`jnl`	Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2012	J	`jnl`	Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Distributed Comput. Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2012	J	`jnl`	Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004) CoRR Max Chickering, Joseph Y. Halpern
2012	J	`jnl`	Weighted Sets of Probabilities .and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. CoRR Joseph Y. Halpern, Samantha Leung
2012	A	`conf`	Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. UAI Joseph Y. Halpern, Samantha Leung
2011	J	`jnl`	A Counter Example to Theorems of Cox and Fine CoRR Joseph Y. Halpern
2011	J	`jnl`	Actual causation and the art of modeling CoRR Joseph Y. Halpern, Christopher Hitchcock
2011	J	`jnl`	Algorithmic rationality: adding cost of computation to game theory. SIGecom Exch. Joseph Y. Halpern, Rafael Pass
2011	—	`conf`	Beyond Nash Equilibrium: Solution Concepts for the 21st Century. GameSec Joseph Y. Halpern
2011	—	`ch.`	Beyond Nash equilibrium: solution concepts for the 21st century. Lectures in Game Theory for Computer Scientists Joseph Y. Halpern
2011	—	`conf`	Causality, Responsibility, and Blame: A Structural-Model Approach. SUM Joseph Y. Halpern
2011	C	`conf`	Constructive Decision Theory: Short Summary. ECSQARU Joseph Y. Halpern
2011	J	`jnl`	Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. Joseph Y. Halpern, Riccardo Pucella
2011	J	`jnl`	Distributed computing meets game theory: combining insights from two fields. SIGACT News Ittai Abraham, Lorenzo Alvisi, Joseph Y. Halpern
2011	J	`jnl`	From Causal Models To Counterfactual Structures CoRR Joseph Y. Halpern
2011	J	`jnl`	I Don't Want to Think About it Now:Decision Theory With Costly Computation CoRR Joseph Y. Halpern, Rafael Pass
2011	J	`jnl`	Journals for certification, conferences for rapid dissemination. Commun. ACM Joseph Y. Halpern, David C. Parkes
2011	J	`jnl`	Knowledge-Based Synthesis of Distributed Systems Using Event Structures Log. Methods Comput. Sci. Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2011	J	`jnl`	Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. J. Artif. Intell. Res. Peter D. Grünwald, Joseph Y. Halpern
2011	J	`jnl`	Multiagent Learning in Large Anonymous Games. J. Artif. Intell. Res. Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2011	J	`jnl`	No justified complaints: On fair sharing of multiple resources CoRR Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial
2011	B	`conf`	Reasoning about justified belief. TARK Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2011	J	`jnl`	Viewpoint: Journals for Certification, Conferences for Rapid Dissemination CoRR Joseph Y. Halpern, David C. Parkes
2010	J	`jnl`	A knowledge-based analysis of global function computation. Distributed Comput. Joseph Y. Halpern, Sabina Petride
2010	—	`conf`	Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) Joseph Y. Halpern
2010	—	`conf`	Beyond Nash equilibrium: solution concepts for the 21st century. BQGT Joseph Y. Halpern
2010	J	`jnl`	Causality in Databases. IEEE Data Eng. Bull. Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu
2010	A	`conf`	Cooperative equilibrium. AAMAS Joseph Y. Halpern, Nan Rong
2010	J	`jnl`	Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2010	A*	`conf`	From Causal Models To Counterfactual Structures. KR Joseph Y. Halpern
2010	A	`conf`	Game Theory with Costly Computation: Formulation and Application to Protocol Security. ICS Joseph Y. Halpern, Rafael Pass
2010	A*	`conf`	I Don't Want to Think About it Now: Decision Theory with Costly Computation. KR Joseph Y. Halpern
2010	J	`jnl`	Lexicographic probability, conditional probability, and nonstandard probability. Games Econ. Behav. Joseph Y. Halpern
2010	J	`jnl`	MDPs with Unawareness CoRR Joseph Y. Halpern, Nan Rong, Ashutosh Saxena
2010	A	`conf`	MDPs with Unawareness. UAI Joseph Y. Halpern, Nan Rong, Ashutosh Saxena
2010	J	`jnl`	On spectrum sharing games. Distributed Comput. Magnús M. Halldórsson, Joseph Y. Halpern, Li Erran Li, Vahab S. Mirrokni
2009	J	`jnl`	A Logical Characterization of Iterated Admissibility CoRR Joseph Y. Halpern, Rafael Pass
2009	B	`conf`	A logical characterization of iterated admissibility. TARK Joseph Y. Halpern, Rafael Pass
2009	J	`jnl`	A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory Joseph Y. Halpern
2009	B	`conf`	An epistemic characterization of zero knowledge. TARK Joseph Y. Halpern, Rafael Pass, Vasumathi Raman
2009	J	`jnl`	Constructive Decision Theory CoRR Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
2009	J	`jnl`	Defining Knowledge in Terms of Belief: the Modal Logic Perspective. Rev. Symb. Log. Joseph Y. Halpern, Dov Samet, Ella Segev
2009	J	`jnl`	Evidence with uncertain likelihoods. Synth. Joseph Y. Halpern, Riccardo Pucella
2009	J	`jnl`	Intransitivity and Vagueness - Corrigendum. Rev. Symb. Log. Joseph Y. Halpern
2009	A*	`conf`	Iterated Regret Minimization: A New Solution Concept. IJCAI Joseph Y. Halpern, Rafael Pass
2009	J	`jnl`	Manipulating Scrip Systems: Sybils and Collusion CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2009	—	`conf`	Manipulating Scrip Systems: Sybils and Collusion. AMMA Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2009	J	`jnl`	Multiagent Learning in Large Anonymous Games CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2009	—	`conf`	Multiagent learning in large anonymous games. AAMAS (2) Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2009	J	`jnl`	On Definability in Multimodal Logic. Rev. Symb. Log. Joseph Y. Halpern, Dov Samet, Ella Segev
2009	J	`jnl`	Reasoning About Knowledge of Unawareness Revisited CoRR Joseph Y. Halpern, Leandro Chaves Rêgo
2009	B	`conf`	Reasoning about knowledge of unawareness revisited. TARK Joseph Y. Halpern, Leandro Chaves Rêgo
2009	J	`jnl`	Reasoning about knowledge of unawareness. Games Econ. Behav. Joseph Y. Halpern, Leandro Chaves Rêgo
2009	A*	`conf`	Shared Winner Determination in Sponsored Search Auctions. ICDE David J. Martin, Joseph Y. Halpern
2009	J	`jnl`	Solution to Exchanges 8.1 puzzle: identifying the champion. SIGecom Exch. Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern
2009	J	`jnl`	Updating Sets of Probabilities CoRR Adam J. Grove, Joseph Y. Halpern
2008	J	`jnl`	A Formal Foundation for XrML CoRR Joseph Y. Halpern, Vicky Weissman
2008	A	`conf`	A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI Peter Grünwald, Joseph Y. Halpern
2008	J	`jnl`	A formal foundation for XrML. J. ACM Joseph Y. Halpern, Vicky Weissman
2008	J	`jnl`	An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience CoRR Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2008	A*	`conf`	An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2008	J	`jnl`	Beyond Nash Equilibrium: Solution Concepts for the 21st Century CoRR Joseph Y. Halpern
2008	B	`conf`	Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR Joseph Y. Halpern
2008	A*	`conf`	Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR Joseph Y. Halpern
2008	A*	`conf`	Beyond nash equilibrium: solution concepts for the 21st century. PODC Joseph Y. Halpern
2008	J	`jnl`	Defaults and Normality in Causal Structures CoRR Joseph Y. Halpern
2008	A*	`conf`	Defaults and Normality in Causal Structures. KR Joseph Y. Halpern
2008	J	`jnl`	From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic CoRR Joseph Y. Halpern
2008	A*	`conf`	From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI Joseph Y. Halpern
2008	J	`jnl`	Game Theory with Costly Computation CoRR Joseph Y. Halpern, Rafael Pass
2008	J	`jnl`	Interactive unawareness revisited. Games Econ. Behav. Joseph Y. Halpern, Leandro Chaves Rêgo
2008	J	`jnl`	Intransitivity and Vagueness. Rev. Symb. Log. Joseph Y. Halpern
2008	J	`jnl`	Iterated Regret Minimization: A More Realistic Solution Concept CoRR Joseph Y. Halpern, Rafael Pass
2008	B	`conf`	Lower Bounds on Implementing Robust and Resilient Mediators. TCC Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2008	J	`jnl`	Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. Joseph Y. Halpern, Kevin R. O'Neill
2008	J	`jnl`	The Lotus-Eater Attack CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2008	A*	`conf`	The lotus-eater attack. PODC Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2008	J	`jnl`	Toward Expressive and Scalable Sponsored Search Auctions CoRR David J. Martin, Johannes Gehrke, Joseph Y. Halpern
2008	A*	`conf`	Toward Expressive and Scalable Sponsored Search Auctions. ICDE David J. Martin, Johannes Gehrke, Joseph Y. Halpern
2008	J	`jnl`	Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. Joseph Y. Halpern, Vicky Weissman
2008	J	`jnl`	What causes a system to satisfy a specification?. ACM Trans. Comput. Log. Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2007	J	`jnl`	A Game-Theoretic Analysis of Updating Sets of Probabilities CoRR Peter D. Grünwald, Joseph Y. Halpern
2007	J	`jnl`	A Knowledge-Based Analysis of Global Function Computation CoRR Joseph Y. Halpern, Sabina Petride
2007	A*	`conf`	Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI Joseph Y. Halpern, Yoram Moses
2007	J	`jnl`	Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM Joseph Y. Halpern, Riccardo Pucella
2007	A*	`conf`	Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI Joseph Y. Halpern, Leandro Chaves Rêgo
2007	J	`jnl`	Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. J. Log. Comput. Joseph Y. Halpern, Leandro Chaves Rêgo
2007	J	`jnl`	Computer Science and Game Theory: A Brief Survey CoRR Joseph Y. Halpern
2007	J	`jnl`	Dealing With Logical Omniscience: Expressiveness and Pragmatics CoRR Joseph Y. Halpern, Riccardo Pucella
2007	B	`conf`	Dealing with logical omniscience. TARK Joseph Y. Halpern, Riccardo Pucella
2007	J	`jnl`	Efficiency and Nash Equilibria in a Scrip System for P2P Networks CoRR Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash
2007	J	`jnl`	Extensive Games with Possibly Unaware Players CoRR Joseph Y. Halpern, Leandro Chaves Rêgo
2007	J	`jnl`	Generalized Solution Concepts in Games with Possibly Unaware Players CoRR Leandro Chaves Rêgo, Joseph Y. Halpern
2007	B	`conf`	Generalized solution concepts in games with possibly unaware players. TARK Leandro Chaves Rêgo, Joseph Y. Halpern
2007	J	`jnl`	Lower Bounds on Implementing Robust and Resilient Mediators CoRR Ittai Abraham, Danny Dolev, Joseph Y. Halpern
2007	J	`jnl`	Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists CoRR Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2007	A*	`conf`	Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. EC Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern
2007	J	`jnl`	Worst-Case Background Knowledge for Privacy-Preserving Data Publishing CoRR David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern
2007	A*	`conf`	Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. ICDE David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern
2006	A	`conf`	A Knowledge-Based Analysis of Global Function Computation. DISC Joseph Y. Halpern, Sabina Petride
2006	J	`jnl`	A Logic for Reasoning about Evidence. J. Artif. Intell. Res. Joseph Y. Halpern, Riccardo Pucella
2006	—	`conf`	Causality, Responsibility, and Blame: A Structural-Model Approach. QEST Joseph Y. Halpern
2006	J	`jnl`	Characterizing Solution Concepts in Games Using Knowledge-Based Programs CoRR Joseph Y. Halpern, Yoram Moses
2006	J	`jnl`	Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic CoRR Joseph Y. Halpern, Leandro Chaves Rêgo
2006	A*	`conf`	Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. PODC Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern
2006	A*	`conf`	Efficiency and nash equilibria in a scrip system for P2P networks. EC Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash
2006	J	`jnl`	Expressing Security Properties Using Selective Interleaving Functions CoRR Joseph Y. Halpern, Sabina Petride
2006	A	`conf`	Extensive games with possibly unaware players. AAMAS Joseph Y. Halpern, Leandro Chaves Rêgo
2006	A*	`conf`	From statistical knowledge bases to degrees of belief: an overview. PODS Joseph Y. Halpern
2006	J	`jnl`	Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. Zygmunt J. Haas, Joseph Y. Halpern, Li (Erran) Li
2006	J	`jnl`	Modeling Adversaries in a Logic for Security Protocol Analysis CoRR Joseph Y. Halpern, Riccardo Pucella
2006	J	`jnl`	Rational Secret Sharing and Multiparty Computation: Extended Abstract CoRR Joseph Y. Halpern, Vanessa Teague
2006	J	`jnl`	Reasoning About Knowledge of Unawareness CoRR Joseph Y. Halpern, Leandro Chaves Rêgo
2006	A*	`conf`	Reasoning about Knowledge of Unawareness. KR Joseph Y. Halpern, Leandro Chaves Rêgo
2006	A*	`conf`	Redoing the Foundations of Decision Theory. KR Lawrence E. Blume, David A. Easley, Joseph Y. Halpern
2006	J	`jnl`	Using First-Order Logic to Reason about Policies CoRR Joseph Y. Halpern, Vicky Weissman
2006	J	`jnl`	Using Sets of Probability Measures to Represent Uncertainty CoRR Joseph Y. Halpern
2005	J	`jnl`	A cone-based distributed topology-control algorithm for wireless multi-hop networks. IEEE/ACM Trans. Netw. Li (Erran) Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
2005	J	`jnl`	A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Comput. Joseph Y. Halpern, Aleta Ricciardi
2005	J	`jnl`	Anonymity and information hiding in multiagent systems. J. Comput. Secur. Joseph Y. Halpern, Kevin R. O'Neill
2005	J	`jnl`	Evidence with Uncertain Likelihoods CoRR Joseph Y. Halpern, Riccardo Pucella
2005	A	`conf`	Evidence with Uncertain Likelihoods. UAI Joseph Y. Halpern, Riccardo Pucella
2005	J	`jnl`	Interactive Unawareness Revisited CoRR Joseph Y. Halpern, Leandro Chaves Rêgo
2005	B	`conf`	Interactive unawareness revisited. TARK Joseph Y. Halpern, Leandro Chaves Rêgo
2005	—	`ch.`	Minimum-Energy Topology Control Algorithms in Ad Hoc Networks. Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks Joseph Y. Halpern, Li (Erran) Li
2005	J	`jnl`	Probabilistic Algorithmic Knowledge CoRR Joseph Y. Halpern, Riccardo Pucella
2005	J	`jnl`	Probabilistic Algorithmic Knowledge. Log. Methods Comput. Sci. Joseph Y. Halpern, Riccardo Pucella
2005	—	`book`	Reasoning about uncertainty. Joseph Y. Halpern
2005	J	`jnl`	When Ignorance is Bliss CoRR Peter D. Grünwald, Joseph Y. Halpern
2004	—	`conf`	A Formal Foundation for XrML. CSFW Joseph Y. Halpern, Vicky Weissman
2004	J	`jnl`	A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors CoRR Joseph Y. Halpern, Aleta Ricciardi
2004	J	`jnl`	A Logic for Reasoning about Evidence CoRR Joseph Y. Halpern, Riccardo Pucella
2004	J	`jnl`	A minimum-energy path-preserving topology-control algorithm. IEEE Trans. Wirel. Commun. Li (Erran) Li, Joseph Y. Halpern
2004	J	`jnl`	Anonymity and Information Hiding in Multiagent Systems CoRR Joseph Y. Halpern, Kevin R. O'Neill
2004	J	`jnl`	Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
2004	J	`jnl`	Great expectations. Part II: generalized expected utility as a universal decision rule. Artif. Intell. Francis C. Chu, Joseph Y. Halpern
2004	J	`jnl`	Intransitivity and Vagueness CoRR Joseph Y. Halpern
2004	A*	`conf`	Intransitivity and Vagueness. KR Joseph Y. Halpern
2004	B	`conf`	Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride
2004	A*	`conf`	On spectrum sharing games. PODC Magnús M. Halldórsson, Joseph Y. Halpern, Li (Erran) Li, Vahab S. Mirrokni
2004	A*	`conf`	Rational secret sharing and multiparty computation: extended abstract. STOC Joseph Y. Halpern, Vanessa Teague
2004	J	`jnl`	Reasoning about common knowledge with infinitely many agents. Inf. Comput. Joseph Y. Halpern, Richard A. Shore
2004	J	`jnl`	Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. Joseph Y. Halpern, Daphne Koller
2004	J	`jnl`	Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. Hana Chockler, Joseph Y. Halpern
2004	J	`jnl`	Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems CoRR Joseph Y. Halpern
2004	A*	`conf`	Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR Joseph Y. Halpern
2004	A	`ed.`	UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, Banff, Canada, July 7-11, 2004 UAI David Maxwell Chickering, Joseph Y. Halpern
2004	J	`jnl`	Using counterfactuals in knowledge-based programming. Distributed Comput. Joseph Y. Halpern, Yoram Moses
2004	A	`conf`	When Ignorance is Bliss. UAI Peter Grünwald, Joseph Y. Halpern
2003	A	`conf`	A Logic for Reasoning about Evidence. UAI Joseph Y. Halpern, Riccardo Pucella
2003	J	`jnl`	A Logical Reconstruction of SPKI. J. Comput. Secur. Joseph Y. Halpern, Ron van der Meyden
2003	J	`jnl`	A computer scientist looks at game theory. Games Econ. Behav. Joseph Y. Halpern
2003	J	`jnl`	A logic for reasoning about upper probabilities CoRR Joseph Y. Halpern, Riccardo Pucella
2003	—	`conf`	Anonymity and Information Hiding in Multiagent Systems. CSFW Joseph Y. Halpern, Kevin R. O'Neill
2003	J	`jnl`	Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. Ann. Pure Appl. Log. Joseph Y. Halpern, Bruce M. Kapron
2003	J	`jnl`	From Statistical Knowledge Bases to Degrees of Belief CoRR Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
2003	J	`jnl`	Great Expectations. Part I: On the Customizability of Generalized Expected Utility CoRR Francis C. Chu, Joseph Y. Halpern
2003	A*	`conf`	Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI Francis C. Chu, Joseph Y. Halpern
2003	J	`jnl`	Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule CoRR Francis C. Chu, Joseph Y. Halpern
2003	A*	`conf`	Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI Francis C. Chu, Joseph Y. Halpern
2003	J	`jnl`	JACM's 50th anniversary. J. ACM Joseph Y. Halpern
2003	J	`jnl`	LICS 2001 special issue. ACM Trans. Comput. Log. Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno
2003	J	`jnl`	Lexicographic probability, conditional probability, and nonstandard probability CoRR Joseph Y. Halpern
2003	J	`jnl`	Modeling Belief in Dynamic Systems, Part I: Foundations CoRR Nir Friedman, Joseph Y. Halpern
2003	J	`jnl`	Modeling Belief in Dynamic Systems, Part II: Revisions and Update CoRR Nir Friedman, Joseph Y. Halpern
2003	J	`jnl`	On the Relationship between Strand Spaces and Multi-Agent Systems CoRR Joseph Y. Halpern, Riccardo Pucella
2003	J	`jnl`	On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. Joseph Y. Halpern, Riccardo Pucella
2003	B	`conf`	Probabilistic algorithmic knowledge. TARK Joseph Y. Halpern, Riccardo Pucella
2003	B	`ed.`	Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003 TARK Joseph Y. Halpern, Moshe Tennenholtz
2003	J	`jnl`	Reasoning About Expectation CoRR Joseph Y. Halpern, Riccardo Pucella
2003	J	`jnl`	Representation Dependence in Probabilistic Inference CoRR Joseph Y. Halpern, Daphne Koller
2003	A*	`conf`	Responsibility and Blame: A Structural-Model Approach. IJCAI Hana Chockler, Joseph Y. Halpern
2003	J	`jnl`	Responsibility and blame: a structural-model approach CoRR Hana Chockler, Joseph Y. Halpern
2003	J	`jnl`	Secrecy in Multiagent Systems CoRR Kevin R. O'Neill, Joseph Y. Halpern
2003	J	`jnl`	Updating Probabilities CoRR Peter Grünwald, Joseph Y. Halpern
2003	J	`jnl`	Updating Probabilities. J. Artif. Intell. Res. Peter Grünwald, Joseph Y. Halpern
2003	J	`jnl`	Using Counterfactuals in Knowledge-Based Programming CoRR Joseph Y. Halpern, Yoram Moses
2003	—	`conf`	Using First-Order Logic to Reason about Policies. CSFW Joseph Y. Halpern, Vicky Weissman
2003	J	`jnl`	What Causes a System to Satisfy a Specification? CoRR Hana Chockler, Joseph Y. Halpern, Orna Kupferman
2002	J	`jnl`	A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. Joseph Y. Halpern, Riccardo Pucella
2002	J	`jnl`	A computer scientist looks at game theory CoRR Joseph Y. Halpern
2002	J	`jnl`	A logical reconstruction of SPKI CoRR Joseph Y. Halpern, Ron van der Meyden
2002	J	`jnl`	Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks CoRR Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
2002	J	`jnl`	Causes and Explanations: A Structural-Model Approach. Part II: Explanations CoRR Joseph Y. Halpern, Judea Pearl
2002	J	`jnl`	Characterizing the Common Prior Assumption. J. Econ. Theory Joseph Y. Halpern
2002	J	`jnl`	Complete Axiomatizations for Reasoning About Knowledge and Time CoRR Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi
2002	J	`jnl`	Gossip Based Ad-Hoc Routing CoRR Zygmunt J. Haas, Joseph Y. Halpern, Li Li
2002	A*	`conf`	Gossip-based ad hoc routing. INFOCOM Zygmunt J. Haas, Joseph Y. Halpern, Li Li
2002	A*	`conf`	Least Expected Cost Query Optimization: What Can We Expect? PODS Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke
2002	J	`jnl`	Minimum-Energy Mobile Wireless Networks Revisited CoRR Li Li, Joseph Y. Halpern
2002	—	`conf`	Modeling Adversaries in a Logic for Security Protocol Analysis. FASec Joseph Y. Halpern, Riccardo Pucella
2002	A	`conf`	Reasoning about Expectation. UAI Joseph Y. Halpern, Riccardo Pucella
2002	—	`conf`	Secrecy in Multiagent Systems. CSFW Joseph Y. Halpern, Kevin R. O'Neill
2002	J	`jnl`	Update: Time to publication statistics. J. ACM Joseph Y. Halpern
2002	A	`conf`	Updating Probabilities. UAI Peter Grünwald, Joseph Y. Halpern
2001	J	`jnl`	A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. Joseph Y. Halpern, Yoram Moses, Orli Waarts
2001	A	`conf`	A Logic for Reasoning about Upper Probabilities. UAI Joseph Y. Halpern, Riccardo Pucella
2001	J	`jnl`	A Logic for SDSI's Linked Local Name Spaces. J. Comput. Secur. Joseph Y. Halpern, Ron van der Meyden
2001	—	`conf`	A Logical Reconstruction of SPKI. CSFW Joseph Y. Halpern, Ron van der Meyden
2001	J	`jnl`	A decision-theoretic approach to reliable message delivery. Distributed Comput. Francis C. Chu, Joseph Y. Halpern
2001	J	`jnl`	Alternative Semantics for Unawareness. Games Econ. Behav. Joseph Y. Halpern
2001	A*	`conf`	Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. PODC Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer
2001	J	`jnl`	Belief Revision: A Critique CoRR Nir Friedman, Joseph Y. Halpern
2001	A*	`conf`	Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI Joseph Y. Halpern, Judea Pearl
2001	A	`conf`	Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI Joseph Y. Halpern, Judea Pearl
2001	J	`jnl`	Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. Joseph Y. Halpern
2001	—	`conf`	Minimum-energy mobile wireless networks revisited. ICC Li Li, Joseph Y. Halpern
2001	J	`jnl`	Multi-agent Only Knowing. J. Log. Comput. Joseph Y. Halpern, Gerhard Lakemeyer
2001	J	`jnl`	On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs CoRR Francis C. Chu, Joseph Y. Halpern
2001	J	`jnl`	On the NP-completeness of finding an optimal strategy in games with common payoffs. Int. J. Game Theory Francis C. Chu, Joseph Y. Halpern
2001	A*	`conf`	On the relationship between strand spaces and multi-agent systems. CCS Joseph Y. Halpern, Riccardo Pucella
2001	J	`jnl`	On the unusual effectiveness of logic in computer science. Bull. Symb. Log. Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu
2001	A*	`conf`	Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI Joseph Y. Halpern
2001	J	`jnl`	Plausibility measures and default reasoning. J. ACM Nir Friedman, Joseph Y. Halpern
2001	J	`jnl`	Substantive Rationality and Backward Induction. Games Econ. Behav. Joseph Y. Halpern
2000	J	`jnl`	A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks CoRR Zygmunt J. Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker
2000	J	`jnl`	A Logic for SDSI's Linked Local Name Spaces CoRR Joseph Y. Halpern, Ron van der Meyden
2000	—	`conf`	A decision-theoretic approach to resource allocation in wireless multimedia networks. DIAL-M Zygmunt J. Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker
2000	J	`jnl`	A note on knowledge-based programs and specifications CoRR Joseph Y. Halpern
2000	J	`jnl`	A note on knowledge-based programs and specifications. Distributed Comput. Joseph Y. Halpern
2000	J	`jnl`	A response to the commentaries on CoRR CoRR Joseph Y. Halpern
2000	J	`jnl`	A response to the commentaries on CoRR. ACM J. Comput. Documentation Joseph Y. Halpern
2000	J	`jnl`	Axiomatizing Causal Reasoning CoRR Joseph Y. Halpern
2000	J	`jnl`	Axiomatizing Causal Reasoning. J. Artif. Intell. Res. Joseph Y. Halpern
2000	J	`jnl`	Causes and Explanations: A Structural-Model Approach, Part I: Causes CoRR Joseph Y. Halpern, Judea Pearl
2000	J	`jnl`	CoRR: A Computing Research Repository CoRR Joseph Y. Halpern
2000	J	`jnl`	CoRR: a computing research repository. ACM J. Comput. Documentation Joseph Y. Halpern
2000	J	`jnl`	Conditional Plausibility Measures and Bayesian Networks CoRR Joseph Y. Halpern
2000	A	`conf`	Conditional Plausibility Measures and Bayesian Networks. UAI Joseph Y. Halpern
2000	B	`conf`	Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science Joseph Y. Halpern
2000	J	`jnl`	Editorial: a bill of rights and responsibilities. J. ACM Joseph Y. Halpern
2000	J	`jnl`	First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. Nir Friedman, Joseph Y. Halpern, Daphne Koller
2000	J	`jnl`	Knowledge and common knowledge in a distributed environment CoRR Joseph Y. Halpern, Yoram Moses
2000	J	`jnl`	Multi-Agent Only Knowing CoRR Joseph Y. Halpern, Gerhard Lakemeyer
2000	J	`jnl`	Performing work efficiently in the presence of faults CoRR Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
1999	J	`jnl`	A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. Joseph Y. Halpern
1999	A*	`conf`	A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC Joseph Y. Halpern, Aleta Ricciardi
1999	—	`conf`	A Logic for SDSI's Linked Local Name Spaces. CSFW Joseph Y. Halpern, Ron van der Meyden
1999	J	`jnl`	A decision-theoretic approach to reliable message delivery CoRR Francis C. Chu, Joseph Y. Halpern
1999	J	`jnl`	Belief Revision: A Critique. J. Log. Lang. Inf. Nir Friedman, Joseph Y. Halpern
1999	J	`jnl`	Common Knowledge Revisited. Ann. Pure Appl. Log. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1999	J	`jnl`	Cox's Theorem Revisited CoRR Joseph Y. Halpern
1999	J	`jnl`	Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. Joseph Y. Halpern
1999	J	`jnl`	Errata: "The relationship between knowledge, belief, and certainty". Ann. Math. Artif. Intell. Joseph Y. Halpern
1999	J	`jnl`	Hypothetical knowledge and counterfactual reasoning. Int. J. Game Theory Joseph Y. Halpern
1999	A*	`conf`	Least Expected Cost Query Optimization: An Exercise in Utility. PODS Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri
1999	J	`jnl`	Least expected cost query optimization: an exercise in utility CoRR Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri
1999	J	`jnl`	Modeling Belief in Dynamic Systems, Part II: Revision and Update CoRR Nir Friedman, Joseph Y. Halpern
1999	J	`jnl`	Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. Nir Friedman, Joseph Y. Halpern
1999	A*	`conf`	Plausibility Measures and Default Reasoning: An Overview. LICS Joseph Y. Halpern, Nir Friedman
1999	J	`jnl`	Reasoning About Common Knowledge with Infinitely Many Agents CoRR Joseph Y. Halpern, Richard A. Shore
1999	A*	`conf`	Reasoning about Common Knowledge with Infinitely Many Agents. LICS Joseph Y. Halpern, Richard A. Shore
1999	J	`jnl`	Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1999	J	`jnl`	Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. Joseph Y. Halpern
1999	—	`conf`	The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL Joseph Y. Halpern, Carl Lagoze
1999	J	`jnl`	The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
1998	J	`jnl`	A Computing Research Repository. D Lib Mag. Joseph Y. Halpern
1998	A	`conf`	A Decision-Theoretic Approach to Reliable Message Delivery. DISC Francis C. Chu, Joseph Y. Halpern
1998	A	`conf`	Axiomatizing Causal Reasoning. UAI Joseph Y. Halpern
1998	—	`conf`	Belief Revision with Unreliable Observations. AAAI/IAAI Craig Boutilier, Nir Friedman, Joseph Y. Halpern
1998	B	`conf`	Characterizing the Common Prior Assumption. TARK Joseph Y. Halpern
1998	J	`jnl`	Common knowledge revisited CoRR Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1998	J	`jnl`	First-Order Conditional Logic Revisited CoRR Nir Friedman, Joseph Y. Halpern, Daphne Koller
1998	B	`conf`	Hypothetical Knowledge and Counterfactual Reasoning. TARK Joseph Y. Halpern
1998	J	`jnl`	On the Knowledge Requirements of Tasks. Artif. Intell. Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham
1998	J	`jnl`	Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
1998	J	`jnl`	Plausibility Measures and Default Reasoning CoRR Nir Friedman, Joseph Y. Halpern
1998	J	`jnl`	Reasoning about Noisy Sensors and Effectors in the Situation Calculus CoRR Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1998	J	`jnl`	Set-Theoretic Completeness for Epistemic and Conditional Logic CoRR Joseph Y. Halpern
1998	J	`jnl`	The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research CoRR Joseph Y. Halpern, Carl Lagoze
1998	J	`jnl`	Time to Publication: A Progress Report. J. ACM Joseph Y. Halpern
1998	A	`conf`	Updating Sets of Probabilities. UAI Adam J. Grove, Joseph Y. Halpern
1998	B	`conf`	Using Counterfactuals in Knowledge-Based Programming. TARK Joseph Y. Halpern, Yoram Moses
1998	—	`conf`	Using Multi-Agent Systems to Represent Uncertainty. ICMAS Joseph Y. Halpern
1997	J	`jnl`	A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Comput. Intell. Joseph Y. Halpern
1997	J	`jnl`	A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. Joseph Y. Halpern
1997	A	`conf`	Defining Explanation in Probabilistic Systems. UAI Urszula Chajewska, Joseph Y. Halpern
1997	J	`jnl`	Defining Relative Likelihood in Partially-Ordered Preferential Structures CoRR Joseph Y. Halpern
1997	J	`jnl`	Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. Joseph Y. Halpern
1997	J	`jnl`	Knowledge-Based Programs. Distributed Comput. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1997	J	`jnl`	Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. Nir Friedman, Joseph Y. Halpern
1997	J	`jnl`	On becoming editor-in-chief of JACM. J. ACM Joseph Y. Halpern
1997	A	`conf`	Probability Update: Conditioning vs. Cross-Entropy. UAI Adam J. Grove, Joseph Y. Halpern
1997	J	`jnl`	Reasoning about Knowledge: A Response by the Authors. Minds Mach. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1997	—	`conf`	Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI Joseph Y. Halpern
1996	—	`conf`	A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 Joseph Y. Halpern
1996	A	`conf`	A Qualitative Markov Assumption and Its Implications for Belief Change. UAI Nir Friedman, Joseph Y. Halpern
1996	J	`jnl`	Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1996	J	`jnl`	Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1996	A*	`conf`	Belief Revision: A Critique. KR Nir Friedman, Joseph Y. Halpern
1996	B	`conf`	Common Knowledge Revisited. TARK Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1996	A	`conf`	Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI Joseph Y. Halpern
1996	—	`conf`	First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 Nir Friedman, Joseph Y. Halpern, Daphne Koller
1996	J	`jnl`	From Statistical Knowledge Bases to Degrees of Belief. Artif. Intell. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1996	—	`conf`	Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 Daphne Koller, Joseph Y. Halpern
1996	B	`conf`	Multi-Agent Only Knowing. TARK Joseph Y. Halpern, Gerhard Lakemeyer
1996	B	`conf`	On Ambiguities in the Interpretation of Game Trees. TARK Joseph Y. Halpern
1996	—	`conf`	Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 Nir Friedman, Joseph Y. Halpern
1996	J	`jnl`	Should knowledge entail belief? J. Philos. Log. Joseph Y. Halpern
1996	—	`conf`	Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 Joseph Y. Halpern
1995	J	`jnl`	A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1995	J	`jnl`	Dynamic Fault-Tolerant Clock Synchronization. J. ACM Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1995	J	`jnl`	Full Abstraction and Expressive Completeness for FP Inf. Comput. Joseph Y. Halpern, Edward L. Wimmers
1995	A*	`conf`	Knowledge-Based Programs. PODC Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1995	J	`jnl`	Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. Joseph Y. Halpern, Gerhard Lakemeyer
1995	A	`conf`	Plausibility Measures: A User's Guide. UAI Nir Friedman, Joseph Y. Halpern
1995	—	`book`	Reasoning About Knowledge. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1995	—	`conf`	Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1995	A*	`conf`	Reasoning about Noisy Sensors in the Situation Calculus. IJCAI Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque
1995	A*	`conf`	Representation Dependence in Probabilistic Inference. IJCAI Joseph Y. Halpern, Daphne Koller
1995	J	`jnl`	The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artif. Intell. Joseph Y. Halpern
1994	A*	`conf`	A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR Nir Friedman, Joseph Y. Halpern
1994	B	`conf`	A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK Nir Friedman, Joseph Y. Halpern
1994	J	`jnl`	A Response to "Believing on the Basis of the Evidence". Comput. Intell. Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1994	B	`conf`	Algorithmic Knowledge. TARK Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	A*	`conf`	An Operational Semantics for Knowledge Bases. AAAI Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
1994	A*	`conf`	Conditional Logics of Belief Change. AAAI Nir Friedman, Joseph Y. Halpern
1994	J	`jnl`	Decidability and Expressiveness for First-Order Logics of Probability Inf. Comput. Martín Abadi, Joseph Y. Halpern
1994	A*	`conf`	Forming Beliefs about a Changing World. AAAI Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1994	A	`conf`	Generating New Beliefs from Old. UAI Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1994	A*	`conf`	On the Complexity of Conditional Logics. KR Nir Friedman, Joseph Y. Halpern
1994	J	`jnl`	Random Worlds and Maximum Entropy. CoRR Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1994	J	`jnl`	Random Worlds and Maximum Entropy. J. Artif. Intell. Res. Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1994	J	`jnl`	Reasoning About Knowledge and Probability. J. ACM Ronald Fagin, Joseph Y. Halpern
1994	J	`jnl`	Zero-One Laws for Modal Logic. Ann. Pure Appl. Log. Joseph Y. Halpern, Bruce M. Kapron
1993	—	`conf`	A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium Joseph Y. Halpern
1993	—	`conf`	Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1993	J	`jnl`	Knowledge, Probability, and Adversaries. J. ACM Joseph Y. Halpern, Mark R. Tuttle
1993	J	`jnl`	Message-Optimal Protocols for Byzantine Agreement. Math. Syst. Theory Vassos Hadzilacos, Joseph Y. Halpern
1993	J	`jnl`	Naming and Identity in Epistemic Logics Part I: The Propositional Case. J. Log. Comput. Adam J. Grove, Joseph Y. Halpern
1993	A*	`conf`	Reasoning about only Knowing with Many Agents. AAAI Joseph Y. Halpern
1993	A*	`conf`	Statistical Foundations for Default Reasoning. IJCAI Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1993	J	`jnl`	The Failure Discovery Problem. Math. Syst. Theory Vassos Hadzilacos, Joseph Y. Halpern
1992	J	`jnl`	A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. Joseph Y. Halpern, Yoram Moses
1992	J	`jnl`	A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. J. ACM Joseph Y. Halpern, Lenore D. Zuck
1992	A*	`conf`	A Logic for Approximate Reasoning. KR Daphne Koller, Joseph Y. Halpern
1992	A*	`conf`	Asymptotic Conditional Probabilities for First-Order Logic STOC Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1992	A*	`conf`	From Statistics to Beliefs. AAAI Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern
1992	A*	`conf`	Performing Work Efficiently in the Presence of Faults. PODC Cynthia Dwork, Joseph Y. Halpern, Orli Waarts
1992	A*	`conf`	Random Worlds and Maximum Entropy LICS Adam J. Grove, Joseph Y. Halpern, Daphne Koller
1992	B	`conf`	The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi
1992	J	`jnl`	Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. Joseph Y. Halpern, Ronald Fagin
1992	J	`jnl`	What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1992	J	`jnl`	What Is an Inference Rule? J. Symb. Log. Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1992	A*	`conf`	Zero-One Laws for Modal Logic LICS Joseph Y. Halpern, Bruce M. Kapron
1991	J	`jnl`	A Model-Theoretic Analysis of Knowledge. J. ACM Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1991	J	`jnl`	A Propositional Modal Logic of Time Intervals. J. ACM Joseph Y. Halpern, Yoav Shoham
1991	J	`jnl`	Clock Synchronization and the Power of Broadcasting. Distributed Comput. Joseph Y. Halpern, Ichiro Suzuki
1991	—	`conf`	Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 Joseph Y. Halpern
1991	A*	`conf`	Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC Vassos Hadzilacos, Joseph Y. Halpern
1991	—	`conf`	Model Checking vs. Theorem Proving: A Manifesto. Artificial and Mathematical Theory of Computation Joseph Y. Halpern, Moshe Y. Vardi
1991	A*	`conf`	Model Checking vs. Theorem Proving: A Manifesto. KR Joseph Y. Halpern, Moshe Y. Vardi
1991	A*	`conf`	Naming and Identity in a Multi-Agent Epistemic Logic. KR Adam J. Grove, Joseph Y. Halpern
1991	J	`jnl`	Presburger Arithmetic with Unarr Predicates is Pi J. Symb. Log. Joseph Y. Halpern
1991	J	`jnl`	The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. Joseph Y. Halpern
1991	J	`jnl`	Uncertainty, belief, and probability. Comput. Intell. Ronald Fagin, Joseph Y. Halpern
1990	A*	`conf`	A Characterization of Eventual Byzantine Agreement. PODC Joseph Y. Halpern, Yoram Moses, Orli Waarts
1990	J	`jnl`	A Logic for Reasoning about Probabilities Inf. Comput. Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
1990	B	`conf`	A Nonstandard Approach to the Logical Omniscience Problem. TARK Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1990	A	`conf`	A new approach to updating beliefs. UAI Ronald Fagin, Joseph Y. Halpern
1990	J	`jnl`	An Analysis of First-Order Logics of Probability. Artif. Intell. Joseph Y. Halpern
1990	J	`jnl`	Completeness of Rewrite Rules and Rewrite Strategies for FP J. ACM Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
1990	J	`jnl`	Knowledge and Common Knowledge in a Distributed Environment J. ACM Joseph Y. Halpern, Yoram Moses
1990	J	`jnl`	Let many flowers bloom: a response to An inquiry into computer understanding e. Comput. Intell. Joseph Y. Halpern
1990	A*	`conf`	Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI Joseph Y. Halpern, Ronald Fagin
1990	—	`conf`	What is an inference rule? Jerusalem Conference on Information Technology Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1989	A*	`conf`	An Analysis of First-Order Logics of Probability. IJCAI Joseph Y. Halpern
1989	A*	`conf`	Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract) FOCS Martín Abadi, Joseph Y. Halpern
1989	A*	`conf`	Knowledge, Probability, and Adversaries. PODC Joseph Y. Halpern, Mark R. Tuttle
1989	J	`jnl`	Modelling Knowledge and Action in Distributed Systems. Distributed Comput. Joseph Y. Halpern, Ronald Fagin
1989	J	`jnl`	Reasoning about Procedures as Parameters in the Language L4 Inf. Comput. Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
1989	J	`jnl`	The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. Joseph Y. Halpern, Moshe Y. Vardi
1989	A*	`conf`	Uncertainty, Belief, and Probability. IJCAI Ronald Fagin, Joseph Y. Halpern
1988	A*	`conf`	A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
1988	A*	`conf`	A Logic for Reasoning about Probabilities LICS Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo
1988	J	`jnl`	I'm OK if you're OK: On the notion of trusting communication. J. Philos. Log. Ronald Fagin, Joseph Y. Halpern
1988	—	`conf`	Modelling Knowledge and Action in Distributed Systems. Concurrency Joseph Y. Halpern, Ronald Fagin
1988	B	`conf`	Reasoning About Knowledge: A Tutorial. TARK Joseph Y. Halpern
1988	B	`conf`	Reasoning about Knowledge and Probability. TARK Ronald Fagin, Joseph Y. Halpern
1988	A*	`conf`	Reasoning about Knowledge and Time in Asynchronous Systems STOC Joseph Y. Halpern, Moshe Y. Vardi
1987	A*	`conf`	A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. PODC Joseph Y. Halpern
1987	J	`jnl`	A Logic to Reason about Likelihood. Artif. Intell. Joseph Y. Halpern, Michael O. Rabin
1987	J	`jnl`	A New Look at Fault-Tolerant Network Routing Inf. Comput. Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1987	J	`jnl`	Belief, Awareness, and Limited Reasoning. . Artif. Intell. Ronald Fagin, Joseph Y. Halpern
1987	A*	`conf`	Full Abstraction and Expressive Completenes for FP LICS Joseph Y. Halpern, Edward L. Wimmers
1987	A*	`conf`	I'm OK if You're OK: On the Notion of Trusting Communication LICS Ronald Fagin, Joseph Y. Halpern
1986	J	`jnl`	"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. J. ACM E. Allen Emerson, Joseph Y. Halpern
1986	A*	`conf`	A Propositional Model Logic of Time Intervals LICS Joseph Y. Halpern, Yoav Shoham
1986	J	`jnl`	Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Comput. Yoram Moses, Danny Dolev, Joseph Y. Halpern
1986	A*	`conf`	Good Rewrite Strategies for FP LICS Joseph Y. Halpern, John H. Williams, Edward L. Wimmers
1986	J	`jnl`	On Time versus Space III. Math. Syst. Theory Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer, Daniel Weise
1986	J	`jnl`	On the Possibility and Impossibility of Achieving Clock Synchronization. J. Comput. Syst. Sci. Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
1986	B	`ed.`	Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986 TARK Joseph Y. Halpern
1986	A*	`ed.`	Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986 PODC Joseph Y. Halpern
1986	B	`conf`	Reasoning About Knowledge: An Overview. TARK Joseph Y. Halpern
1986	J	`jnl`	Taken by surprise: The paradox of the surprise test revisited. J. Philos. Log. Joseph Y. Halpern, Yoram Moses
1986	A*	`conf`	The Complexity of Reasoning about Knowledge and Time: Extended Abstract STOC Joseph Y. Halpern, Moshe Y. Vardi
1986	A*	`conf`	True Relative Completeness of an Axiom System for the Language L4 (Abridged) LICS Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
1986	A*	`conf`	What Can Machines Know? On the Epistemic Properties of Machines. AAAI Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1985	A*	`conf`	A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC Joseph Y. Halpern, Ronald Fagin
1985	A*	`conf`	A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI Joseph Y. Halpern, Yoram Moses
1985	A*	`conf`	Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI Ronald Fagin, Joseph Y. Halpern
1985	A*	`conf`	Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC Yoram Moses, Danny Dolev, Joseph Y. Halpern
1985	J	`jnl`	Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. E. Allen Emerson, Joseph Y. Halpern
1985	A*	`conf`	Denotational Semantics and Rewrite Rules for FP. POPL Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler
1985	J	`jnl`	Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer
1985	A*	`conf`	Optimal Precision in the Presence of Uncertainty (Preliminary Version) STOC Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
1985	J	`jnl`	Optimal precision in the presence of uncertainty. J. Complex. Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi
1984	A*	`conf`	A Good Hoare Axiom System for an Algol-like Language. POPL Joseph Y. Halpern
1984	A*	`conf`	A Model-Theoretic Analysis of Knowledge: Preliminary Report FOCS Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi
1984	A*	`conf`	A New Look at Fault Tolerant Network Routing STOC Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong
1984	A*	`conf`	Fault-Tolerant Clock Synchronization. PODC Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev
1984	A*	`conf`	Knowledge and Common Knowledge in a Distributed Environment. PODC Joseph Y. Halpern, Yoram Moses
1984	A*	`conf`	Likelihood, Probability, and Knowledge. AAAI Joseph Y. Halpern, David A. McAllester
1984	A*	`conf`	On the Possibility and Impossibility of Achieving Clock Synchronization STOC Danny Dolev, Joseph Y. Halpern, H. Raymond Strong
1984	A*	`conf`	The Semantics of Local Storage, or What Makes the Free-List Free? POPL Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot
1984	—	`conf`	Towards a Theory of Knowledge and Ignorance: Preliminary Report. Logics and Models of Concurrent Systems Joseph Y. Halpern, Yoram Moses
1984	—	`conf`	Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR Joseph Y. Halpern, Yoram Moses
1983	A*	`conf`	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. POPL E. Allen Emerson, Joseph Y. Halpern
1983	A*	`conf`	A Hardware Semantics Based on Temporal Intervals. ICALP Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
1983	A*	`conf`	A Logic to Reason about Likelihood STOC Joseph Y. Halpern, Michael O. Rabin
1983	J	`jnl`	Deterministic Process Logic is Elementary Inf. Control. Joseph Y. Halpern
1983	J	`jnl`	Effective Axiomatizations of Hoare Logics J. ACM Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
1983	—	`conf`	From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. Logic of Programs Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer
1983	—	`conf`	Reasoning About Procedures as Parameters. Logic of Programs Steven M. German, Edmund M. Clarke, Joseph Y. Halpern
1983	J	`jnl`	The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. Theor. Comput. Sci. Joseph Y. Halpern, John H. Reif
1982	J	`jnl`	Axiomatic Definitions of Programming Languages: A Theoretical Assessment. J. ACM Albert R. Meyer, Joseph Y. Halpern
1982	A*	`conf`	Decision Procedures and Expressiveness in the Temporal Logic of Branching Time STOC E. Allen Emerson, Joseph Y. Halpern
1982	A*	`conf`	Deterministic Process Logic Is Elementary FOCS Joseph Y. Halpern
1982	J	`jnl`	Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
1982	A*	`conf`	On Effective Axiomatizations of Hoare Logics. POPL Edmund M. Clarke, Steven M. German, Joseph Y. Halpern
1982	A*	`conf`	On the Power of Nondeterminism in Dynamic Logic. ICALP Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn
1981	A*	`conf`	Axiomatic Definitions of Programming Languages, II. POPL Joseph Y. Halpern, Albert R. Meyer
1981	A*	`conf`	Equations between Regular Terms and an Application to Process Logic STOC Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh
1981	A*	`conf`	Finite Models for Deterministic Propositional Dynamic Logic. ICALP Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli
1981	A*	`conf`	The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) FOCS Joseph Y. Halpern, John H. Reif
1980	A*	`conf`	Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL Albert R. Meyer, Joseph Y. Halpern