![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Joseph Y. Halpern
Person information
- affiliation: Cornell University, Computer Science Department
- award (2009): Dijkstra Prize
- award (2008): ACM - AAAI Allen Newell Award
- award (1997): Gödel Prize
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j179]Sander Beckers
, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024) - [i190]Joseph Y. Halpern, Evan Piermont:
Subjective Causality. CoRR abs/2401.10937 (2024) - [i189]Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024) - [i188]Joseph Y. Halpern:
Mathematical Explanations. CoRR abs/2402.09413 (2024) - [i187]David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum:
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR abs/2405.06624 (2024) - [i186]Sainyam Galhotra, Joseph Y. Halpern:
Intervention and Conditioning in Causal Bayesian Networks. CoRR abs/2405.14728 (2024) - [i185]Yoav Kolumbus, Joe Halpern, Éva Tardos:
Paying to Do Better: Games with Payments between Learning Agents. CoRR abs/2405.20880 (2024) - 2023
- [j178]Ivan Geffner
, Joseph Y. Halpern
:
Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents. J. ACM 70(2): 13:1-13:21 (2023) - [c255]Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. AAMAS 2023: 2478-2480 - [c254]Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CLeaR 2023: 866-879 - [c253]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023 - [c252]Sander Beckers
, Hana Chockler, Joseph Y. Halpern:
Quantifying Harm. IJCAI 2023: 363-371 - [c251]Kaya Alpturer
, Joseph Y. Halpern
, Ron van der Meyden
:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC 2023: 244-252 - [c250]Daniel Halpern
, Joseph Y. Halpern
, Ali Jadbabaie
, Elchanan Mossel
, Ariel D. Procaccia
, Manon Revel
:
In Defense of Liquid Democracy. EC 2023: 852 - [c249]Joseph Y. Halpern
, Aditya Saraf
:
Chunking Tasks for Present-Biased Agents. EC 2023: 853-884 - [c248]Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for probabilistic dependency graphs. UAI 2023: 1741-1751 - [c247]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. DISC 2023: 1:1-1:22 - [c246]Adam Bjorndahl, Joseph Y. Halpern:
Sequential Language-based Decisions. TARK 2023: 131-141 - [c245]Meir Friedenberg, Joseph Y. Halpern:
Joint Behavior and Common Belief. TARK 2023: 221-232 - [i184]Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CoRR abs/2301.06845 (2023) - [i183]Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR abs/2305.06271 (2023) - [i182]Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. CoRR abs/2307.13778 (2023) - [i181]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. CoRR abs/2308.11379 (2023) - [i180]Joe Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. CoRR abs/2309.13244 (2023) - [i179]Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. CoRR abs/2309.14618 (2023) - [i178]Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for Probabilistic Dependency Graphs. CoRR abs/2311.05580 (2023) - [i177]Ivan Geffner, Joseph Y. Halpern:
Bounding the Communication Complexity of Fault-Tolerant Common Coin Tossing. CoRR abs/2312.14775 (2023) - 2022
- [j177]Matvey Soloviev
, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. J. ACM 69(3): 20:1-20:37 (2022) - [c244]Hana Chockler, Joseph Y. Halpern:
On Testing for Discrimination Using Causal Models. AAAI 2022: 5548-5555 - [c243]Joseph Y. Halpern, Spencer Peters:
Reasoning about Causal Models with Infinitely Many Variables. AAAI 2022: 5668-5675 - [c242]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. NeurIPS 2022 - [e6]Hector Geffner, Rina Dechter, Joseph Y. Halpern:
Probabilistic and Causal Inference: The Works of Judea Pearl. ACM Books 36, ACM 2022, ISBN 978-1-4503-9586-1 [contents] - [i176]Valerio Capraro, Joseph Y. Halpern, Matjaz Perc:
From Outcome-Based to Language-Based Preferences. CoRR abs/2206.07300 (2022) - [i175]Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Quantitative Account of Harm. CoRR abs/2209.15111 (2022) - [i174]Sander Beckers
, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. CoRR abs/2210.05327 (2022) - [i173]Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. IACR Cryptol. ePrint Arch. 2022: 308 (2022) - 2021
- [j176]Lawrence E. Blume
, David A. Easley, Joseph Y. Halpern:
Constructive decision theory. J. Econ. Theory 196: 105306 (2021) - [j175]Joseph Y. Halpern, Rafael Pass
:
Sequential Equilibrium in Games of Imperfect Recall. ACM Trans. Economics and Comput. 9(4): 22:1-22:26 (2021) - [c241]Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. AAAI 2021: 12174-12181 - [c240]Ivan Geffner
, Joseph Y. Halpern
:
Security in Asynchronous Interactive Systems. SSS 2021: 123-140 - [c239]Joseph Y. Halpern:
Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). Tokenomics 2021: 1:1-1:2 - [c238]Adam Bjorndahl, Joseph Y. Halpern:
Language-based Decisions. TARK 2021: 55-67 - [e5]Joseph Y. Halpern, Andrés Perea:
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. EPTCS 335, 2021 [contents] - [i172]Matvey Soloviev, Joseph Y. Halpern:
Security Properties as Nested Causal Statements. CoRR abs/2104.00872 (2021) - [i171]Ivan Geffner, Joseph Y. Halpern:
Lower Bounds Implementing Mediators in Asynchronous Systems. CoRR abs/2104.02759 (2021) - [i170]Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel:
In Defense of Fluid Democracy. CoRR abs/2107.11868 (2021) - [i169]Spencer Peters, Joseph Y. Halpern:
Causal Modeling With Infinitely Many Variables. CoRR abs/2112.09171 (2021) - [i168]Joseph Y. Halpern, Spencer Peters:
Reasoning About Causal Models With Infinitely Many Variables. CoRR abs/2112.11362 (2021) - [i167]Joseph Y. Halpern, Arnon Lotem:
The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior. CoRR abs/2112.13388 (2021) - 2020
- [j174]Dalal Alrajeh, Hana Chockler
, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020) - [j173]Adam Bjorndahl, Joseph Y. Halpern
, Rafael Pass:
Bayesian games with intentions. Games Econ. Behav. 123: 54-67 (2020) - [j172]Joseph Y. Halpern:
A note on the existence of Ratifiable Acts. Rev. Symb. Log. 13(3): 503-508 (2020) - [c237]Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. KR 2020: 476-484 - [c236]Xinming Liu, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. UAI 2020: 1298-1307 - [i166]Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. CoRR abs/2005.10131 (2020) - [i165]Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus. CoRR abs/2005.10141 (2020) - [i164]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020) - [i163]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020) - [i162]Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. CoRR abs/2005.10381 (2020) - [i161]Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. CoRR abs/2005.10383 (2020) - [i160]Xinming Liu
, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits. CoRR abs/2006.16950 (2020) - [i159]Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. CoRR abs/2007.02823 (2020) - [i158]Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. CoRR abs/2012.10800 (2020)
2010 – 2019
- 2019
- [j171]Joseph Y. Halpern
:
The Book of Why, Judea Pearl. Basic Books (2018). Artif. Intell. 277 (2019) - [j170]Joseph Y. Halpern
, Rafael Pass
, Lior Seeman:
The truth behind the myth of the Folk theorem. Games Econ. Behav. 117: 479-498 (2019) - [j169]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Distributed Protocols for Leader Election: A Game-Theoretic Perspective. ACM Trans. Economics and Comput. 7(1): 4:1-4:26 (2019) - [j168]Joseph Y. Halpern, Rafael Pass
:
Sequential Equilibrium in Computational Games. ACM Trans. Economics and Comput. 7(2): 9:1-9:19 (2019) - [c235]Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. AAAI 2019: 525-532 - [c234]Sander Beckers
, Joseph Y. Halpern:
Abstracting Causal Models. AAAI 2019: 2678-2685 - [c233]Joseph Y. Halpern, Evan Piermont:
Partial Awareness. AAAI 2019: 2851-2858 - [c232]Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. PODC 2019: 501-510 - [c231]Joseph Y. Halpern, Rafael Pass
, Daniel Reichman:
On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. SAGT 2019: 139-152 - [c230]Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstractions. UAI 2019: 606-615 - [c229]Joseph Y. Halpern, Rafael Pass
:
A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. TARK 2019: 221-232 - [i157]Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. CoRR abs/1903.04102 (2019) - [i156]Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. CoRR abs/1906.02069 (2019) - [i155]Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstraction. CoRR abs/1906.11583 (2019) - [i154]Joseph Y. Halpern:
The Book of Why: Review. CoRR abs/1909.13485 (2019) - 2018
- [j167]Joseph Y. Halpern
, Rafael Pass
:
Game theory with translucent players. Int. J. Game Theory 47(3): 949-976 (2018) - [j166]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. J. Artif. Intell. Res. 62: 433-458 (2018) - [c228]Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. AAAI 2018: 1853-1860 - [c227]Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318 - [c226]Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. AAAI 2018: 6443-6450 - [c225]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract). IJCAI 2018: 5543-5547 - [c224]Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. KR 2018: 504-513 - [i153]Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. CoRR abs/1806.01214 (2018) - [i152]Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. CoRR abs/1810.05903 (2018) - [i151]Joseph Y. Halpern, Evan Piermont:
Partial Awareness. CoRR abs/1811.05751 (2018) - [i150]Sander Beckers, Joseph Y. Halpern:
Abstracting Causal Models. CoRR abs/1812.03789 (2018) - 2017
- [j165]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
:
Reasoning about rationality. Games Econ. Behav. 104: 146-164 (2017) - [j164]Joseph Y. Halpern
, Yoram Moses:
Characterizing solution concepts in terms of common knowledge of rationality. Int. J. Game Theory 46(2): 457-473 (2017) - [j163]Joseph Y. Halpern:
Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 46(2): 591-594 (2017) - [j162]Gadi Aleksandrowicz, Hana Chockler
, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. J. Artif. Intell. Res. 58: 431-451 (2017) - [j161]Joseph Y. Halpern:
From qualitative to quantitative proofs of security properties using first-order conditional logic. J. Comput. Secur. 25(1): 1-19 (2017) - [c223]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311 - [c222]Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099 - [c221]Adam Bjorndahl, Joseph Y. Halpern:
From Type Spaces to Probability Frames and Back, via Language. TARK 2017: 75-87 - [c220]Arpita Ghosh, Joseph Y. Halpern:
Games With Tolerant Players. TARK 2017: 251-264 - [c219]Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK 2017: 306-323 - [c218]Joseph Y. Halpern, Rafael Pass
:
A Knowledge-Based Analysis of the Blockchain Protocol. TARK 2017: 324-335 - 2016
- [b3]Joseph Y. Halpern:
Actual Causality. MIT Press 2016, ISBN 978-0-262-03502-6, pp. 1-229 - [j160]Joseph Y. Halpern:
Appropriate Causal Models and the stability of Causation. Rev. Symb. Log. 9(1): 76-102 (2016) - [c217]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract). AAMAS 2016: 1399-1400 - [c216]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Games of Imperfect Recall. KR 2016: 278-287 - [c215]Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus: Extended Abstract. PODC 2016: 137-146 - [c214]Joseph Y. Halpern, Rafael Pass
, Lior Seeman:
Computational Extensive-Form Games. EC 2016: 681-698 - [c213]Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. UAI 2016 - [i149]Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016) - [i148]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR abs/1605.01236 (2016) - [i147]Joseph Y. Halpern, Lior Seeman:
A Comment on "The Ecological Rationality of State-Dependent Valuation". CoRR abs/1610.04046 (2016) - 2015
- [j159]Joseph Y. Halpern, Willemien Kets
:
Ambiguous language and common priors. Games Econ. Behav. 90: 171-180 (2015) - [j158]Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. J. Artif. Intell. Res. 54: 471-492 (2015) - [j157]Joseph Y. Halpern, Rafael Pass
:
Algorithmic rationality: Game theory with costly computation. J. Econ. Theory 156: 246-268 (2015) - [j156]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
An Equilibrium Analysis of Scrip Systems. ACM Trans. Economics and Comput. 3(3): 13:1-13:32 (2015) - [c212]Tobias Gerstenberg, Joseph Y. Halpern, Joshua B. Tenenbaum:
Responsibility judgments in voting scenarios. CogSci 2015 - [c211]Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. ECSQARU 2015: 3-13 - [c210]Joseph Y. Halpern:
Language-based Games. ICAART (1) 2015: IS-7 - [c209]Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. IJCAI 2015: 3022-3033 - [c208]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
:
Bayesian Games with Intentions. TARK 2015: 99-113 - [c207]Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. TARK 2015: 114-126 - [i146]Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. CoRR abs/1502.00152 (2015) - [i145]Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi:
An Introduction to Logics of Knowledge and Belief. CoRR abs/1503.00806 (2015) - [i144]Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. CoRR abs/1505.00162 (2015) - [i143]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Computational Extensive-Form Games. CoRR abs/1506.03030 (2015) - [i142]Joseph Y. Halpern:
Why Bother With Syntax? CoRR abs/1506.05282 (2015) - [i141]Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players. CoRR abs/1507.01501 (2015) - [i140]Anupam Datta, Joseph Y. Halpern, John C. Mitchell, Arnab Roy, Shayak Sen:
A Symbolic Logic with Concrete Bounds for Cryptographic Protocols. CoRR abs/1511.07536 (2015) - 2014
- [j155]Joseph Y. Halpern, Willemien Kets
:
A logic for reasoning about ambiguity. Artif. Intell. 209: 1-10 (2014) - [j154]Joseph Y. Halpern, Willemien Kets
:
Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10]. Artif. Intell. 212: 158 (2014) - [j153]Alfredo Di Tillio, Joseph Y. Halpern, Dov Samet:
Conditional belief types. Games Econ. Behav. 87: 253-268 (2014) - [j152]Joseph Y. Halpern, Yoram Moses:
A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. 49: 143-170 (2014) - [j151]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 70: 10-22 (2014) - [j150]Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive games with possibly unaware players. Math. Soc. Sci. 70: 42-58 (2014) - [j149]Joseph Y. Halpern, Rafael Pass
, Lior Seeman:
Decision Theory with Resource-Bounded Agents. Top. Cogn. Sci. 6(2): 245-257 (2014) - [c206]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. AAAI 2014: 974-980 - [c205]Joseph Y. Halpern, Rafael Pass
, Lior Seeman:
The truth behind the myth of the folk theorem. ITCS 2014: 543-554 - [c204]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Axiomatizing Rationality. KR 2014 - [c203]Joseph Y. Halpern:
Appropriate Causal Models and Stability of Causation. KR 2014 - [c202]Joseph Y. Halpern, Rafael Pass
, Lior Seeman:
Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players. WINE 2014: 249-262 - [i139]Joseph Y. Halpern, Willemien Kets:
A logic for reasoning about ambiguity. CoRR abs/1401.2011 (2014) - [i138]Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. CoRR abs/1401.3906 (2014) - [i137]Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR abs/1407.7180 (2014) - [i136]Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. CoRR abs/1407.7182 (2014) - [i135]Peter D. Grünwald, Joseph Y. Halpern:
Updating Probabilities. CoRR abs/1407.7183 (2014) - [i134]Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. CoRR abs/1407.7184 (2014) - [i133]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR abs/1407.7185 (2014) - [i132]Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. CoRR abs/1407.7188 (2014) - [i131]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/1407.7189 (2014) - [i130]Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/1407.7190 (2014) - [i129]Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. CoRR abs/1407.7191 (2014) - [i128]Joseph Y. Halpern:
Axiomatizing Causal Reasoning. CoRR abs/1408.1482 (2014) - [i127]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. CoRR abs/1408.1485 (2014) - [i126]Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. CoRR abs/1410.3363 (2014) - [i125]Joseph Y. Halpern:
Cause, Responsibility, and Blame: oA Structural-Model Approach. CoRR abs/1412.2985 (2014) - [i124]Joseph Y. Halpern, Rafael Pass:
Algorithmic Rationality: Game Theory with Costly Computation. CoRR abs/1412.2993 (2014) - [i123]Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. CoRR abs/1412.3076 (2014) - [i122]Joseph Y. Halpern:
Appropriate Causal Models and the Stability of Causation. CoRR abs/1412.3518 (2014) - [i121]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. CoRR abs/1412.6361 (2014) - [i120]Nan Rong, Joseph Y. Halpern:
Cooperative Equilibrium: A solution predicting cooperative play. CoRR abs/1412.6722 (2014) - 2013
- [j148]Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. Cogn. Sci. 37(6): 986-1010 (2013) - [j147]Joseph Y. Halpern, Rafael Pass
:
Conservative belief and rationality. Games Econ. Behav. 80: 186-192 (2013) - [j146]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 65(2): 73-84 (2013) - [j145]Joseph Y. Halpern:
From Causal Models to Counterfactual Structures. Rev. Symb. Log. 6(2): 305-322 (2013) - [c201]Nan Rong, Joseph Y. Halpern:
Towards a deeper understanding of cooperative equilibrium: characterization and complexity. AAMAS 2013: 319-326 - [c200]Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. ECSQARU 2013: 266-277 - [c199]Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. ICLA 2013: 1-4 - [c198]Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. IJCAI 2013: 171-176 - [c197]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-Based Games. IJCAI 2013: 2967-2971 - [c196]Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. LICS 2013: 2-3 - [c195]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. TARK 2013 - [c194]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. TARK 2013 - [c193]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Distributed Protocols for Leader Election: A Game-Theoretic Perspective. DISC 2013: 61-75 - [i119]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes. CoRR abs/1301.2275 (2013) - [i118]Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. CoRR abs/1302.1526 (2013) - [i117]Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. CoRR abs/1302.1543 (2013) - [i116]Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and its Implications for Belief Change. CoRR abs/1302.3578 (2013) - [i115]Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. CoRR abs/1302.4947 (2013) - [i114]Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. CoRR abs/1302.5681 (2013) - [i113]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs From Old. CoRR abs/1302.6783 (2013) - [i112]Ronald Fagin, Joseph Y. Halpern:
A New Approach to Updating Beliefs. CoRR abs/1304.1119 (2013) - [i111]Joseph Y. Halpern:
The Relationship between Knowledge, Belief and Certainty. CoRR abs/1304.1508 (2013) - [i110]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1308.3778 (2013) - [i109]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Decision Theory with Resource-Bounded Agents. CoRR abs/1308.3780 (2013) - [i108]Joseph Y. Halpern, Christopher Hitchcock:
Graded Causation and Defaults. CoRR abs/1309.1226 (2013) - [i107]Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. CoRR abs/1309.1227 (2013) - [i106]Joseph Y. Halpern:
Weighted regret-based likelihood: a new approach to describing uncertainty. CoRR abs/1309.1228 (2013) - [i105]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. CoRR abs/1310.6408 (2013) - [i104]Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1310.6438 (2013) - [i103]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The Truth Behind the Myth of the Folk Theorem. CoRR abs/1312.1017 (2013) - 2012
- [j144]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Distributed Comput. 25(5): 335-357 (2012) - [j143]Joseph Y. Halpern, Rafael Pass
:
Iterated regret minimization: A new solution concept. Games Econ. Behav. 74(1): 184-207 (2012) - [j142]Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players. Int. J. Game Theory 41(1): 131-155 (2012) - [c192]Joseph Y. Halpern, Rafael Pass, Lior Seeman:
I'm Doing as Well as I Can: Modeling People as Rational Finite Automata. AAAI 2012: 1917-1923 - [c191]Joseph Y. Halpern:
Dexter Kozen: An Appreciation. Logic and Program Semantics 2012: 324-325 - [c190]Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nathan Linial:
No justified complaints: on fair sharing of multiple resources. ITCS 2012: 68-75 - [c189]Joseph Y. Halpern, Willemien Kets:
Ambiguous Language and Differences in Beliefs. KR 2012 - [c188]Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. UAI 2012: 336-345 - [i102]Joseph Y. Halpern, Willemien Kets:
Ambiguous Language and Differences in Beliefs. CoRR abs/1203.0699 (2012) - [i101]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
An Equilibrium Analysis of Scrip Systems. CoRR abs/1204.2942 (2012) - [i100]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion. CoRR abs/1204.3494 (2012) - [i99]Max Chickering, Joseph Y. Halpern:
Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004). CoRR abs/1208.5161 (2012) - [i98]Joseph Y. Halpern, Samantha Leung:
Weighted Sets of Probabilities .and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions. CoRR abs/1210.4853 (2012) - 2011
- [j141]Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011) - [j140]Joseph Y. Halpern, David C. Parkes:
Journals for certification, conferences for rapid dissemination. Commun. ACM 54(8): 36-38 (2011) - [j139]Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. Log. Methods Comput. Sci. 7(2) (2011) - [j138]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent Learning in Large Anonymous Games. J. Artif. Intell. Res. 40: 571-598 (2011) - [j137]Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. J. Artif. Intell. Res. 42: 393-426 (2011) - [j136]Ittai Abraham, Lorenzo Alvisi, Joseph Y. Halpern:
Distributed computing meets game theory: combining insights from two fields. SIGACT News 42(2): 69-76 (2011) - [j135]Joseph Y. Halpern, Rafael Pass:
Algorithmic rationality: adding cost of computation to game theory. SIGecom Exch. 10(2): 9-15 (2011) - [c187]Joseph Y. Halpern:
Constructive Decision Theory: Short Summary. ECSQARU 2011: 36-37 - [c186]Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. GameSec 2011: 1-3 - [c185]Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. SUM 2011: 1 - [c184]Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
:
Reasoning about justified belief. TARK 2011: 221-227 - [p2]Joseph Y. Halpern:
Beyond Nash equilibrium: solution concepts for the 21st century. Lectures in Game Theory for Computer Scientists 2011: 264-290 - [i97]Joseph Y. Halpern:
A Counter Example to Theorems of Cox and Fine. CoRR abs/1105.5450 (2011) - [i96]Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. CoRR abs/1106.2647 (2011) - [i95]Joseph Y. Halpern, David C. Parkes:
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination. CoRR abs/1106.2649 (2011) - [i94]Joseph Y. Halpern, Christopher Hitchcock:
Actual causation and the art of modeling. CoRR abs/1106.2652 (2011) - [i93]Joseph Y. Halpern, Rafael Pass:
I Don't Want to Think About it Now:Decision Theory With Costly Computation. CoRR abs/1106.2657 (2011) - [i92]Danny Dolev, Dror G. Feitelson, Joseph Y. Halpern, Raz Kupferman, Nati Linial:
No justified complaints: On fair sharing of multiple resources. CoRR abs/1106.2673 (2011) - 2010
- [j134]Magnús M. Halldórsson
, Joseph Y. Halpern, Li Erran Li, Vahab S. Mirrokni:
On spectrum sharing games. Distributed Comput. 22(4): 235-248 (2010) - [j133]Joseph Y. Halpern, Sabina Petride:
A knowledge-based analysis of global function computation. Distributed Comput. 23(3): 197-224 (2010) - [j132]Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu:
Causality in Databases. IEEE Data Eng. Bull. 33(3): 59-67 (2010) - [j131]Joseph Y. Halpern:
Lexicographic probability, conditional probability, and nonstandard probability. Games Econ. Behav. 68(1): 155-179 (2010) - [j130]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4): 29:1-29:2 (2010) - [c183]Joseph Y. Halpern, Nan Rong:
Cooperative equilibrium. AAMAS 2010: 1465-1466 - [c182]Joseph Y. Halpern:
Beyond Nash equilibrium: solution concepts for the 21st century. BQGT 2010: 69:1 - [c181]Rafael Pass, Joe Halpern:
Game theory with costly computation: formulation and application to protocol security. BQGT 2010: 89:1 - [c180]Joseph Y. Halpern, Rafael Pass:
Game Theory with Costly Computation: Formulation and Application to Protocol Security. ICS 2010: 120-142 - [c179]Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. KR 2010 - [c178]Joseph Y. Halpern:
I Don't Want to Think About it Now: Decision Theory with Costly Computation. KR 2010 - [c177]Joseph Y. Halpern:
Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) 2010: 15 - [c176]Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. UAI 2010: 228-235 - [i91]Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. CoRR abs/1006.2204 (2010)
2000 – 2009
- 2009
- [j129]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness. Games Econ. Behav. 67(2): 503-525 (2009) - [j128]Joseph Y. Halpern:
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 38(1): 37-49 (2009) - [j127]Joseph Y. Halpern, Dov Samet, Ella Segev
:
On Definability in Multimodal Logic. Rev. Symb. Log. 2(3): 451-468 (2009) - [j126]Joseph Y. Halpern, Dov Samet, Ella Segev
:
Defining Knowledge in Terms of Belief: the Modal Logic Perspective. Rev. Symb. Log. 2(3): 469-487 (2009) - [j125]Joseph Y. Halpern:
Intransitivity and Vagueness - Corrigendum. Rev. Symb. Log. 2(3): 591 (2009) - [j124]Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern:
Solution to Exchanges 8.1 puzzle: identifying the champion. SIGecom Exch. 8(2): 11 (2009) - [j123]Joseph Y. Halpern, Riccardo Pucella:
Evidence with uncertain likelihoods. Synth. 171(1): 111-133 (2009) - [c175]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Manipulating Scrip Systems: Sybils and Collusion. AMMA 2009: 13-24 - [c174]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent learning in large anonymous games. AAMAS (2) 2009: 765-772 - [c173]David J. Martin, Joseph Y. Halpern:
Shared Winner Determination in Sponsored Search Auctions. ICDE 2009: 270-280 - [c172]Joseph Y. Halpern, Rafael Pass:
Iterated Regret Minimization: A New Solution Concept. IJCAI 2009: 153-158 - [c171]Joseph Y. Halpern, Rafael Pass
:
A logical characterization of iterated admissibility. TARK 2009: 146-155 - [c170]Joseph Y. Halpern, Rafael Pass
, Vasumathi Raman:
An epistemic characterization of zero knowledge. TARK 2009: 156-165 - [c169]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. TARK 2009: 166-173 - [i90]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Manipulating Scrip Systems: Sybils and Collusion. CoRR abs/0903.2278 (2009) - [i89]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent Learning in Large Anonymous Games. CoRR abs/0903.2282 (2009) - [i88]Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. CoRR abs/0906.4316 (2009) - [i87]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness Revisited. CoRR abs/0906.4321 (2009) - [i86]Joseph Y. Halpern, Rafael Pass:
A Logical Characterization of Iterated Admissibility. CoRR abs/0906.4326 (2009) - [i85]Adam J. Grove, Joseph Y. Halpern:
Updating Sets of Probabilities. CoRR abs/0906.4332 (2009) - 2008
- [j122]Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive unawareness revisited. Games Econ. Behav. 62(1): 232-262 (2008) - [j121]Joseph Y. Halpern, Vicky Weissman:
A formal foundation for XrML. J. ACM 55(1): 4:1-4:42 (2008) - [j120]Joseph Y. Halpern:
Intransitivity and Vagueness. Rev. Symb. Log. 1(4): 530-547 (2008) - [j119]Joseph Y. Halpern, Vicky Weissman:
Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. 11(4): 21:1-21:41 (2008) - [j118]Joseph Y. Halpern, Kevin R. O'Neill:
Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1): 5:1-5:47 (2008) - [j117]Hana Chockler
, Joseph Y. Halpern, Orna Kupferman:
What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): 20:1-20:26 (2008) - [c168]Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI 2008: 454-459 - [c167]Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR 2008: 1 - [c166]David J. Martin, Johannes Gehrke, Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions. ICDE 2008: 237-246 - [c165]Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR 2008: 6-15 - [c164]Joseph Y. Halpern:
Defaults and Normality in Causal Structures. KR 2008: 198-208 - [c163]Joseph Y. Halpern:
Beyond nash equilibrium: solution concepts for the 21st century. PODC 2008: 1-10 - [c162]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC 2008: 405-414 - [c161]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
The lotus-eater attack. PODC 2008: 455 - [c160]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators. TCC 2008: 302-319 - [c159]Peter Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI 2008: 240-247 - [i84]Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. CoRR abs/0804.2155 (2008) - [i83]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
The Lotus-Eater Attack. CoRR abs/0806.1711 (2008) - [i82]Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CoRR abs/0806.2139 (2008) - [i81]Joseph Y. Halpern:
Defaults and Normality in Causal Structures. CoRR abs/0806.2140 (2008) - [i80]Joseph Y. Halpern, Vicky Weissman:
A Formal Foundation for XrML. CoRR abs/0808.1215 (2008) - [i79]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience. CoRR abs/0808.1505 (2008) - [i78]Joseph Y. Halpern, Rafael Pass:
Game Theory with Costly Computation. CoRR abs/0809.0024 (2008) - [i77]David J. Martin, Johannes Gehrke, Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions. CoRR abs/0809.0116 (2008) - [i76]Joseph Y. Halpern, Rafael Pass:
Iterated Regret Minimization: A More Realistic Solution Concept. CoRR abs/0810.3023 (2008) - 2007
- [j116]Joseph Y. Halpern, Riccardo Pucella:
Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007) - [j115]Joseph Y. Halpern, Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. J. Log. Comput. 17(4): 795-806 (2007) - [c158]David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern:
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. ICDE 2007: 126-135 - [c157]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307 - [c156]Joseph Y. Halpern, Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI 2007: 2306-2311 - [c155]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. EC 2007: 305-315 - [c154]Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience. TARK 2007: 169-176 - [c153]Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players. TARK 2007: 253-262 - [i75]Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive Games with Possibly Unaware Players. CoRR abs/0704.2014 (2007) - [i74]Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators. CoRR abs/0704.3646 (2007) - [i73]David J. Martin, Daniel Kifer, Ashwin Machanavajjhala, Johannes Gehrke, Joseph Y. Halpern:
Worst-Case Background Knowledge for Privacy-Preserving Data Publishing. CoRR abs/0705.2787 (2007) - [i72]Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash:
Efficiency and Nash Equilibria in a Scrip System for P2P Networks. CoRR abs/0705.4094 (2007) - [i71]Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists. CoRR abs/0705.4110 (2007) - [i70]Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized Solution Concepts in Games with Possibly Unaware Players. CoRR abs/0707.1904 (2007) - [i69]Joseph Y. Halpern, Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation. CoRR abs/0707.3435 (2007) - [i68]Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/0711.3235 (2007) - [i67]Joseph Y. Halpern, Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics. CoRR abs/cs/0702011 (2007) - [i66]Joseph Y. Halpern:
Computer Science and Game Theory: A Brief Survey. CoRR abs/cs/0703148 (2007) - 2006
- [j114]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. J. Artif. Intell. Res. 26: 1-34 (2006) - [j113]Zygmunt J. Haas, Joseph Y. Halpern, Li (Erran) Li:
Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. 14(3): 479-491 (2006) - [c152]Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive games with possibly unaware players. AAMAS 2006: 744-751 - [c151]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness. KR 2006: 6-13 - [c150]Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Redoing the Foundations of Decision Theory. KR 2006: 14-24 - [c149]Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern:
Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation. PODC 2006: 53-62 - [c148]Joseph Y. Halpern:
From statistical knowledge bases to degrees of belief: an overview. PODS 2006: 110-113 - [c147]Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8 - [c146]Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash:
Efficiency and nash equilibria in a scrip system for P2P networks. EC 2006: 140-149 - [c145]Joseph Y. Halpern, Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150 - [i65]Joseph Y. Halpern, Vicky Weissman:
Using First-Order Logic to Reason about Policies. CoRR abs/cs/0601034 (2006) - [i64]Joseph Y. Halpern, Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. CoRR abs/cs/0603019 (2006) - [i63]Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness. CoRR abs/cs/0603020 (2006) - [i62]Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. CoRR abs/cs/0607146 (2006) - [i61]Joseph Y. Halpern, Sabina Petride:
Expressing Security Properties Using Selective Interleaving Functions. CoRR abs/cs/0608022 (2006) - [i60]Joseph Y. Halpern:
Using Sets of Probability Measures to Represent Uncertainty. CoRR abs/cs/0608028 (2006) - [i59]Joseph Y. Halpern, Vanessa Teague:
Rational Secret Sharing and Multiparty Computation: Extended Abstract. CoRR abs/cs/0609035 (2006) - [i58]Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. CoRR abs/cs/0610098 (2006) - 2005
- [b2]Joseph Y. Halpern:
Reasoning about uncertainty. MIT Press 2005, ISBN 978-0-262-58259-9, pp. I-XIV, 1-483 - [j112]Joseph Y. Halpern, Aleta Ricciardi:
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Comput. 17(3): 223-236 (2005) - [j111]Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and information hiding in multiagent systems. J. Comput. Secur. 13(3): 483-512 (2005) - [j110]Joseph Y. Halpern, Riccardo Pucella:
Probabilistic Algorithmic Knowledge. Log. Methods Comput. Sci. 1(3) (2005) - [j109]Li (Erran) Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer:
A cone-based distributed topology-control algorithm for wireless multi-hop networks. IEEE/ACM Trans. Netw. 13(1): 147-159 (2005) - [c144]Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive unawareness revisited. TARK 2005: 78-91 - [c143]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. UAI 2005: 243-250 - [p1]Joseph Y. Halpern, Li (Erran) Li:
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 2005: 115-132 - [i57]Joseph Y. Halpern, Riccardo Pucella:
Probabilistic Algorithmic Knowledge. CoRR abs/cs/0503018 (2005) - [i56]Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive Unawareness Revisited. CoRR abs/cs/0509058 (2005) - [i55]Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/cs/0510079 (2005) - [i54]Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. CoRR abs/cs/0510080 (2005) - 2004
- [j108]Francis C. Chu, Joseph Y. Halpern:
Great expectations. Part II: generalized expected utility as a universal decision rule. Artif. Intell. 159(1-2): 207-229 (2004) - [j107]Joseph Y. Halpern, Yoram Moses:
Using counterfactuals in knowledge-based programming. Distributed Comput. 17(2): 91-106 (2004) - [j106]Joseph Y. Halpern, Richard A. Shore:
Reasoning about common knowledge with infinitely many agents. Inf. Comput. 191(1): 1-40 (2004) - [j105]Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. 21: 319-356 (2004) - [j104]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. 22: 93-115 (2004) - [j103]Joseph Y. Halpern, Ron van der Meyden
, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM J. Comput. 33(3): 674-703 (2004) - [j102]Li (Erran) Li, Joseph Y. Halpern:
A minimum-energy path-preserving topology-control algorithm. IEEE Trans. Wirel. Commun. 3(3): 910-921 (2004) - [c142]Joseph Y. Halpern, Vicky Weissman:
A Formal Foundation for XrML. CSFW 2004: 251- - [c141]Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR 2004: 12-22 - [c140]Joseph Y. Halpern:
Intransitivity and Vagueness. KR 2004: 121-129 - [c139]Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465 - [c138]Magnús M. Halldórsson, Joseph Y. Halpern, Li (Erran) Li, Vahab S. Mirrokni:
On spectrum sharing games. PODC 2004: 107-114 - [c137]Joseph Y. Halpern, Vanessa Teague:
Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632 - [c136]Peter Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. UAI 2004: 226-234 - [e4]David Maxwell Chickering, Joseph Y. Halpern:
UAI '04, Proceedings of the 20th Conference in Uncertainty in Artificial Intelligence, Banff, Canada, July 7-11, 2004. AUAI Press 2004, ISBN 0-9749039-0-6 [contents] - [i53]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR cs.AI/0405098 (2004) - [i52]Joseph Y. Halpern:
Intransitivity and Vagueness. CoRR cs.AI/0410049 (2004) - [i51]Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. CoRR cs.AI/0410050 (2004) - [i50]Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems. CoRR cs.CR/0402042 (2004) - [i49]Joseph Y. Halpern, Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. CoRR cs.DC/0402012 (2004) - 2003
- [j101]Joseph Y. Halpern, Bruce M. Kapron:
Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193]. Ann. Pure Appl. Log. 121(2-3): 281-283 (2003) - [j100]Joseph Y. Halpern:
A computer scientist looks at game theory. Games Econ. Behav. 45(1): 114-131 (2003) - [j99]Joseph Y. Halpern:
JACM's 50th anniversary. J. ACM 50(1): 3-7 (2003) - [j98]Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. J. Artif. Intell. Res. 19: 243-278 (2003) - [j97]Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. J. Comput. Secur. 11(4): 581-614 (2003) - [j96]Joseph Y. Halpern, Riccardo Pucella:
On the relationship between strand spaces and multi-agent systems. ACM Trans. Inf. Syst. Secur. 6(1): 43-70 (2003) - [j95]Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno:
LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003) - [c135]Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88 - [c134]Joseph Y. Halpern, Vicky Weissman:
Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201 - [c133]Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153 - [c132]Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296 - [c131]Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302 - [c130]Joseph Y. Halpern, Riccardo Pucella:
Probabilistic algorithmic knowledge. TARK 2003: 118-130 - [c129]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. UAI 2003: 297-304 - [e3]Joseph Y. Halpern, Moshe Tennenholtz:
Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003. ACM 2003, ISBN 1-58113-731-1 [contents] - [i48]Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. CoRR cs.AI/0306124 (2003) - [i47]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
From Statistical Knowledge Bases to Degrees of Belief. CoRR cs.AI/0307056 (2003) - [i46]Joseph Y. Halpern, Riccardo Pucella:
A logic for reasoning about upper probabilities. CoRR cs.AI/0307069 (2003) - [i45]Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations. CoRR cs.AI/0307070 (2003) - [i44]Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revisions and Update. CoRR cs.AI/0307071 (2003) - [i43]Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. CoRR cs.AI/0311026 (2003) - [i42]Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. CoRR cs.AI/0311027 (2003) - [i41]Joseph Y. Halpern, Riccardo Pucella:
Reasoning About Expectation. CoRR cs.AI/0312037 (2003) - [i40]Hana Chockler, Joseph Y. Halpern:
Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003) - [i39]Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. CoRR cs.AI/0312048 (2003) - [i38]Joseph Y. Halpern, Riccardo Pucella:
On the Relationship between Strand Spaces and Multi-Agent Systems. CoRR cs.CR/0306107 (2003) - [i37]Kevin R. O'Neill, Joseph Y. Halpern:
Secrecy in Multiagent Systems. CoRR cs.CR/0307057 (2003) - [i36]Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. CoRR cs.DC/0311028 (2003) - [i35]Joseph Y. Halpern:
Lexicographic probability, conditional probability, and nonstandard probability. CoRR cs.GT/0306106 (2003) - [i34]Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (2003) - 2002
- [j94]Joseph Y. Halpern:
Update: Time to publication statistics. J. ACM 49(6): 715 (2002) - [j93]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. 17: 57-81 (2002) - [j92]Joseph Y. Halpern:
Characterizing the Common Prior Assumption. J. Econ. Theory 106(2): 316-355 (2002) - [c128]Joseph Y. Halpern, Kevin R. O'Neill:
Secrecy in Multiagent Systems. CSFW 2002: 32- - [c127]Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132 - [c126]Zygmunt J. Haas, Joseph Y. Halpern, Li Li:
Gossip-based ad hoc routing. INFOCOM 2002: 1707-1716 - [c125]Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke:
Least Expected Cost Query Optimization: What Can We Expect? PODS 2002: 293-302 - [c124]Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. UAI 2002: 187-196 - [c123]Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. UAI 2002: 207-215 - [i33]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach. Part II: Explanations. CoRR cs.AI/0208034 (2002) - [i32]Joseph Y. Halpern, Ron van der Meyden:
A logical reconstruction of SPKI. CoRR cs.CR/0208028 (2002) - [i31]Joseph Y. Halpern:
A computer scientist looks at game theory. CoRR cs.GT/0201016 (2002) - [i30]Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002) - [i29]Zygmunt J. Haas, Joseph Y. Halpern, Li Li:
Gossip Based Ad-Hoc Routing. CoRR cs.NI/0209011 (2002) - [i28]Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer:
Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks. CoRR cs.NI/0209012 (2002) - [i27]Li Li, Joseph Y. Halpern:
Minimum-Energy Mobile Wireless Networks Revisited. CoRR cs.NI/0209013 (2002) - 2001
- [j91]Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu:
On the unusual effectiveness of logic in computer science. Bull. Symb. Log. 7(2): 213-236 (2001) - [j90]Francis C. Chu, Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery. Distributed Comput. 14(1): 1-16 (2001) - [j89]Joseph Y. Halpern:
Alternative Semantics for Unawareness. Games Econ. Behav. 37(2): 321-339 (2001) - [j88]Joseph Y. Halpern:
Substantive Rationality and Backward Induction. Games Econ. Behav. 37(2): 425-435 (2001) - [j87]Francis C. Chu, Joseph Y. Halpern:
On the NP-completeness of finding an optimal strategy in games with common payoffs. Int. J. Game Theory 30(1): 99-106 (2001) - [j86]Nir Friedman
, Joseph Y. Halpern:
Plausibility measures and default reasoning. J. ACM 48(4): 648-685 (2001) - [j85]Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. 14: 359-389 (2001) - [j84]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. J. Comput. Secur. 9(1/2): 105-142 (2001) - [j83]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001) - [j82]Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001) - [c122]Joseph Y. Halpern, Riccardo Pucella:
On the relationship between strand spaces and multi-agent systems. CCS 2001: 106-115 - [c121]Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. CSFW 2001: 59-70 - [c120]Li Li, Joseph Y. Halpern:
Minimum-energy mobile wireless networks revisited. ICC 2001: 278-283 - [c119]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34 - [c118]Joseph Y. Halpern:
Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483 - [c117]Li Li, Joseph Y. Halpern, Paramvir Bahl, Yi-Min Wang, Roger Wattenhofer:
Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks. PODC 2001: 264-273 - [c116]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001: 194-202 - [c115]Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210 - [i26]Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. CoRR cs.AI/0103020 (2001) - [i25]Francis C. Chu, Joseph Y. Halpern:
On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs. CoRR cs.DC/0103019 (2001) - 2000
- [j81]Joseph Y. Halpern:
A note on knowledge-based programs and specifications. Distributed Comput. 13(3): 145-153 (2000) - [j80]Joseph Y. Halpern:
Editorial: a bill of rights and responsibilities. J. ACM 47(5): 823-825 (2000) - [j79]Joseph Y. Halpern:
Axiomatizing Causal Reasoning. J. Artif. Intell. Res. 12: 317-337 (2000) - [j78]Joseph Y. Halpern:
CoRR: a computing research repository. ACM J. Comput. Documentation 24(2): 41-48 (2000) - [j77]Joseph Y. Halpern:
A response to the commentaries on CoRR. ACM J. Comput. Documentation 24(2): 72-77 (2000) - [j76]Nir Friedman
, Joseph Y. Halpern, Daphne Koller:
First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. 1(2): 175-207 (2000) - [c114]Zygmunt J. Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker:
A decision-theoretic approach to resource allocation in wireless multimedia networks. DIAL-M 2000: 86-95 - [c113]Joseph Y. Halpern:
Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000: 15-16 - [c112]Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. UAI 2000: 247-255 - [i24]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. CoRR cs.AI/0001015 (2000) - [i23]Joseph Y. Halpern:
Axiomatizing Causal Reasoning. CoRR cs.AI/0005030 (2000) - [i22]Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. CoRR cs.AI/0005031 (2000) - [i21]Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach, Part I: Causes. CoRR cs.AI/0011012 (2000) - [i20]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CoRR cs.CR/0001026 (2000) - [i19]Joseph Y. Halpern:
A note on knowledge-based programs and specifications. CoRR cs.DC/0003058 (2000) - [i18]Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing work efficiently in the presence of faults. CoRR cs.DC/0006008 (2000) - [i17]Joseph Y. Halpern, Yoram Moses:
Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000) - [i16]Joseph Y. Halpern:
CoRR: A Computing Research Repository. CoRR cs.DL/0005003 (2000) - [i15]Joseph Y. Halpern:
A response to the commentaries on CoRR. CoRR cs.DL/0005004 (2000) - [i14]Zygmunt J. Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker:
A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks. CoRR cs.NI/0006037 (2000)
1990 – 1999
- 1999
- [j75]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. Artif. Intell. 111(1-2): 171-208 (1999) - [j74]Joseph Y. Halpern:
Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999) - [j73]Joseph Y. Halpern:
Errata: "The relationship between knowledge, belief, and certainty". Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999) - [j72]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. Ann. Pure Appl. Log. 96(1-3): 89-105 (1999) - [j71]Joseph Y. Halpern:
Hypothetical knowledge and counterfactual reasoning. Int. J. Game Theory 28(3): 315-330 (1999) - [j70]Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi:
The hierarchical approach to modeling knowledge and common knowledge. Int. J. Game Theory 28(3): 331-365 (1999) - [j69]Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. 10: 67-85 (1999) - [j68]Nir Friedman
, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. 10: 117-167 (1999) - [j67]Joseph Y. Halpern:
Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. 11: 429-435 (1999) - [j66]Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. J. Log. Lang. Inf. 8(4): 401-420 (1999) - [c111]Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122 - [c110]Joseph Y. Halpern, Carl Lagoze:
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL 1999: 3-11 - [c109]Joseph Y. Halpern, Nir Friedman:
Plausibility Measures and Default Reasoning: An Overview. LICS 1999: 130-135 - [c108]Joseph Y. Halpern, Richard A. Shore:
Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999: 384-393 - [c107]Joseph Y. Halpern, Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999: 73-82 - [c106]Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri:
Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999: 138-147 - [i13]Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update. CoRR cs.AI/9903016 (1999) - [i12]Joseph Y. Halpern:
Cox's Theorem Revisited. CoRR cs.AI/9911012 (1999) - [i11]Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri:
Least expected cost query optimization: an exercise in utility. CoRR cs.DB/9909016 (1999) - [i10]Francis C. Chu, Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery. CoRR cs.DC/9909015 (1999) - [i9]Joseph Y. Halpern, Richard A. Shore:
Reasoning About Common Knowledge with Infinitely Many Agents. CoRR cs.LO/9909014 (1999) - 1998
- [j65]Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham:
On the Knowledge Requirements of Tasks. Artif. Intell. 98(1-2): 317-349 (1998) - [j64]Joseph Y. Halpern:
A Computing Research Repository. D Lib Mag. 4(11) (1998) - [j63]Joseph Y. Halpern:
Time to Publication: A Progress Report. J. ACM 45(3): 379-380 (1998) - [j62]Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27(5): 1457-1491 (1998) - [c105]Craig Boutilier, Nir Friedman, Joseph Y. Halpern:
Belief Revision with Unreliable Observations. AAAI/IAAI 1998: 127-134 - [c104]Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty. ICMAS 1998: 6-7 - [c103]Joseph Y. Halpern:
Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998: 83-96 - [c102]Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110 - [c101]Joseph Y. Halpern:
Characterizing the Common Prior Assumption. TARK 1998: 133-146 - [c100]Adam J. Grove, Joseph Y. Halpern:
Updating Sets of Probabilities. UAI 1998: 173-182 - [c99]Joseph Y. Halpern:
Axiomatizing Causal Reasoning. UAI 1998: 202-210 - [c98]Francis C. Chu, Joseph Y. Halpern:
A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998: 89-103 - [i8]Nir Friedman, Joseph Y. Halpern, Daphne Koller:
First-Order Conditional Logic Revisited. CoRR cs.AI/9808005 (1998) - [i7]Joseph Y. Halpern:
Set-Theoretic Completeness for Epistemic and Conditional Logic. CoRR cs.AI/9808006 (1998) - [i6]Nir Friedman, Joseph Y. Halpern:
Plausibility Measures and Default Reasoning. CoRR cs.AI/9808007 (1998) - [i5]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. CoRR cs.AI/9809013 (1998) - [i4]Joseph Y. Halpern, Carl Lagoze:
The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. CoRR cs.DL/9812020 (1998) - [i3]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common knowledge revisited. CoRR cs.LO/9809003 (1998) - 1997
- [j61]Nir Friedman
, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. 95(2): 257-316 (1997) - [j60]Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Comput. Intell. 13(1): 144-163 (1997) - [j59]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. Distributed Comput. 10(4): 199-225 (1997) - [j58]Joseph Y. Halpern:
On becoming editor-in-chief of JACM. J. ACM 44(3): 363-365 (1997) - [j57]Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. 7: 1-24 (1997) - [j56]Joseph Y. Halpern:
A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. 7(1): 79-108 (1997) - [j55]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning about Knowledge: A Response by the Authors. Minds Mach. 7(1): 113 (1997) - [c97]Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997 - [c96]Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. UAI 1997: 62-71 - [c95]Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. UAI 1997: 208-214 - [i2]Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR cs.AI/9707103 (1997) - 1996
- [j54]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
From Statistical Knowledge Bases to Degrees of Belief. Artif. Intell. 87(1-2): 75-143 (1996) - [j53]Joseph Y. Halpern:
Should knowledge entail belief? J. Philos. Log. 25(5): 483-494 (1996) - [j52]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. 61(1): 250-276 (1996) - [j51]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25(1): 1-51 (1996) - [c94]Daphne Koller, Joseph Y. Halpern:
Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996: 569-576 - [c93]Nir Friedman, Joseph Y. Halpern:
Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996: 1297-1304 - [c92]Nir Friedman, Joseph Y. Halpern, Daphne Koller:
First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996: 1305-1312 - [c91]Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996: 1313-1319 - [c90]Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996: 1329-1330 - [c89]Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. KR 1996: 421-431 - [c88]Joseph Y. Halpern:
On Ambiguities in the Interpretation of Game Trees. TARK 1996: 77-96 - [c87]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. TARK 1996: 251-265 - [c86]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. TARK 1996: 283-298 - [c85]Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996: 263-273 - [c84]Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996: 299-306 - 1995
- [b1]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning About Knowledge. MIT Press 1995, ISBN 9780262562003 - [j50]Joseph Y. Halpern, Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995) - [j49]Joseph Y. Halpern:
The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic. Artif. Intell. 75(2): 361-372 (1995) - [j48]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995) - [j47]Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completeness for FP. Inf. Comput. 118(2): 246-271 (1995) - [j46]Danny Dolev
, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
Dynamic Fault-Tolerant Clock Synchronization. J. ACM 42(1): 143-185 (1995) - [c83]Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861 - [c82]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940 - [c81]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. PODC 1995: 153-163 - [c80]Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus. Reasoning with Uncertainty in Robotics 1995: 218-220 - [c79]Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. UAI 1995: 175-184 - 1994
- [j45]Joseph Y. Halpern, Bruce M. Kapron
:
Zero-One Laws for Modal Logic. Ann. Pure Appl. Log. 69(2-3): 157-193 (1994) - [j44]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
A Response to "Believing on the Basis of the Evidence". Comput. Intell. 10: 21-25 (1994) - [j43]Martín Abadi, Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability. Inf. Comput. 112(1): 1-36 (1994) - [j42]Ronald Fagin, Joseph Y. Halpern:
Reasoning About Knowledge and Probability. J. ACM 41(2): 340-367 (1994) - [j41]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. J. Artif. Intell. Res. 2: 33-88 (1994) - [c78]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Forming Beliefs about a Changing World. AAAI 1994: 222-229 - [c77]Nir Friedman, Joseph Y. Halpern:
Conditional Logics of Belief Change. AAAI 1994: 915-921 - [c76]Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147 - [c75]Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201 - [c74]Nir Friedman, Joseph Y. Halpern:
On the Complexity of Conditional Logics. KR 1994: 202-213 - [c73]Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64 - [c72]Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266 - [c71]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs from Old. UAI 1994: 37-45 - [i1]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. CoRR abs/cs/9408101 (1994) - 1993
- [j40]Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993) - [j39]Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in Epistemic Logics Part I: The Propositional Case. J. Log. Comput. 3(4): 345-378 (1993) - [j38]Vassos Hadzilacos, Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement. Math. Syst. Theory 26(1): 41-102 (1993) - [j37]Vassos Hadzilacos, Joseph Y. Halpern:
The Failure Discovery Problem. Math. Syst. Theory 26(1): 103-129 (1993) - [c70]Joseph Y. Halpern:
Reasoning about only Knowing with Many Agents. AAAI 1993: 655-661 - [c69]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325 - [c68]Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569 - [c67]Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993: 43-60 - 1992
- [j36]Joseph Y. Halpern, Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. 54(2): 275-317 (1992) - [j35]Joseph Y. Halpern, Yoram Moses:
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief. Artif. Intell. 54(2): 319-379 (1992) - [j34]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Properties of Knowledge in Distributed Systems. J. ACM 39(2): 328-376 (1992) - [j33]Joseph Y. Halpern, Lenore D. Zuck:
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols. J. ACM 39(3): 449-478 (1992) - [j32]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992) - [c66]Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern:
From Statistics to Beliefs. AAAI 1992: 602-608 - [c65]Daphne Koller, Joseph Y. Halpern:
A Logic for Approximate Reasoning. KR 1992: 153-164 - [c64]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. LICS 1992: 22-33 - [c63]Joseph Y. Halpern, Bruce M. Kapron
:
Zero-One Laws for Modal Logic. LICS 1992: 369-380 - [c62]Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing Work Efficiently in the Presence of Faults. PODC 1992: 91-102 - [c61]Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities for First-Order Logic. STOC 1992: 294-305 - [c60]Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi:
The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge. TARK 1992: 229-244 - 1991
- [j31]Joseph Y. Halpern:
The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. 4: 301-322 (1991) - [j30]Ronald Fagin, Joseph Y. Halpern:
Uncertainty, belief, and probability. Comput. Intell. 7: 160-173 (1991) - [j29]Joseph Y. Halpern, Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting. Distributed Comput. 5: 73-82 (1991) - [j28]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991) - [j27]Joseph Y. Halpern, Yoav Shoham:
A Propositional Modal Logic of Time Intervals. J. ACM 38(4): 935-962 (1991) - [j26]Joseph Y. Halpern:
Presburger Arithmetic with Unarr Predicates is Pi11 Complete. J. Symb. Log. 56(2): 637-642 (1991) - [c59]Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. Artificial and Mathematical Theory of Computation 1991: 151-176 - [c58]Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312 - [c57]Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334 - [c56]Vassos Hadzilacos, Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC 1991: 309-323 - [c55]Joseph Y. Halpern:
Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 1991: 50-54 - 1990
- [j25]Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability. Artif. Intell. 46(3): 311-350 (1990) - [j24]Joseph Y. Halpern:
Let many flowers bloom: a response to An inquiry into computer understanding e. Comput. Intell. 6: 184-188 (1990) - [j23]Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo:
A Logic for Reasoning about Probabilities. Inf. Comput. 87(1/2): 78-128 (1990) - [j22]Joseph Y. Halpern, John H. Williams, Edward L. Wimmers:
Completeness of Rewrite Rules and Rewrite Strategies for FP. J. ACM 37(1): 86-143 (1990) - [j21]Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. J. ACM 37(3): 549-587 (1990) - [c54]Joseph Y. Halpern, Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990: 112-119 - [c53]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What is an inference rule? Jerusalem Conference on Information Technology 1990: 391-401 - [c52]Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346 - [c51]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55 - [c50]Ronald Fagin, Joseph Y. Halpern:
A new approach to updating beliefs. UAI 1990: 347-374
1980 – 1989
- 1989
- [j20]Joseph Y. Halpern, Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems. Distributed Comput. 3(4): 159-177 (1989) - [j19]Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
Reasoning about Procedures as Parameters in the Language L4. Inf. Comput. 83(3): 265-359 (1989) - [j18]Joseph Y. Halpern, Moshe Y. Vardi:
The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1): 195-237 (1989) - [c49]Martín Abadi, Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract). FOCS 1989: 148-153 - [c48]Ronald Fagin, Joseph Y. Halpern:
Uncertainty, Belief, and Probability. IJCAI 1989: 1161-1167 - [c47]Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability. IJCAI 1989: 1375-1381 - [c46]Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries. PODC 1989: 103-118 - 1988
- [j17]Ronald Fagin, Joseph Y. Halpern:
I'm OK if you're OK: On the notion of trusting communication. J. Philos. Log. 17(4): 329-354 (1988) - [c45]Joseph Y. Halpern, Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems. Concurrency 1988: 18-32 - [c44]Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo:
A Logic for Reasoning about Probabilities. LICS 1988: 410-421 - [c43]Joseph Y. Halpern, Moshe Y. Vardi:
Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988: 53-65 - [c42]Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle:
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report). STOC 1988: 132-147 - [c41]Joseph Y. Halpern:
Reasoning About Knowledge: A Tutorial. TARK 1988: 161 - [c40]Ronald Fagin, Joseph Y. Halpern:
Reasoning about Knowledge and Probability. TARK 1988: 277-293 - 1987
- [j16]Joseph Y. Halpern, Michael O. Rabin:
A Logic to Reason about Likelihood. Artif. Intell. 32(3): 379-405 (1987) - [j15]Ronald Fagin, Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning. . Artif. Intell. 34(1): 39-76 (1987) - [j14]Danny Dolev
, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
A New Look at Fault-Tolerant Network Routing. Inf. Comput. 72(3): 180-196 (1987) - [c39]Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completenes for FP. LICS 1987: 257-271 - [c38]Ronald Fagin, Joseph Y. Halpern:
I'm OK if You're OK: On the Notion of Trusting Communication. LICS 1987: 280-292 - [c37]Joseph Y. Halpern:
A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. PODC 1987: 269-280 - 1986
- [j13]Yoram Moses, Danny Dolev
, Joseph Y. Halpern:
Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication. Distributed Comput. 1(3): 167-176 (1986) - [j12]E. Allen Emerson, Joseph Y. Halpern:
"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. J. ACM 33(1): 151-178 (1986) - [j11]Danny Dolev
, Joseph Y. Halpern, H. Raymond Strong:
On the Possibility and Impossibility of Achieving Clock Synchronization. J. Comput. Syst. Sci. 32(2): 230-250 (1986) - [j10]Joseph Y. Halpern, Yoram Moses:
Taken by surprise: The paradox of the surprise test revisited. J. Philos. Log. 15(3): 281-304 (1986) - [j9]Joseph Y. Halpern, Michael C. Loui, Albert R. Meyer
, Daniel Weise:
On Time versus Space III. Math. Syst. Theory 19(1): 13-28 (1986) - [c36]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435 - [c35]Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
True Relative Completeness of an Axiom System for the Language L4 (Abridged). LICS 1986: 11-25 - [c34]Joseph Y. Halpern, John H. Williams, Edward L. Wimmers:
Good Rewrite Strategies for FP. LICS 1986: 149-162 - [c33]Joseph Y. Halpern, Yoav Shoham:
A Propositional Model Logic of Time Intervals. LICS 1986: 279-292 - [c32]Joseph Y. Halpern, Moshe Y. Vardi:
The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986: 304-315 - [c31]Joseph Y. Halpern:
Reasoning About Knowledge: An Overview. TARK 1986: 1-17 - [e2]Joseph Y. Halpern:
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986. ACM 1986, ISBN 0-89791-198-9 [contents] - [e1]Joseph Y. Halpern:
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986. Morgan Kaufmann 1986, ISBN 0-934613-04-4 [contents] - 1985
- [j8]Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi:
Optimal precision in the presence of uncertainty. J. Complex. 1(2): 170-196 (1985) - [j7]E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. J. Comput. Syst. Sci. 30(1): 1-24 (1985) - [j6]Rohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer:
Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14(4): 935-942 (1985) - [c30]Joseph Y. Halpern, Yoram Moses:
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490 - [c29]Ronald Fagin, Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985: 491-501 - [c28]Yoram Moses, Danny Dolev, Joseph Y. Halpern:
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). PODC 1985: 215-223 - [c27]Joseph Y. Halpern, Ronald Fagin:
A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC 1985: 224-236 - [c26]Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP. POPL 1985: 108-120 - [c25]Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi:
Optimal Precision in the Presence of Uncertainty (Preliminary Version). STOC 1985: 346-355 - 1984
- [c24]Joseph Y. Halpern, David A. McAllester:
Likelihood, Probability, and Knowledge. AAAI 1984: 137-141 - [c23]Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984: 268-278 - [c22]Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. Logics and Models of Concurrent Systems 1984: 459-476 - [c21]Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143 - [c20]Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61 - [c19]Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev:
Fault-Tolerant Clock Synchronization. PODC 1984: 89-102 - [c18]Joseph Y. Halpern, Albert R. Meyer, Boris A. Trakhtenbrot:
The Semantics of Local Storage, or What Makes the Free-List Free? POPL 1984: 245-257 - [c17]Joseph Y. Halpern:
A Good Hoare Axiom System for an Algol-like Language. POPL 1984: 262-271 - [c16]Danny Dolev, Joseph Y. Halpern, H. Raymond Strong:
On the Possibility and Impossibility of Achieving Clock Synchronization. STOC 1984: 504-511 - [c15]Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
A New Look at Fault Tolerant Network Routing. STOC 1984: 526-535 - 1983
- [j5]Joseph Y. Halpern:
Deterministic Process Logic is Elementary. Inf. Control. 57(1): 56-89 (1983) - [j4]Edmund M. Clarke, Steven M. German, Joseph Y. Halpern:
Effective Axiomatizations of Hoare Logics. J. ACM 30(3): 612-636 (1983) - [j3]Joseph Y. Halpern, John H. Reif:
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. Theor. Comput. Sci. 27: 127-165 (1983) - [c14]Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski:
A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291 - [c13]Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
Reasoning About Procedures as Parameters. Logic of Programs 1983: 206-220 - [c12]Boris A. Trakhtenbrot, Joseph Y. Halpern, Albert R. Meyer:
From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview. Logic of Programs 1983: 474-500 - [c11]E. Allen Emerson, Joseph Y. Halpern:
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. POPL 1983: 127-140 - [c10]Joseph Y. Halpern, Michael O. Rabin:
A Logic to Reason about Likelihood. STOC 1983: 310-319 - 1982
- [j2]Albert R. Meyer, Joseph Y. Halpern:
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. J. ACM 29(2): 555-576 (1982) - [j1]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness. J. Comput. Syst. Sci. 25(3): 402-417 (1982) - [c9]Joseph Y. Halpern:
Deterministic Process Logic Is Elementary. FOCS 1982: 204-216 - [c8]Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn:
On the Power of Nondeterminism in Dynamic Logic. ICALP 1982: 48-60 - [c7]Edmund M. Clarke, Steven M. German, Joseph Y. Halpern:
On Effective Axiomatizations of Hoare Logics. POPL 1982: 309-321 - [c6]E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. STOC 1982: 169-180 - 1981
- [c5]Joseph Y. Halpern, John H. Reif:
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract). FOCS 1981: 322-334 - [c4]Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263 - [c3]Joseph Y. Halpern, Albert R. Meyer:
Axiomatic Definitions of Programming Languages, II. POPL 1981: 139-148 - [c2]Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh:
Equations between Regular Terms and an Application to Process Logic. STOC 1981: 384-390 - 1980
- [c1]Albert R. Meyer, Joseph Y. Halpern:
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL 1980: 203-212
Coauthor Index
aka: Peter D. Grünwald
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint