default search action

combined dblp search
author search
venue search
publication search

ask others

Joseph Y. Halpern

Joe Halpern

> Home > Persons

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

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j180]
- view
  authority control:
- export record
  dblp key:
  - journals/jet/GeffnerH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jet/GeffnerH24
Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. J. Econ. Theory 221: 105890 (2024)
[j179]
- view
  authority control:
- export record
  dblp key:
  - journals/mima/BeckersCH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mima/BeckersCH24
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. Minds Mach. 34(3): 34 (2024)
[c256]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/AlpturerHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/AlpturerHM24
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
A Knowledge-Based Analysis of Intersection Protocols. DISC 2024: 2:1-2:17
[i191]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10937
Joseph Y. Halpern, Evan Piermont:
Subjective Causality. CoRR abs/2401.10937 (2024)
[i190]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-13752
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-13752
Hana Chockler, Joseph Y. Halpern:
Explaining Image Classifiers. CoRR abs/2401.13752 (2024)
[i189]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-09413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-09413
Joseph Y. Halpern:
Mathematical Explanations. CoRR abs/2402.09413 (2024)
[i188]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-06624
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-06624
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)
[i187]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-14728
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-14728
Sainyam Galhotra, Joseph Y. Halpern:
Intervention and Conditioning in Causal Bayesian Networks. CoRR abs/2405.14728 (2024)
[i186]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-20880
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-20880
Yoav Kolumbus, Joe Halpern, Éva Tardos:
Paying to Do Better: Games with Payments between Learning Agents. CoRR abs/2405.20880 (2024)
[i185]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2408-09499
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2408-09499
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
A Knowledge-Based Analysis of Intersection Protocols. CoRR abs/2408.09499 (2024)
2023
[j178]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/GeffnerH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/GeffnerH23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LiuH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LiuH23
Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. AAMAS 2023: 2478-2480
[c254]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/clear2/BeckersHH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clear2/BeckersHH23
Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CLeaR 2023: 866-879
[c253]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ewaf/BeckersCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ewaf/BeckersCH23
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. EWAF 2023
[c252]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BeckersCH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BeckersCH23
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
Quantifying Harm. IJCAI 2023: 363-371
[c251]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AlpturerHM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AlpturerHM23
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. PODC 2023: 244-252
[c250]
- view
  authority control:
- export record
  dblp key:
  - conf/sigecom/0002HJMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigecom/0002HJMPR23
Daniel Halpern, Joseph Y. Halpern, Ali Jadbabaie, Elchanan Mossel, Ariel D. Procaccia, Manon Revel:
In Defense of Liquid Democracy. EC 2023: 852
[c249]
- view
  authority control:
- export record
  dblp key:
  - conf/sigecom/HalpernS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigecom/HalpernS23
Joseph Y. Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. EC 2023: 853-884
[c248]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/RichardsonHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/RichardsonHS23
Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for probabilistic dependency graphs. UAI 2023: 1741-1751
[c247]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/AbrahamDEH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/AbrahamDEH23
Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. DISC 2023: 1:1-1:22
[c246]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-07563
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-07563
Adam Bjorndahl, Joseph Y. Halpern:
Sequential Language-based Decisions. TARK 2023: 131-141
[c245]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-07185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-07185
Meir Friedenberg, Joseph Y. Halpern:
Joint Behavior and Common Belief. TARK 2023: 221-232
[i184]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-06845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-06845
Sander Beckers, Joseph Y. Halpern, Christopher Hitchcock:
Causal Models with Constraints. CoRR abs/2301.06845 (2023)
[i183]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-06271
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-06271
Kaya Alpturer, Joseph Y. Halpern, Ron van der Meyden:
Optimal Eventual Byzantine Agreement Protocols with Omission Failures. CoRR abs/2305.06271 (2023)
[i182]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13778
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13778
Xinming Liu, Joseph Y. Halpern:
Strategic Play By Resource-Bounded Agents in Security Games. CoRR abs/2307.13778 (2023)
[i181]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-11379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-11379
Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. CoRR abs/2308.11379 (2023)
[i180]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-13244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-13244
Joe Halpern, Aditya Saraf:
Chunking Tasks for Present-Biased Agents. CoRR abs/2309.13244 (2023)
[i179]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-14618
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-14618
Ivan Geffner, Joseph Y. Halpern:
Communication games, sequential equilibrium, and mediators. CoRR abs/2309.14618 (2023)
[i178]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-05580
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-05580
Oliver E. Richardson, Joseph Y. Halpern, Christopher De Sa:
Inference for Probabilistic Dependency Graphs. CoRR abs/2311.05580 (2023)
[i177]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-14775
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-14775
Ivan Geffner, Joseph Y. Halpern:
Bounding the Communication Complexity of Fault-Tolerant Common Coin Tossing. CoRR abs/2312.14775 (2023)
2022
[j177]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/SolovievH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/SolovievH22
Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. J. ACM 69(3): 20:1-20:37 (2022)
[c244]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChocklerH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChocklerH22
Hana Chockler, Joseph Y. Halpern:
On Testing for Discrimination Using Causal Models. AAAI 2022: 5548-5555
[c243]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HalpernP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernP22
Joseph Y. Halpern, Spencer Peters:
Reasoning about Causal Models with Infinitely Many Variables. AAAI 2022: 5668-5675
[c242]
- view
  - electronic edition @ nips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/BeckersCH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/BeckersCH22
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. NeurIPS 2022
[e6]
- view
  authority control:
- export record
  dblp key:
  - books/acm/22/GDH2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/acm/22/GDH2022
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-07300
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-07300
Valerio Capraro, Joseph Y. Halpern, Matjaz Perc:
From Outcome-Based to Language-Based Preferences. CoRR abs/2206.07300 (2022)
[i175]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-15111
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-15111
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Quantitative Account of Harm. CoRR abs/2209.15111 (2022)
[i174]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-05327
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-05327
Sander Beckers, Hana Chockler, Joseph Y. Halpern:
A Causal Analysis of Harm. CoRR abs/2210.05327 (2022)
[i173]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/AbrahamDEH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/AbrahamDEH22
Ittai Abraham, Danny Dolev, Ittay Eyal, Joseph Y. Halpern:
Colordag: An Incentive-Compatible Blockchain. IACR Cryptol. ePrint Arch. 2022: 308 (2022)
2021
[j176]
- view
  authority control:
- export record
  dblp key:
  - journals/jet/BlumeEH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jet/BlumeEH21
Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive decision theory. J. Econ. Theory 196: 105306 (2021)
[j175]
- view
  authority control:
- export record
  dblp key:
  - journals/teco/HalpernP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/teco/HalpernP21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/RichardsonH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/RichardsonH21
Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. AAAI 2021: 12174-12181
[c240]
- view
  authority control:
- export record
  dblp key:
  - conf/sss/GeffnerH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sss/GeffnerH21
Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. SSS 2021: 123-140
[c239]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tokenomics/Halpern21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tokenomics/Halpern21
Joseph Y. Halpern:
Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk). Tokenomics 2021: 1:1-1:2
[c238]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-11494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-11494
Adam Bjorndahl, Joseph Y. Halpern:
Language-based Decisions. TARK 2021: 55-67
[e5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-10886
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-10886
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-00872
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-00872
Matvey Soloviev, Joseph Y. Halpern:
Security Properties as Nested Causal Statements. CoRR abs/2104.00872 (2021)
[i171]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2104-02759
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-02759
Ivan Geffner, Joseph Y. Halpern:
Lower Bounds Implementing Mediators in Asynchronous Systems. CoRR abs/2104.02759 (2021)
[i170]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-11868
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-11868
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-09171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-09171
Spencer Peters, Joseph Y. Halpern:
Causal Modeling With Infinitely Many Variables. CoRR abs/2112.09171 (2021)
[i168]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-11362
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-11362
Joseph Y. Halpern, Spencer Peters:
Reasoning About Causal Models With Infinitely Many Variables. CoRR abs/2112.11362 (2021)
[i167]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2112-13388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13388
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/AlrajehCH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/AlrajehCH20
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining experts' causal judgments. Artif. Intell. 288: 103355 (2020)
[j173]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/BjorndahlHP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/BjorndahlHP20
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Bayesian games with intentions. Games Econ. Behav. 123: 54-67 (2020)
[j172]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Halpern20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Halpern20
Joseph Y. Halpern:
A note on the existence of Ratifiable Acts. Rev. Symb. Log. 13(3): 503-508 (2020)
[c237]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/kr/HalpernP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HalpernP20
Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. KR 2020: 476-484
[c236]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/LiuH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/LiuH20
Xinming Liu, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits. UAI 2020: 1298-1307
[i166]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10131
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10131
Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. CoRR abs/2005.10131 (2020)
[i165]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10141
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10141
Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus. CoRR abs/2005.10141 (2020)
[i164]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10180
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10180
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. CoRR abs/2005.10180 (2020)
[i163]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10297
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10297
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. CoRR abs/2005.10297 (2020)
[i162]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10381
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10381
Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. CoRR abs/2005.10381 (2020)
[i161]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10383
Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. CoRR abs/2005.10383 (2020)
[i160]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16950
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16950
Xinming Liu, Joseph Y. Halpern:
Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits. CoRR abs/2006.16950 (2020)
[i159]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2007-02823
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-02823
Joseph Y. Halpern, Evan Piermont:
Dynamic Awareness. CoRR abs/2007.02823 (2020)
[i158]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-10800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-10800
Oliver Richardson, Joseph Y. Halpern:
Probabilistic Dependency Graphs. CoRR abs/2012.10800 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j171]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Halpern19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Halpern19
Joseph Y. Halpern:
The Book of Why, Judea Pearl. Basic Books (2018). Artif. Intell. 277 (2019)
[j170]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernPS19
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The truth behind the myth of the Folk theorem. Games Econ. Behav. 117: 479-498 (2019)
[j169]
- view
  authority control:
- export record
  dblp key:
  - journals/teco/AbrahamDH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/teco/AbrahamDH19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/teco/HalpernP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/teco/HalpernP19
Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. ACM Trans. Economics and Comput. 7(2): 9:1-9:19 (2019)
[c235]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FriedenbergH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FriedenbergH19
Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. AAAI 2019: 525-532
[c234]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BeckersH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BeckersH19
Sander Beckers, Joseph Y. Halpern:
Abstracting Causal Models. AAAI 2019: 2678-2685
[c233]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HalpernP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernP19
Joseph Y. Halpern, Evan Piermont:
Partial Awareness. AAAI 2019: 2851-2858
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AbrahamDGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AbrahamDGH19
Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. PODC 2019: 501-510
[c231]
- view
  authority control:
- export record
  dblp key:
  - conf/sagt/HalpernP019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sagt/HalpernP019
Joseph Y. Halpern, Rafael Pass, Daniel Reichman:
On the Existence of Nash Equilibrium in Games with Resource-Bounded Players. SAGT 2019: 139-152
[c230]
- view
- export record
  dblp key:
  - conf/uai/BeckersEH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/BeckersEH19
Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstractions. UAI 2019: 606-615
[c229]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-09106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-09106
Joseph Y. Halpern, Rafael Pass:
A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator. TARK 2019: 221-232
[i157]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-04102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-04102
Meir Friedenberg, Joseph Y. Halpern:
Blameworthiness in Multi-Agent Settings. CoRR abs/1903.04102 (2019)
[i156]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-02069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-02069
Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. CoRR abs/1906.02069 (2019)
[i155]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1906-11583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-11583
Sander Beckers, Frederick Eberhardt, Joseph Y. Halpern:
Approximate Causal Abstraction. CoRR abs/1906.11583 (2019)
[i154]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-13485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-13485
Joseph Y. Halpern:
The Book of Why: Review. CoRR abs/1909.13485 (2019)
2018
[j167]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/HalpernP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/HalpernP18
Joseph Y. Halpern, Rafael Pass:
Game theory with translucent players. Int. J. Game Theory 47(3): 949-976 (2018)
[j166]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/AlechinaHKL18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HalpernK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernK18
Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. AAAI 2018: 1853-1860
[c227]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AljarehCH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AljarehCH18
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern:
Combining Experts' Causal Judgments. AAAI 2018: 6311-6318
[c226]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/SolovievH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SolovievH18
Matvey Soloviev, Joseph Y. Halpern:
Information Acquisition Under Resource Limitations in a Noisy Environment. AAAI 2018: 6443-6450
[c225]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/AlechinaHKL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AlechinaHKL18
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/FriedenbergH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FriedenbergH18
Meir Friedenberg, Joseph Y. Halpern:
Combining the Causal Judgments of Experts with Possibly Different Focus Areas. KR 2018: 504-513
[i153]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-01214
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-01214
Ittai Abraham, Danny Dolev, Ivan Geffner, Joseph Y. Halpern:
Implementing Mediators with Asynchronous Cheap Talk. CoRR abs/1806.01214 (2018)
[i152]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-05903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-05903
Joseph Y. Halpern, Max Kleiman-Weiner:
Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility. CoRR abs/1810.05903 (2018)
[i151]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-05751
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-05751
Joseph Y. Halpern, Evan Piermont:
Partial Awareness. CoRR abs/1811.05751 (2018)
[i150]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-03789
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-03789
Sander Beckers, Joseph Y. Halpern:
Abstracting Causal Models. CoRR abs/1812.03789 (2018)
2017
[j165]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/BjorndahlHP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/BjorndahlHP17
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Reasoning about rationality. Games Econ. Behav. 104: 146-164 (2017)
[j164]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/HalpernM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/HalpernM17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/Halpern17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/Halpern17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/AleksandrowiczC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/AleksandrowiczC17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Halpern17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Halpern17
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AlechinaHKL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AlechinaHKL17
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentivising Monitoring in Open Normative Systems. AAAI 2017: 305-311
[c222]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaHL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHL17
Natasha Alechina, Joseph Y. Halpern, Brian Logan:
Causality, Responsibility and Blame in Team Plans. AAMAS 2017: 1091-1099
[c221]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjorndahlH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjorndahlH17
Adam Bjorndahl, Joseph Y. Halpern:
From Type Spaces to Probability Frames and Back, via Language. TARK 2017: 75-87
[c220]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhoshH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshH17
Arpita Ghosh, Joseph Y. Halpern:
Games With Tolerant Players. TARK 2017: 251-264
[c219]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HalpernMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernMP17
Joseph Y. Halpern, Ron van der Meyden, Riccardo Pucella:
An Epistemic Foundation for Authentication Logics (Extended Abstract). TARK 2017: 306-323
[c218]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HalpernP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP17
Joseph Y. Halpern, Rafael Pass:
A Knowledge-Based Analysis of the Blockchain Protocol. TARK 2017: 324-335
2016
[b3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0044508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0044508
Joseph Y. Halpern:
Actual Causality. MIT Press 2016, ISBN 978-0-262-03502-6, pp. 1-229
[j160]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Halpern16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Halpern16
Joseph Y. Halpern:
Appropriate Causal Models and the stability of Causation. Rev. Symb. Log. 9(1): 76-102 (2016)
[c217]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AlechinaHKL16
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HalpernP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HalpernP16
Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Games of Imperfect Recall. KR 2016: 278-287
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernV16
Joseph Y. Halpern, Xavier Vilaça:
Rational Consensus: Extended Abstract. PODC 2016: 137-146
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/sigecom/HalpernPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigecom/HalpernPS16
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Computational Extensive-Form Games. EC 2016: 681-698
[c213]
- view
  - electronic edition @ auai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/RongHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/RongHS16
Nan Rong, Joseph Y. Halpern, Ashutosh Saxena:
MDPs with Unawareness in Robotics. UAI 2016
[i149]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AlechinaHKL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlechinaHKL16
Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Decentralised Norm Monitoring in Open Multi-Agent Systems. CoRR abs/1602.06731 (2016)
[i148]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernM16
Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Terms of Common Knowledge of Rationality. CoRR abs/1605.01236 (2016)
[i147]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernS16
Joseph Y. Halpern, Lior Seeman:
A Comment on "The Ecological Rationality of State-Dependent Valuation". CoRR abs/1610.04046 (2016)
2015
[j159]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernK15
Joseph Y. Halpern, Willemien Kets:
Ambiguous language and common priors. Games Econ. Behav. 90: 171-180 (2015)
[j158]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern15
Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. J. Artif. Intell. Res. 54: 471-492 (2015)
[j157]
- view
  authority control:
- export record
  dblp key:
  - journals/jet/HalpernP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jet/HalpernP15
Joseph Y. Halpern, Rafael Pass:
Algorithmic rationality: Game theory with costly computation. J. Econ. Theory 156: 246-268 (2015)
[j156]
- view
  authority control:
- export record
  dblp key:
  - journals/teco/KashFH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/teco/KashFH15
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]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/GerstenbergHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/GerstenbergHT15
Tobias Gerstenberg, Joseph Y. Halpern, Joshua B. Tenenbaum:
Responsibility judgments in voting scenarios. CogSci 2015
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/HalpernL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/HalpernL15
Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. ECSQARU 2015: 3-13
[c210]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icaart/Halpern15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaart/Halpern15
Joseph Y. Halpern:
Language-based Games. ICAART (1) 2015: IS-7
[c209]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Halpern15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Halpern15
Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. IJCAI 2015: 3022-3033
[c208]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BjorndahlHP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjorndahlHP16
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Bayesian Games with Intentions. TARK 2015: 99-113
[c207]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CapraroH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CapraroH16
Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. TARK 2015: 114-126
[i146]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernL15
Joseph Y. Halpern, Samantha Leung:
Minimizing Regret in Dynamic Decision Problems. CoRR abs/1502.00152 (2015)
[i145]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DitmarschHHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DitmarschHHK15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern15
Joseph Y. Halpern:
A Modification of the Halpern-Pearl Definition of Causality. CoRR abs/1505.00162 (2015)
[i143]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernPS15
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Computational Extensive-Form Games. CoRR abs/1506.03030 (2015)
[i142]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern15a
Joseph Y. Halpern:
Why Bother With Syntax? CoRR abs/1506.05282 (2015)
[i141]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernPR15
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DattaHM0S15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DattaHM0S15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernK14
Joseph Y. Halpern, Willemien Kets:
A logic for reasoning about ambiguity. Artif. Intell. 209: 1-10 (2014)
[j154]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernK14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernK14a
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]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/TillioHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/TillioHS14
Alfredo Di Tillio, Joseph Y. Halpern, Dov Samet:
Conditional belief types. Games Econ. Behav. 87: 253-268 (2014)
[j152]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HalpernM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HalpernM14
Joseph Y. Halpern, Yoram Moses:
A Procedural Characterization of Solution Concepts in Games. J. Artif. Intell. Res. 49: 143-170 (2014)
[j151]
- view
  authority control:
- export record
  dblp key:
  - journals/mss/HalpernR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mss/HalpernR14
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 70: 10-22 (2014)
[j150]
- view
  authority control:
- export record
  dblp key:
  - journals/mss/HalpernR14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mss/HalpernR14a
Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive games with possibly unaware players. Math. Soc. Sci. 70: 42-58 (2014)
[j149]
- view
  authority control:
- export record
  dblp key:
  - journals/topics/HalpernPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topics/HalpernPS14
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Decision Theory with Resource-Bounded Agents. Top. Cogn. Sci. 6(2): 245-257 (2014)
[c206]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AleksandrowiczCHI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AleksandrowiczCHI14
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. AAAI 2014: 974-980
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/innovations/HalpernPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/innovations/HalpernPS14
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The truth behind the myth of the folk theorem. ITCS 2014: 543-554
[c204]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BjorndahlHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BjorndahlHP14
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Axiomatizing Rationality. KR 2014
[c203]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern14
Joseph Y. Halpern:
Appropriate Causal Models and Stability of Causation. KR 2014
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/wine/HalpernPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wine/HalpernPS14
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernK14
Joseph Y. Halpern, Willemien Kets:
A logic for reasoning about ambiguity. CoRR abs/1401.2011 (2014)
[i138]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrunwaldH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrunwaldH14
Peter D. Grünwald, Joseph Y. Halpern:
Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. CoRR abs/1401.3906 (2014)
[i137]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern14
Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR abs/1407.7180 (2014)
[i136]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern14a
Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. CoRR abs/1407.7182 (2014)
[i135]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrunwaldH14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrunwaldH14a
Peter D. Grünwald, Joseph Y. Halpern:
Updating Probabilities. CoRR abs/1407.7183 (2014)
[i134]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14
Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. CoRR abs/1407.7184 (2014)
[i133]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14a
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR abs/1407.7185 (2014)
[i132]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrunwaldH14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrunwaldH14b
Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. CoRR abs/1407.7188 (2014)
[i131]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14b
Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/1407.7189 (2014)
[i130]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GrunwaldH14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GrunwaldH14c
Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/1407.7190 (2014)
[i129]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernRS14
Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. CoRR abs/1407.7191 (2014)
[i128]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern14b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern14b
Joseph Y. Halpern:
Axiomatizing Causal Reasoning. CoRR abs/1408.1482 (2014)
[i127]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14c
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. CoRR abs/1408.1485 (2014)
[i126]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CapraroH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CapraroH14
Valerio Capraro, Joseph Y. Halpern:
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas. CoRR abs/1410.3363 (2014)
[i125]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern14c
Joseph Y. Halpern:
Cause, Responsibility, and Blame: oA Structural-Model Approach. CoRR abs/1412.2985 (2014)
[i124]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14d
Joseph Y. Halpern, Rafael Pass:
Algorithmic Rationality: Game Theory with Costly Computation. CoRR abs/1412.2993 (2014)
[i123]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/AleksandrowiczCHI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AleksandrowiczCHI14
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii:
The Computational Complexity of Structure-Based Causality. CoRR abs/1412.3076 (2014)
[i122]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern14d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern14d
Joseph Y. Halpern:
Appropriate Causal Models and the Stability of Causation. CoRR abs/1412.3518 (2014)
[i121]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP14e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP14e
Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. CoRR abs/1412.6361 (2014)
[i120]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RongH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RongH14
Nan Rong, Joseph Y. Halpern:
Cooperative Equilibrium: A solution predicting cooperative play. CoRR abs/1412.6722 (2014)
2013
[j148]
- view
  authority control:
- export record
  dblp key:
  - journals/cogsci/HalpernH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cogsci/HalpernH13
Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. Cogn. Sci. 37(6): 986-1010 (2013)
[j147]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernP13
Joseph Y. Halpern, Rafael Pass:
Conservative belief and rationality. Games Econ. Behav. 80: 186-192 (2013)
[j146]
- view
  authority control:
- export record
  dblp key:
  - journals/mss/HalpernR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mss/HalpernR13
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. Math. Soc. Sci. 65(2): 73-84 (2013)
[j145]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Halpern13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Halpern13
Joseph Y. Halpern:
From Causal Models to Counterfactual Structures. Rev. Symb. Log. 6(2): 305-322 (2013)
[c201]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/RongH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RongH13
Nan Rong, Joseph Y. Halpern:
Towards a deeper understanding of cooperative equilibrium: characterization and complexity. AAMAS 2013: 319-326
[c200]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/Halpern13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/Halpern13
Joseph Y. Halpern:
Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty. ECSQARU 2013: 266-277
[c199]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/BlumeEH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/BlumeEH13
Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. ICLA 2013: 1-4
[c198]
- view
- export record
  dblp key:
  - conf/ijcai/HalpernP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernP13
Joseph Y. Halpern, Rafael Pass:
Sequential Equilibrium in Computational Games. IJCAI 2013: 171-176
[c197]
- view
- export record
  dblp key:
  - conf/ijcai/BjorndahlHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BjorndahlHP13
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-Based Games. IJCAI 2013: 2967-2971
[c196]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Halpern13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Halpern13
Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. LICS 2013: 2-3
[c195]
- view
  - electronic edition @ tark.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tark/BjorndahlHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/BjorndahlHP13
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. TARK 2013
[c194]
- view
  - electronic edition @ tark.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tark/HalpernP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernP13
Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. TARK 2013
[c193]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/AbrahamDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/AbrahamDH13
Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Distributed Protocols for Leader Election: A Game-Theoretic Perspective. DISC 2013: 61-75
[i119]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-2275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-2275
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes. CoRR abs/1301.2275 (2013)
[i118]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-1526
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-1526
Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. CoRR abs/1302.1526 (2013)
[i117]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-1543
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-1543
Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. CoRR abs/1302.1543 (2013)
[i116]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-3578
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-3578
Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and its Implications for Belief Change. CoRR abs/1302.3578 (2013)
[i115]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-4947
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-4947
Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. CoRR abs/1302.4947 (2013)
[i114]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-5681
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-5681
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1302-6783
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6783
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs From Old. CoRR abs/1302.6783 (2013)
[i112]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-1119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-1119
Ronald Fagin, Joseph Y. Halpern:
A New Approach to Updating Beliefs. CoRR abs/1304.1119 (2013)
[i111]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1304-1508
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-1508
Joseph Y. Halpern:
The Relationship between Knowledge, Belief and Certainty. CoRR abs/1304.1508 (2013)
[i110]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP13
Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1308.3778 (2013)
[i109]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernPS13
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
Decision Theory with Resource-Bounded Agents. CoRR abs/1308.3780 (2013)
[i108]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernH13
Joseph Y. Halpern, Christopher Hitchcock:
Graded Causation and Defaults. CoRR abs/1309.1226 (2013)
[i107]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernH13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernH13a
Joseph Y. Halpern, Christopher Hitchcock:
Compact Representations of Extended Causal Models. CoRR abs/1309.1227 (2013)
[i106]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Halpern13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Halpern13
Joseph Y. Halpern:
Weighted regret-based likelihood: a new approach to describing uncertainty. CoRR abs/1309.1228 (2013)
[i105]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BjorndahlHP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BjorndahlHP13
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Language-based Games. CoRR abs/1310.6408 (2013)
[i104]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernP13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernP13a
Joseph Y. Halpern, Rafael Pass:
Game Theory with Translucent Players. CoRR abs/1310.6438 (2013)
[i103]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HalpernPS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HalpernPS13a
Joseph Y. Halpern, Rafael Pass, Lior Seeman:
The Truth Behind the Myth of the Folk Theorem. CoRR abs/1312.1017 (2013)
2012
[j144]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/KashFH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/KashFH12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernP12
Joseph Y. Halpern, Rafael Pass:
Iterated regret minimization: A new solution concept. Games Econ. Behav. 74(1): 184-207 (2012)
[j142]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/RegoH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/RegoH12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/HalpernPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernPS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Halpern12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Halpern12
Joseph Y. Halpern:
Dexter Kozen: An Appreciation. Logic and Program Semantics 2012: 324-325
[c190]
- view
  authority control:
- export record
  dblp key:
  - conf/innovations/DolevFHKL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/innovations/DolevFHKL12
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]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HalpernK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HalpernK12
Joseph Y. Halpern, Willemien Kets:
Ambiguous Language and Differences in Beliefs. KR 2012
[c188]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernL12
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1203-0699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-0699
Joseph Y. Halpern, Willemien Kets:
Ambiguous Language and Differences in Beliefs. CoRR abs/1203.0699 (2012)
[i101]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-2942
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-2942
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
An Equilibrium Analysis of Scrip Systems. CoRR abs/1204.2942 (2012)
[i100]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-3494
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-3494
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion. CoRR abs/1204.3494 (2012)
[i99]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1208-5161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-5161
Max Chickering, Joseph Y. Halpern:
Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004). CoRR abs/1208.5161 (2012)
[i98]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1210-4853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-4853
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernP11
Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011)
[j140]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/HalpernP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/HalpernP11
Joseph Y. Halpern, David C. Parkes:
Journals for certification, conferences for rapid dissemination. Commun. ACM 54(8): 36-38 (2011)
[j139]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-0906-4315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4315
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/KashFH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/KashFH11
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent Learning in Large Anonymous Games. J. Artif. Intell. Res. 40: 571-598 (2011)
[j137]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GrunwaldH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GrunwaldH11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/AbrahamAH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/AbrahamAH11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigecom/HalpernP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigecom/HalpernP11
Joseph Y. Halpern, Rafael Pass:
Algorithmic rationality: adding cost of computation to game theory. SIGecom Exch. 10(2): 9-15 (2011)
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/Halpern11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/Halpern11
Joseph Y. Halpern:
Constructive Decision Theory: Short Summary. ECSQARU 2011: 36-37
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/gamesec/Halpern11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gamesec/Halpern11
Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. GameSec 2011: 1-3
[c185]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sum/Halpern11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sum/Halpern11
Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. SUM 2011: 1
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/BjorndahlHP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/BjorndahlHP11
Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass:
Reasoning about justified belief. TARK 2011: 221-227
[p2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/cu/11/Halpern11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/11/Halpern11
Joseph Y. Halpern:
Beyond Nash equilibrium: solution concepts for the 21st century. Lectures in Game Theory for Computer Scientists 2011: 264-290
[i97]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1105-5450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-5450
Joseph Y. Halpern:
A Counter Example to Theorems of Cox and Fine. CoRR abs/1105.5450 (2011)
[i96]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2647
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2647
Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. CoRR abs/1106.2647 (2011)
[i95]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2649
Joseph Y. Halpern, David C. Parkes:
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination. CoRR abs/1106.2649 (2011)
[i94]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2652
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2652
Joseph Y. Halpern, Christopher Hitchcock:
Actual causation and the art of modeling. CoRR abs/1106.2652 (2011)
[i93]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2657
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2657
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2673
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2673
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalldorssonHLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalldorssonHLM10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalpernP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalpernP10
Joseph Y. Halpern, Sabina Petride:
A knowledge-based analysis of global function computation. Distributed Comput. 23(3): 197-224 (2010)
[j132]
- view
  - electronic edition @ computer.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/debu/MeliouGHKMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/debu/MeliouGHKMS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/Halpern10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/Halpern10
Joseph Y. Halpern:
Lexicographic probability, conditional probability, and nonstandard probability. Games Econ. Behav. 68(1): 155-179 (2010)
[j130]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChocklerHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChocklerHK10
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/HalpernR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HalpernR10
Joseph Y. Halpern, Nan Rong:
Cooperative equilibrium. AAMAS 2010: 1465-1466
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/bqgt/Halpern10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bqgt/Halpern10
Joseph Y. Halpern:
Beyond Nash equilibrium: solution concepts for the 21st century. BQGT 2010: 69:1
[c181]
- view
  authority control:
- export record
  dblp key:
  - conf/bqgt/PassH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bqgt/PassH10
Rafael Pass, Joe Halpern:
Game theory with costly computation: formulation and application to protocol security. BQGT 2010: 89:1
[c180]
- view
  - electronic edition @ tsinghua.edu.cn
  - no references & citations available
- export record
  dblp key:
  - conf/innovations/HalpernP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/innovations/HalpernP10
Joseph Y. Halpern, Rafael Pass:
Game Theory with Costly Computation: Formulation and Application to Protocol Security. ICS 2010: 120-142
[c179]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern10
Joseph Y. Halpern:
From Causal Models To Counterfactual Structures. KR 2010
[c178]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern10a
Joseph Y. Halpern:
I Don't Want to Think About it Now: Decision Theory with Costly Computation. KR 2010
[c177]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Halpern10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Halpern10
Joseph Y. Halpern:
Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) 2010: 15
[c176]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernRS10
Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. UAI 2010: 228-235
[i91]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-2204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-2204
Joseph Y. Halpern, Nan Rong, Ashutosh Saxena:
MDPs with Unawareness. CoRR abs/1006.2204 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j129]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernR09
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness. Games Econ. Behav. 67(2): 503-525 (2009)
[j128]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/Halpern09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/Halpern09
Joseph Y. Halpern:
A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 38(1): 37-49 (2009)
[j127]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/HalpernSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/HalpernSS09
Joseph Y. Halpern, Dov Samet, Ella Segev:
On Definability in Multimodal Logic. Rev. Symb. Log. 2(3): 451-468 (2009)
[j126]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/HalpernSS09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/HalpernSS09a
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]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Halpern09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Halpern09
Joseph Y. Halpern:
Intransitivity and Vagueness - Corrigendum. Rev. Symb. Log. 2(3): 591 (2009)
[j124]
- view
  authority control:
- export record
  dblp key:
  - journals/sigecom/AiriauEH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigecom/AiriauEH09
Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern:
Solution to Exchanges 8.1 puzzle: identifying the champion. SIGecom Exch. 8(2): 11 (2009)
[j123]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/HalpernP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/HalpernP09
Joseph Y. Halpern, Riccardo Pucella:
Evidence with uncertain likelihoods. Synth. 171(1): 111-133 (2009)
[c175]
- view
  authority control:
- export record
  dblp key:
  - conf/amma/KashFH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amma/KashFH09
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Manipulating Scrip Systems: Sybils and Collusion. AMMA 2009: 13-24
[c174]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/KashFH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KashFH09
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent learning in large anonymous games. AAMAS (2) 2009: 765-772
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/MartinH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/MartinH09
David J. Martin, Joseph Y. Halpern:
Shared Winner Determination in Sponsored Search Auctions. ICDE 2009: 270-280
[c172]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernP09
Joseph Y. Halpern, Rafael Pass:
Iterated Regret Minimization: A New Solution Concept. IJCAI 2009: 153-158
[c171]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/HalpernP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernP09
Joseph Y. Halpern, Rafael Pass:
A logical characterization of iterated admissibility. TARK 2009: 146-155
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/HalpernPR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernPR09
Joseph Y. Halpern, Rafael Pass, Vasumathi Raman:
An epistemic characterization of zero knowledge. TARK 2009: 156-165
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/HalpernR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernR09
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about knowledge of unawareness revisited. TARK 2009: 166-173
[i90]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2278
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Manipulating Scrip Systems: Sybils and Collusion. CoRR abs/0903.2278 (2009)
[i89]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0903-2282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0903-2282
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Multiagent Learning in Large Anonymous Games. CoRR abs/0903.2282 (2009)
[i88]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-4316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4316
Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Constructive Decision Theory. CoRR abs/0906.4316 (2009)
[i87]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-4321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4321
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness Revisited. CoRR abs/0906.4321 (2009)
[i86]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-4326
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4326
Joseph Y. Halpern, Rafael Pass:
A Logical Characterization of Iterated Admissibility. CoRR abs/0906.4326 (2009)
[i85]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0906-4332
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0906-4332
Adam J. Grove, Joseph Y. Halpern:
Updating Sets of Probabilities. CoRR abs/0906.4332 (2009)
2008
[j122]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/HalpernR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/HalpernR08
Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive unawareness revisited. Games Econ. Behav. 62(1): 232-262 (2008)
[j121]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernW08
Joseph Y. Halpern, Vicky Weissman:
A formal foundation for XrML. J. ACM 55(1): 4:1-4:42 (2008)
[j120]
- view
  authority control:
- export record
  dblp key:
  - journals/rsl/Halpern08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rsl/Halpern08
Joseph Y. Halpern:
Intransitivity and Vagueness. Rev. Symb. Log. 1(4): 530-547 (2008)
[j119]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/HalpernW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/HalpernW08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/HalpernO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/HalpernO08
Joseph Y. Halpern, Kevin R. O'Neill:
Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1): 5:1-5:47 (2008)
[j117]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/ChocklerHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/ChocklerHK08
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]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Halpern08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Halpern08
Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI 2008: 454-459
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Halpern08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Halpern08
Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR 2008: 1
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/MartinGH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/MartinGH08
David J. Martin, Johannes Gehrke, Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions. ICDE 2008: 237-246
[c165]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern08
Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR 2008: 6-15
[c164]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern08a
Joseph Y. Halpern:
Defaults and Normality in Causal Structures. KR 2008: 198-208
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/Halpern08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/Halpern08
Joseph Y. Halpern:
Beyond nash equilibrium: solution concepts for the 21st century. PODC 2008: 1-10
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AbrahamDH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AbrahamDH08
Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC 2008: 405-414
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/KashFH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/KashFH08
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
The lotus-eater attack. PODC 2008: 455
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/tcc/AbrahamDH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tcc/AbrahamDH08
Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators. TCC 2008: 302-319
[c159]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GrunwaldH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GrunwaldH08
Peter Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI 2008: 240-247
[i84]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0804-2155
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0804-2155
Joseph Y. Halpern:
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. CoRR abs/0804.2155 (2008)
[i83]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-1711
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-1711
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
The Lotus-Eater Attack. CoRR abs/0806.1711 (2008)
[i82]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-2139
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-2139
Joseph Y. Halpern:
Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CoRR abs/0806.2139 (2008)
[i81]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-2140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-2140
Joseph Y. Halpern:
Defaults and Normality in Causal Structures. CoRR abs/0806.2140 (2008)
[i80]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0808-1215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0808-1215
Joseph Y. Halpern, Vicky Weissman:
A Formal Foundation for XrML. CoRR abs/0808.1215 (2008)
[i79]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0808-1505
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0808-1505
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0809-0024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-0024
Joseph Y. Halpern, Rafael Pass:
Game Theory with Costly Computation. CoRR abs/0809.0024 (2008)
[i77]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0809-0116
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0809-0116
David J. Martin, Johannes Gehrke, Joseph Y. Halpern:
Toward Expressive and Scalable Sponsored Search Auctions. CoRR abs/0809.0116 (2008)
[i76]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0810-3023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0810-3023
Joseph Y. Halpern, Rafael Pass:
Iterated Regret Minimization: A More Realistic Solution Concept. CoRR abs/0810.3023 (2008)
2007
[j116]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernP07
Joseph Y. Halpern, Riccardo Pucella:
Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007)
[j115]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HalpernR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HalpernR07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/MartinKMGH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/MartinKMGH07
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernM07
Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307
[c156]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernR07
Joseph Y. Halpern, Leandro Chaves Rêgo:
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI 2007: 2306-2311
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/sigecom/KashFH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigecom/KashFH07
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. EC 2007: 305-315
[c154]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/HalpernP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernP07
Joseph Y. Halpern, Riccardo Pucella:
Dealing with logical omniscience. TARK 2007: 169-176
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/RegoH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/RegoH07
Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized solution concepts in games with possibly unaware players. TARK 2007: 253-262
[i75]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0704-2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0704-2014
Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive Games with Possibly Unaware Players. CoRR abs/0704.2014 (2007)
[i74]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0704-3646
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0704-3646
Ittai Abraham, Danny Dolev, Joseph Y. Halpern:
Lower Bounds on Implementing Robust and Resilient Mediators. CoRR abs/0704.3646 (2007)
[i73]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0705-2787
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0705-2787
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0705-4094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0705-4094
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0705-4110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0705-4110
Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern:
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists. CoRR abs/0705.4110 (2007)
[i70]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0707-1904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0707-1904
Leandro Chaves Rêgo, Joseph Y. Halpern:
Generalized Solution Concepts in Games with Possibly Unaware Players. CoRR abs/0707.1904 (2007)
[i69]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0707-3435
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0707-3435
Joseph Y. Halpern, Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation. CoRR abs/0707.3435 (2007)
[i68]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0711-3235
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0711-3235
Peter D. Grünwald, Joseph Y. Halpern:
A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/0711.3235 (2007)
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0702011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0702011
Joseph Y. Halpern, Riccardo Pucella:
Dealing With Logical Omniscience: Expressiveness and Pragmatics. CoRR abs/cs/0702011 (2007)
[i66]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0703148
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0703148
Joseph Y. Halpern:
Computer Science and Game Theory: A Brief Survey. CoRR abs/cs/0703148 (2007)
2006
[j114]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HalpernP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HalpernP06
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. J. Artif. Intell. Res. 26: 1-34 (2006)
[j113]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/HaasHL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/HaasHL06
Zygmunt J. Haas, Joseph Y. Halpern, Li (Erran) Li:
Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. 14(3): 479-491 (2006)
[c152]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/HalpernR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/HalpernR06
Joseph Y. Halpern, Leandro Chaves Rêgo:
Extensive games with possibly unaware players. AAMAS 2006: 744-751
[c151]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HalpernR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HalpernR06
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning about Knowledge of Unawareness. KR 2006: 6-13
[c150]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/BlumeEH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BlumeEH06
Lawrence E. Blume, David A. Easley, Joseph Y. Halpern:
Redoing the Foundations of Decision Theory. KR 2006: 14-24
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/AbrahamDGH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/AbrahamDGH06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/Halpern06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/Halpern06
Joseph Y. Halpern:
From statistical knowledge bases to degrees of belief: an overview. PODS 2006: 110-113
[c147]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/Halpern06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/Halpern06
Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8
[c146]
- view
  authority control:
- export record
  dblp key:
  - conf/sigecom/FriedmanHK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigecom/FriedmanHK06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/HalpernP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/HalpernP06
Joseph Y. Halpern, Sabina Petride:
A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150
[i65]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0601034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0601034
Joseph Y. Halpern, Vicky Weissman:
Using First-Order Logic to Reason about Policies. CoRR abs/cs/0601034 (2006)
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0603019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0603019
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0603020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0603020
Joseph Y. Halpern, Leandro Chaves Rêgo:
Reasoning About Knowledge of Unawareness. CoRR abs/cs/0603020 (2006)
[i62]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0607146
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0607146
Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. CoRR abs/cs/0607146 (2006)
[i61]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0608022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0608022
Joseph Y. Halpern, Sabina Petride:
Expressing Security Properties Using Selective Interleaving Functions. CoRR abs/cs/0608022 (2006)
[i60]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0608028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0608028
Joseph Y. Halpern:
Using Sets of Probability Measures to Represent Uncertainty. CoRR abs/cs/0608028 (2006)
[i59]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0609035
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0609035
Joseph Y. Halpern, Vanessa Teague:
Rational Secret Sharing and Multiparty Computation: Extended Abstract. CoRR abs/cs/0609035 (2006)
[i58]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0610098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0610098
Joseph Y. Halpern, Yoram Moses:
Characterizing Solution Concepts in Games Using Knowledge-Based Programs. CoRR abs/cs/0610098 (2006)
2005
[b2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - books/daglib/0014219
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0014219
Joseph Y. Halpern:
Reasoning about uncertainty. MIT Press 2005, ISBN 978-0-262-58259-9, pp. I-XIV, 1-483
[j112]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalpernR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalpernR05
Joseph Y. Halpern, Aleta Ricciardi:
A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Comput. 17(3): 223-236 (2005)
[j111]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HalpernO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HalpernO05
Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and information hiding in multiagent systems. J. Comput. Secur. 13(3): 483-512 (2005)
[j110]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/HalpernP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/HalpernP05
Joseph Y. Halpern, Riccardo Pucella:
Probabilistic Algorithmic Knowledge. Log. Methods Comput. Sci. 1(3) (2005)
[j109]
- view
  authority control:
- export record
  dblp key:
  - journals/ton/LiHBWW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ton/LiHBWW05
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]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/tark/HalpernR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernR05
Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive unawareness revisited. TARK 2005: 78-91
[c143]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernP05
Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. UAI 2005: 243-250
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/tf/05/HalpernL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/tf/05/HalpernL05
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0503018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0503018
Joseph Y. Halpern, Riccardo Pucella:
Probabilistic Algorithmic Knowledge. CoRR abs/cs/0503018 (2005)
[i56]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0509058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0509058
Joseph Y. Halpern, Leandro Chaves Rêgo:
Interactive Unawareness Revisited. CoRR abs/cs/0509058 (2005)
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0510079
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0510079
Joseph Y. Halpern, Riccardo Pucella:
Evidence with Uncertain Likelihoods. CoRR abs/cs/0510079 (2005)
[i54]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0510080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0510080
Peter D. Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. CoRR abs/cs/0510080 (2005)
2004
[j108]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ChuH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ChuH04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalpernM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalpernM04
Joseph Y. Halpern, Yoram Moses:
Using counterfactuals in knowledge-based programming. Distributed Comput. 17(2): 91-106 (2004)
[j106]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HalpernS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HalpernS04
Joseph Y. Halpern, Richard A. Shore:
Reasoning about common knowledge with infinitely many agents. Inf. Comput. 191(1): 1-40 (2004)
[j105]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HalpernK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HalpernK04
Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. 21: 319-356 (2004)
[j104]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/ChocklerH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/ChocklerH04
Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. 22: 93-115 (2004)
[j103]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/HalpernMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/HalpernMV04
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]
- view
  authority control:
- export record
  dblp key:
  - journals/twc/LiH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/twc/LiH04
Li (Erran) Li, Joseph Y. Halpern:
A minimum-energy path-preserving topology-control algorithm. IEEE Trans. Wirel. Commun. 3(3): 910-921 (2004)
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernW04
Joseph Y. Halpern, Vicky Weissman:
A Formal Foundation for XrML. CSFW 2004: 251-
[c141]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern04
Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR 2004: 12-22
[c140]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/Halpern04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/Halpern04a
Joseph Y. Halpern:
Intransitivity and Vagueness. KR 2004: 121-129
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/BickfordCHP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BickfordCHP04
Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride:
Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalldorssonHLM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalldorssonHLM04
Magnús M. Halldórsson, Joseph Y. Halpern, Li (Erran) Li, Vahab S. Mirrokni:
On spectrum sharing games. PODC 2004: 107-114
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernT04
Joseph Y. Halpern, Vanessa Teague:
Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632
[c136]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GrunwaldH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GrunwaldH04
Peter Grünwald, Joseph Y. Halpern:
When Ignorance is Bliss. UAI 2004: 226-234
[e4]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/uai/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/2004
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0405098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0405098
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. CoRR cs.AI/0405098 (2004)
[i52]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0410049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0410049
Joseph Y. Halpern:
Intransitivity and Vagueness. CoRR cs.AI/0410049 (2004)
[i51]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0410050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0410050
Joseph Y. Halpern:
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. CoRR cs.AI/0410050 (2004)
[i50]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-0402042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-0402042
Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems. CoRR cs.CR/0402042 (2004)
[i49]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0402012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0402012
Joseph Y. Halpern, Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. CoRR cs.DC/0402012 (2004)
2003
[j101]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HalpernK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HalpernK03
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]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/Halpern03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/Halpern03
Joseph Y. Halpern:
A computer scientist looks at game theory. Games Econ. Behav. 45(1): 114-131 (2003)
[j99]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Halpern03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Halpern03
Joseph Y. Halpern:
JACM's 50th anniversary. J. ACM 50(1): 3-7 (2003)
[j98]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GrunwaldH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GrunwaldH03
Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. J. Artif. Intell. Res. 19: 243-278 (2003)
[j97]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HalpernM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HalpernM03
Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. J. Comput. Secur. 11(4): 581-614 (2003)
[j96]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/HalpernP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/HalpernP03
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GradelHJP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GradelHJP03
Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno:
LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003)
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernO03
Joseph Y. Halpern, Kevin R. O'Neill:
Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernW03
Joseph Y. Halpern, Vicky Weissman:
Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201
[c133]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/ChocklerH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChocklerH03
Hana Chockler, Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153
[c132]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/ChuH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChuH03
Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296
[c131]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/ChuH03a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChuH03a
Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/tark/HalpernP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernP03
Joseph Y. Halpern, Riccardo Pucella:
Probabilistic algorithmic knowledge. TARK 2003: 118-130
[c129]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernP03
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Evidence. UAI 2003: 297-304
[e3]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/tark/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/2003
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0306124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0306124
Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. CoRR cs.AI/0306124 (2003)
[i47]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0307056
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0307056
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
From Statistical Knowledge Bases to Degrees of Belief. CoRR cs.AI/0307056 (2003)
[i46]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0307069
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0307069
Joseph Y. Halpern, Riccardo Pucella:
A logic for reasoning about upper probabilities. CoRR cs.AI/0307069 (2003)
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0307070
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0307070
Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations. CoRR cs.AI/0307070 (2003)
[i44]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0307071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0307071
Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revisions and Update. CoRR cs.AI/0307071 (2003)
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0311026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0311026
Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part I: On the Customizability of Generalized Expected Utility. CoRR cs.AI/0311026 (2003)
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0311027
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0311027
Francis C. Chu, Joseph Y. Halpern:
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. CoRR cs.AI/0311027 (2003)
[i41]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0312037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0312037
Joseph Y. Halpern, Riccardo Pucella:
Reasoning About Expectation. CoRR cs.AI/0312037 (2003)
[i40]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0312038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0312038
Hana Chockler, Joseph Y. Halpern:
Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003)
[i39]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0312048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0312048
Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. CoRR cs.AI/0312048 (2003)
[i38]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-0306107
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-0306107
Joseph Y. Halpern, Riccardo Pucella:
On the Relationship between Strand Spaces and Multi-Agent Systems. CoRR cs.CR/0306107 (2003)
[i37]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-0307057
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-0307057
Kevin R. O'Neill, Joseph Y. Halpern:
Secrecy in Multiagent Systems. CoRR cs.CR/0307057 (2003)
[i36]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0311028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0311028
Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. CoRR cs.DC/0311028 (2003)
[i35]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-GT-0306106
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-GT-0306106
Joseph Y. Halpern:
Lexicographic probability, conditional probability, and nonstandard probability. CoRR cs.GT/0306106 (2003)
[i34]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0312036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0312036
Hana Chockler, Joseph Y. Halpern, Orna Kupferman:
What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (2003)
2002
[j94]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Halpern02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Halpern02
Joseph Y. Halpern:
Update: Time to publication statistics. J. ACM 49(6): 715 (2002)
[j93]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/HalpernP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/HalpernP02
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. 17: 57-81 (2002)
[j92]
- view
  authority control:
- export record
  dblp key:
  - journals/jet/Halpern02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jet/Halpern02
Joseph Y. Halpern:
Characterizing the Common Prior Assumption. J. Econ. Theory 106(2): 316-355 (2002)
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernO02
Joseph Y. Halpern, Kevin R. O'Neill:
Secrecy in Multiagent Systems. CSFW 2002: 32-
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/fasec/HalpernP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fasec/HalpernP02
Joseph Y. Halpern, Riccardo Pucella:
Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/infocom/HaasHL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/infocom/HaasHL02
Zygmunt J. Haas, Joseph Y. Halpern, Li Li:
Gossip-based ad hoc routing. INFOCOM 2002: 1707-1716
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/ChuHG02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/ChuHG02
Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke:
Least Expected Cost Query Optimization: What Can We Expect? PODS 2002: 293-302
[c124]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GrunwaldH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GrunwaldH02
Peter Grünwald, Joseph Y. Halpern:
Updating Probabilities. UAI 2002: 187-196
[c123]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernP02
Joseph Y. Halpern, Riccardo Pucella:
Reasoning about Expectation. UAI 2002: 207-215
[i33]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0208034
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0208034
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach. Part II: Explanations. CoRR cs.AI/0208034 (2002)
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-0208028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-0208028
Joseph Y. Halpern, Ron van der Meyden:
A logical reconstruction of SPKI. CoRR cs.CR/0208028 (2002)
[i31]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-GT-0201016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-GT-0201016
Joseph Y. Halpern:
A computer scientist looks at game theory. CoRR cs.GT/0201016 (2002)
[i30]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0208033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0208033
Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi:
Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002)
[i29]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-NI-0209011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-NI-0209011
Zygmunt J. Haas, Joseph Y. Halpern, Li Li:
Gossip Based Ad-Hoc Routing. CoRR cs.NI/0209011 (2002)
[i28]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-NI-0209012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-NI-0209012
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-NI-0209013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-NI-0209013
Li Li, Joseph Y. Halpern:
Minimum-Energy Mobile Wireless Networks Revisited. CoRR cs.NI/0209013 (2002)
2001
[j91]
- view
  authority control:
- export record
  dblp key:
  - journals/bsl/HalpernHIKVV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bsl/HalpernHIKVV01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/ChuH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/ChuH01
Francis C. Chu, Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery. Distributed Comput. 14(1): 1-16 (2001)
[j89]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/Halpern01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/Halpern01
Joseph Y. Halpern:
Alternative Semantics for Unawareness. Games Econ. Behav. 37(2): 321-339 (2001)
[j88]
- view
  authority control:
- export record
  dblp key:
  - journals/geb/Halpern01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/geb/Halpern01a
Joseph Y. Halpern:
Substantive Rationality and Backward Induction. Games Econ. Behav. 37(2): 425-435 (2001)
[j87]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/ChuH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/ChuH01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/FriedmanH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/FriedmanH01
Nir Friedman, Joseph Y. Halpern:
Plausibility measures and default reasoning. J. ACM 48(4): 648-685 (2001)
[j85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern01
Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. 14: 359-389 (2001)
[j84]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/HalpernM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/HalpernM01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/HalpernL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/HalpernL01
Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001)
[j82]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/HalpernMW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/HalpernMW01
Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/HalpernP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/HalpernP01
Joseph Y. Halpern, Riccardo Pucella:
On the relationship between strand spaces and multi-agent systems. CCS 2001: 106-115
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernM01
Joseph Y. Halpern, Ron van der Meyden:
A Logical Reconstruction of SPKI. CSFW 2001: 59-70
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/icc/LiH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icc/LiH01
Li Li, Joseph Y. Halpern:
Minimum-energy mobile wireless networks revisited. ICC 2001: 278-283
[c119]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernP01
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34
[c118]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Halpern01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Halpern01
Joseph Y. Halpern:
Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/LiHBWW01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/LiHBWW01
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]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernP01
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001: 194-202
[c115]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HalpernP01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HalpernP01a
Joseph Y. Halpern, Riccardo Pucella:
A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0103020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0103020
Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. CoRR cs.AI/0103020 (2001)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0103019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0103019
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Halpern00
Joseph Y. Halpern:
A note on knowledge-based programs and specifications. Distributed Comput. 13(3): 145-153 (2000)
[j80]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Halpern00
Joseph Y. Halpern:
Editorial: a bill of rights and responsibilities. J. ACM 47(5): 823-825 (2000)
[j79]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern00
Joseph Y. Halpern:
Axiomatizing Causal Reasoning. J. Artif. Intell. Res. 12: 317-337 (2000)
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/jcd/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcd/Halpern00
Joseph Y. Halpern:
CoRR: a computing research repository. ACM J. Comput. Documentation 24(2): 41-48 (2000)
[j77]
- view
  authority control:
- export record
  dblp key:
  - journals/jcd/Halpern00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcd/Halpern00a
Joseph Y. Halpern:
A response to the commentaries on CoRR. ACM J. Comput. Documentation 24(2): 72-77 (2000)
[j76]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FriedmanHK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FriedmanHK00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dialm/HaasHLW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dialm/HaasHLW00
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]
- view
  authority control:
- export record
  dblp key:
  - conf/dis/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dis/Halpern00
Joseph Y. Halpern:
Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000: 15-16
[c112]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Halpern00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Halpern00
Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. UAI 2000: 247-255
[i24]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0001015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0001015
Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. CoRR cs.AI/0001015 (2000)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0005030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0005030
Joseph Y. Halpern:
Axiomatizing Causal Reasoning. CoRR cs.AI/0005030 (2000)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0005031
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0005031
Joseph Y. Halpern:
Conditional Plausibility Measures and Bayesian Networks. CoRR cs.AI/0005031 (2000)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0011012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0011012
Joseph Y. Halpern, Judea Pearl:
Causes and Explanations: A Structural-Model Approach, Part I: Causes. CoRR cs.AI/0011012 (2000)
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-CR-0001026
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-CR-0001026
Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CoRR cs.CR/0001026 (2000)
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0003058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0003058
Joseph Y. Halpern:
A note on knowledge-based programs and specifications. CoRR cs.DC/0003058 (2000)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0006008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0006008
Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing work efficiently in the presence of faults. CoRR cs.DC/0006008 (2000)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-0006009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-0006009
Joseph Y. Halpern, Yoram Moses:
Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DL-0005003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DL-0005003
Joseph Y. Halpern:
CoRR: A Computing Research Repository. CoRR cs.DL/0005003 (2000)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DL-0005004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DL-0005004
Joseph Y. Halpern:
A response to the commentaries on CoRR. CoRR cs.DL/0005004 (2000)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-NI-0006037
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-NI-0006037
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

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BacchusHL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BacchusHL99
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]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Halpern99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Halpern99
Joseph Y. Halpern:
Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999)
[j73]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Halpern99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Halpern99a
Joseph Y. Halpern:
Errata: "The relationship between knowledge, belief, and certainty". Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FaginHMV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FaginHMV99
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. Ann. Pure Appl. Log. 96(1-3): 89-105 (1999)
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/Halpern99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/Halpern99
Joseph Y. Halpern:
Hypothetical knowledge and counterfactual reasoning. Int. J. Game Theory 28(3): 315-330 (1999)
[j70]
- view
  authority control:
- export record
  dblp key:
  - journals/ijgt/FaginGHV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijgt/FaginGHV99
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern99
Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. 10: 67-85 (1999)
[j68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/FriedmanH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/FriedmanH99
Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. 10: 117-167 (1999)
[j67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern99a
Joseph Y. Halpern:
Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. 11: 429-435 (1999)
[j66]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/FriedmanH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/FriedmanH99
Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. J. Log. Lang. Inf. 8(4): 401-420 (1999)
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/HalpernM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/HalpernM99
Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/dl/HalpernL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dl/HalpernL99
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]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HalpernF99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernF99
Joseph Y. Halpern, Nir Friedman:
Plausibility Measures and Default Reasoning: An Overview. LICS 1999: 130-135
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HalpernS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernS99
Joseph Y. Halpern, Richard A. Shore:
Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999: 384-393
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernR99
Joseph Y. Halpern, Aleta Ricciardi:
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999: 73-82
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/pods/ChuHS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pods/ChuHS99
Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri:
Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999: 138-147
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9903016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9903016
Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part II: Revision and Update. CoRR cs.AI/9903016 (1999)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9911012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9911012
Joseph Y. Halpern:
Cox's Theorem Revisited. CoRR cs.AI/9911012 (1999)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DB-9909016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DB-9909016
Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri:
Least expected cost query optimization: an exercise in utility. CoRR cs.DB/9909016 (1999)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DC-9909015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DC-9909015
Francis C. Chu, Joseph Y. Halpern:
A decision-theoretic approach to reliable message delivery. CoRR cs.DC/9909015 (1999)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-9909014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-9909014
Joseph Y. Halpern, Richard A. Shore:
Reasoning About Common Knowledge with Infinitely Many Agents. CoRR cs.LO/9909014 (1999)
1998
[j65]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BrafmanHS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BrafmanHS98
Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham:
On the Knowledge Requirements of Tasks. Artif. Intell. 98(1-2): 317-349 (1998)
[j64]
- view
  - electronic edition @ dlib.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - journals/dlib/Halpern98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dlib/Halpern98
Joseph Y. Halpern:
A Computing Research Repository. D Lib Mag. 4(11) (1998)
[j63]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Halpern98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Halpern98
Joseph Y. Halpern:
Time to Publication: A Progress Report. J. ACM 45(3): 379-380 (1998)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/DworkHW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/DworkHW98
Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27(5): 1457-1491 (1998)
[c105]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BoutilierFH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BoutilierFH98
Craig Boutilier, Nir Friedman, Joseph Y. Halpern:
Belief Revision with Unreliable Observations. AAAI/IAAI 1998: 127-134
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icmas/Halpern98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmas/Halpern98
Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty. ICMAS 1998: 6-7
[c103]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/Halpern98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Halpern98
Joseph Y. Halpern:
Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998: 83-96
[c102]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/HalpernM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernM98
Joseph Y. Halpern, Yoram Moses:
Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110
[c101]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/Halpern98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Halpern98a
Joseph Y. Halpern:
Characterizing the Common Prior Assumption. TARK 1998: 133-146
[c100]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GroveH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GroveH98
Adam J. Grove, Joseph Y. Halpern:
Updating Sets of Probabilities. UAI 1998: 173-182
[c99]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Halpern98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Halpern98
Joseph Y. Halpern:
Axiomatizing Causal Reasoning. UAI 1998: 202-210
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/ChuH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/ChuH98
Francis C. Chu, Joseph Y. Halpern:
A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998: 89-103
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9808005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9808005
Nir Friedman, Joseph Y. Halpern, Daphne Koller:
First-Order Conditional Logic Revisited. CoRR cs.AI/9808005 (1998)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9808006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9808006
Joseph Y. Halpern:
Set-Theoretic Completeness for Epistemic and Conditional Logic. CoRR cs.AI/9808006 (1998)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9808007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9808007
Nir Friedman, Joseph Y. Halpern:
Plausibility Measures and Default Reasoning. CoRR cs.AI/9808007 (1998)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9809013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9809013
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors and Effectors in the Situation Calculus. CoRR cs.AI/9809013 (1998)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-DL-9812020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-DL-9812020
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-LO-9809003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-9809003
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common knowledge revisited. CoRR cs.LO/9809003 (1998)
1997
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/FriedmanH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FriedmanH97
Nir Friedman, Joseph Y. Halpern:
Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. 95(2): 257-316 (1997)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/Halpern97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/Halpern97
Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Comput. Intell. 13(1): 144-163 (1997)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/FaginHMV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/FaginHMV97
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. Distributed Comput. 10(4): 199-225 (1997)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/Halpern97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/Halpern97
Joseph Y. Halpern:
On becoming editor-in-chief of JACM. J. ACM 44(3): 363-365 (1997)
[j57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Halpern97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Halpern97
Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. 7: 1-24 (1997)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Halpern97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Halpern97
Joseph Y. Halpern:
A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. 7(1): 79-108 (1997)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/mima/FaginHMV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mima/FaginHMV97
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/scai/Halpern97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scai/Halpern97
Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997
[c96]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/ChajewskaH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/ChajewskaH97
Urszula Chajewska, Joseph Y. Halpern:
Defining Explanation in Probabilistic Systems. UAI 1997: 62-71
[c95]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/GroveH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GroveH97
Adam J. Grove, Joseph Y. Halpern:
Probability Update: Conditioning vs. Cross-Entropy. UAI 1997: 208-214
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-9707103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-9707103
Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR cs.AI/9707103 (1997)
1996
[j54]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/BacchusGHK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BacchusGHK96
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/Halpern96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/Halpern96
Joseph Y. Halpern:
Should knowledge entail belief? J. Philos. Log. 25(5): 483-494 (1996)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/GroveHK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/GroveHK96
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. 61(1): 250-276 (1996)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/GroveHK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/GroveHK96
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25(1): 1-51 (1996)
[c94]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/KollerH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KollerH96
Daphne Koller, Joseph Y. Halpern:
Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996: 569-576
[c93]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/FriedmanH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FriedmanH96
Nir Friedman, Joseph Y. Halpern:
Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996: 1297-1304
[c92]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/FriedmanHK96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FriedmanHK96
Nir Friedman, Joseph Y. Halpern, Daphne Koller:
First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996: 1305-1312
[c91]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Halpern96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Halpern96
Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996: 1313-1319
[c90]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Halpern96a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Halpern96a
Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996: 1329-1330
[c89]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/FriedmanH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FriedmanH96
Nir Friedman, Joseph Y. Halpern:
Belief Revision: A Critique. KR 1996: 421-431
[c88]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/Halpern96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Halpern96
Joseph Y. Halpern:
On Ambiguities in the Interpretation of Game Trees. TARK 1996: 77-96
[c87]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/HalpernL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernL96
Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. TARK 1996: 251-265
[c86]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/FaginHMV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/FaginHMV96
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited. TARK 1996: 283-298
[c85]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/FriedmanH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/FriedmanH96
Nir Friedman, Joseph Y. Halpern:
A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996: 263-273
[c84]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/Halpern96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/Halpern96
Joseph Y. Halpern:
Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996: 299-306
1995
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/mit/FHMV1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/mit/FHMV1995
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Reasoning About Knowledge. MIT Press 1995, ISBN 9780262562003
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernL95
Joseph Y. Halpern, Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Halpern95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Halpern95
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/FaginHV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FaginHV95
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)
[j47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HalpernW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HalpernW95
Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completeness for FP. Inf. Comput. 118(2): 246-271 (1995)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/DolevHSS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/DolevHSS95
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
Dynamic Fault-Tolerant Clock Synchronization. J. ACM 42(1): 143-185 (1995)
[c83]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernK95
Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861
[c82]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BacchusHL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BacchusHL95
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/FaginHMV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/FaginHMV95
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Knowledge-Based Programs. PODC 1995: 153-163
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/rur/BacchusHL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rur/BacchusHL95
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]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/FriedmanH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/FriedmanH95
Nir Friedman, Joseph Y. Halpern:
Plausibility Measures: A User's Guide. UAI 1995: 175-184
1994
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HalpernK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HalpernK94
Joseph Y. Halpern, Bruce M. Kapron:
Zero-One Laws for Modal Logic. Ann. Pure Appl. Log. 69(2-3): 157-193 (1994)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/BacchusGHK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/BacchusGHK94
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AbadiH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AbadiH94
Martín Abadi, Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability. Inf. Comput. 112(1): 1-36 (1994)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/FaginH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/FaginH94
Ronald Fagin, Joseph Y. Halpern:
Reasoning About Knowledge and Probability. J. ACM 41(2): 340-367 (1994)
[j41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jair/GroveHK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/GroveHK94
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. J. Artif. Intell. Res. 2: 33-88 (1994)
[c78]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BacchusGHK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BacchusGHK94
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Forming Beliefs about a Changing World. AAAI 1994: 222-229
[c77]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/FriedmanH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FriedmanH94
Nir Friedman, Joseph Y. Halpern:
Conditional Logics of Belief Change. AAAI 1994: 915-921
[c76]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/FaginHMV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FaginHMV94
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147
[c75]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/FriedmanH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FriedmanH94
Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201
[c74]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/FriedmanH94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/FriedmanH94a
Nir Friedman, Joseph Y. Halpern:
On the Complexity of Conditional Logics. KR 1994: 202-213
[c73]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/FriedmanH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/FriedmanH94
Nir Friedman, Joseph Y. Halpern:
A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64
[c72]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/HalpernMV94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/HalpernMV94
Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Algorithmic Knowledge. TARK 1994: 255-266
[c71]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/BacchusGHK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/BacchusGHK94
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating New Beliefs from Old. UAI 1994: 37-45
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GroveHK94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GroveHK94
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. CoRR abs/cs/9408101 (1994)
1993
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernT93
Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GroveH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GroveH93
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HadzilacosH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HadzilacosH93
Vassos Hadzilacos, Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement. Math. Syst. Theory 26(1): 41-102 (1993)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HadzilacosH93a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HadzilacosH93a
Vassos Hadzilacos, Joseph Y. Halpern:
The Failure Discovery Problem. Math. Syst. Theory 26(1): 103-129 (1993)
[c70]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/Halpern93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Halpern93
Joseph Y. Halpern:
Reasoning about only Knowing with Many Agents. AAAI 1993: 655-661
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BacchusGHK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BacchusGHK93
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325
[c68]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BacchusGHK93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BacchusGHK93
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/kgc/Halpern93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kgc/Halpern93
Joseph Y. Halpern:
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993: 43-60
1992
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernF92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernF92
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernM92
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/FaginHV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/FaginHV92
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernZ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernZ92
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/FaginHV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/FaginHV92
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992)
[c66]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/BacchusGKH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BacchusGKH92
Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern:
From Statistics to Beliefs. AAAI 1992: 602-608
[c65]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/KollerH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/KollerH92
Daphne Koller, Joseph Y. Halpern:
A Logic for Approximate Reasoning. KR 1992: 153-164
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/GroveHK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GroveHK92
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Random Worlds and Maximum Entropy. LICS 1992: 22-33
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HalpernK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernK92
Joseph Y. Halpern, Bruce M. Kapron:
Zero-One Laws for Modal Logic. LICS 1992: 369-380
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/DworkHW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/DworkHW92
Cynthia Dwork, Joseph Y. Halpern, Orli Waarts:
Performing Work Efficiently in the Presence of Faults. PODC 1992: 91-102
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/GroveHK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/GroveHK92
Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
Asymptotic Conditional Probabilities for First-Order Logic. STOC 1992: 294-305
[c60]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/FaginGHV92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/FaginGHV92
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]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/Halpern91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/Halpern91
Joseph Y. Halpern:
The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. 4: 301-322 (1991)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/FaginH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/FaginH91
Ronald Fagin, Joseph Y. Halpern:
Uncertainty, belief, and probability. Comput. Intell. 7: 160-173 (1991)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalpernS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalpernS91
Joseph Y. Halpern, Ichiro Suzuki:
Clock Synchronization and the Power of Broadcasting. Distributed Comput. 5: 73-82 (1991)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/FaginHV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/FaginHV91
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernS91
Joseph Y. Halpern, Yoav Shoham:
A Propositional Modal Logic of Time Intervals. J. ACM 38(4): 935-962 (1991)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Halpern91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Halpern91
Joseph Y. Halpern:
Presburger Arithmetic with Unarr Predicates is Pi₁¹ Complete. J. Symb. Log. 56(2): 637-642 (1991)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HalpernV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HalpernV91
Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. Artificial and Mathematical Theory of Computation 1991: 151-176
[c58]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/GroveH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GroveH91
Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312
[c57]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/kr/HalpernV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/HalpernV91
Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HadzilacosH91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HadzilacosH91
Vassos Hadzilacos, Joseph Y. Halpern:
Message-Optimal Protocols for Byzantine Agreement (Extended Abstract). PODC 1991: 309-323
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Halpern91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Halpern91
Joseph Y. Halpern:
Knowledge and Probability in Distributed Systems (Abstract). TAPSOFT, Vol.2 1991: 50-54
1990
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Halpern90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Halpern90
Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability. Artif. Intell. 46(3): 311-350 (1990)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/Halpern90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/Halpern90
Joseph Y. Halpern:
Let many flowers bloom: a response to An inquiry into computer understanding e. Comput. Intell. 6: 184-188 (1990)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/FaginHM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FaginHM90
Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo:
A Logic for Reasoning about Probabilities. Inf. Comput. 87(1/2): 78-128 (1990)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernWW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernWW90
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/HalpernM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/HalpernM90
Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. J. ACM 37(3): 549-587 (1990)
[c54]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/HalpernF90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernF90
Joseph Y. Halpern, Ronald Fagin:
Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. AAAI 1990: 112-119
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/jcit/FaginHV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jcit/FaginHV90
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What is an inference rule? Jerusalem Conference on Information Technology 1990: 391-401
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernMW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernMW90
Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. PODC 1990: 333-346
[c51]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/FaginHV90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/FaginHV90
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Nonstandard Approach to the Logical Omniscience Problem. TARK 1990: 41-55
[c50]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/FaginH90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/FaginH90
Ronald Fagin, Joseph Y. Halpern:
A new approach to updating beliefs. UAI 1990: 347-374

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/HalpernF89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/HalpernF89
Joseph Y. Halpern, Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems. Distributed Comput. 3(4): 159-177 (1989)
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GermanCH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GermanCH89
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/HalpernV89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/HalpernV89
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]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/AbadiH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/AbadiH89
Martín Abadi, Joseph Y. Halpern:
Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract). FOCS 1989: 148-153
[c48]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/FaginH89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FaginH89
Ronald Fagin, Joseph Y. Halpern:
Uncertainty, Belief, and Probability. IJCAI 1989: 1161-1167
[c47]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/Halpern89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/Halpern89
Joseph Y. Halpern:
An Analysis of First-Order Logics of Probability. IJCAI 1989: 1375-1381
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernT89
Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries. PODC 1989: 103-118
1988
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/FaginH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/FaginH88
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]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HalpernF88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HalpernF88
Joseph Y. Halpern, Ronald Fagin:
Modelling Knowledge and Action in Distributed Systems. Concurrency 1988: 18-32
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FaginHM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FaginHM88
Ronald Fagin, Joseph Y. Halpern, Nimrod Megiddo:
A Logic for Reasoning about Probabilities. LICS 1988: 410-421
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernV88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernV88
Joseph Y. Halpern, Moshe Y. Vardi:
Reasoning about Knowledge and Time in Asynchronous Systems. STOC 1988: 53-65
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernMT88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernMT88
Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle:
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report). STOC 1988: 132-147
[c41]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/Halpern88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Halpern88
Joseph Y. Halpern:
Reasoning About Knowledge: A Tutorial. TARK 1988: 161
[c40]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/FaginH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/FaginH88
Ronald Fagin, Joseph Y. Halpern:
Reasoning about Knowledge and Probability. TARK 1988: 277-293
1987
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/HalpernR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/HalpernR87
Joseph Y. Halpern, Michael O. Rabin:
A Logic to Reason about Likelihood. Artif. Intell. 32(3): 379-405 (1987)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/FaginH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FaginH87
Ronald Fagin, Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning. . Artif. Intell. 34(1): 39-76 (1987)
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DolevHSS87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DolevHSS87
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/HalpernW87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernW87
Joseph Y. Halpern, Edward L. Wimmers:
Full Abstraction and Expressive Completenes for FP. LICS 1987: 257-271
[c38]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/FaginH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FaginH87
Ronald Fagin, Joseph Y. Halpern:
I'm OK if You're OK: On the Notion of Trusting Communication. LICS 1987: 280-292
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/Halpern87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/Halpern87
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]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/MosesDH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/MosesDH86
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/EmersonH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/EmersonH86
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/DolevHS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/DolevHS86
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/HalpernM86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/HalpernM86
Joseph Y. Halpern, Yoram Moses:
Taken by surprise: The paradox of the surprise test revisited. J. Philos. Log. 15(3): 281-304 (1986)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/HalpernLMW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/HalpernLMW86
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]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/FagiHV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FagiHV86
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435
[c35]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/GermanCH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GermanCH86
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/HalpernWW86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernWW86
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers:
Good Rewrite Strategies for FP. LICS 1986: 149-162
[c33]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lics/HalpernS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HalpernS86
Joseph Y. Halpern, Yoav Shoham:
A Propositional Model Logic of Time Intervals. LICS 1986: 279-292
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernV86
Joseph Y. Halpern, Moshe Y. Vardi:
The Complexity of Reasoning about Knowledge and Time: Extended Abstract. STOC 1986: 304-315
[c31]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/tark/Halpern86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/Halpern86
Joseph Y. Halpern:
Reasoning About Knowledge: An Overview. TARK 1986: 1-17
[e2]
- view
- export record
  dblp key:
  - conf/podc/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/1986
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]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/tark/1986
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/1986
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jc/HalpernMM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jc/HalpernMM85
Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi:
Optimal precision in the presence of uncertainty. J. Complex. 1(2): 170-196 (1985)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/EmersonH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/EmersonH85
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]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/ParikhCHM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/ParikhCHM85
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]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/HalpernM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/HalpernM85
Joseph Y. Halpern, Yoram Moses:
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. IJCAI 1985: 480-490
[c29]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/FaginH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FaginH85
Ronald Fagin, Joseph Y. Halpern:
Belief, Awareness, and Limited Reasoning: Preliminary Report. IJCAI 1985: 491-501
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/MosesDH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/MosesDH85
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]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernF85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernF85
Joseph Y. Halpern, Ronald Fagin:
A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. PODC 1985: 224-236
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HalpernWWW85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HalpernWWW85
Joseph Y. Halpern, John H. Williams, Edward L. Wimmers, Timothy C. Winkler:
Denotational Semantics and Rewrite Rules for FP. POPL 1985: 108-120
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernMM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernMM85
Joseph Y. Halpern, Nimrod Megiddo, Ashfaq A. Munshi:
Optimal Precision in the Presence of Uncertainty (Preliminary Version). STOC 1985: 346-355
1984
[c24]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/aaai/HalpernM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/HalpernM84
Joseph Y. Halpern, David A. McAllester:
Likelihood, Probability, and Knowledge. AAAI 1984: 137-141
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/FaginHV84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/FaginHV84
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
A Model-Theoretic Analysis of Knowledge: Preliminary Report. FOCS 1984: 268-278
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nato/HalpernM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/HalpernM84
Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. Logics and Models of Concurrent Systems 1984: 459-476
[c21]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nmr/HalpernM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/HalpernM84
Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. NMR 1984: 125-143
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernM84
Joseph Y. Halpern, Yoram Moses:
Knowledge and Common Knowledge in a Distributed Environment. PODC 1984: 50-61
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/HalpernSSD84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/HalpernSSD84
Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev:
Fault-Tolerant Clock Synchronization. PODC 1984: 89-102
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HalpernMT84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HalpernMT84
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Halpern84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Halpern84
Joseph Y. Halpern:
A Good Hoare Axiom System for an Algol-like Language. POPL 1984: 262-271
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/DolevHS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/DolevHS84
Danny Dolev, Joseph Y. Halpern, H. Raymond Strong:
On the Possibility and Impossibility of Achieving Clock Synchronization. STOC 1984: 504-511
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/DolevHSS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/DolevHSS84
Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong:
A New Look at Fault Tolerant Network Routing. STOC 1984: 526-535
1983
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Halpern83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Halpern83
Joseph Y. Halpern:
Deterministic Process Logic is Elementary. Inf. Control. 57(1): 56-89 (1983)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/ClarkeGH83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/ClarkeGH83
Edmund M. Clarke, Steven M. German, Joseph Y. Halpern:
Effective Axiomatizations of Hoare Logics. J. ACM 30(3): 612-636 (1983)
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HalpernR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HalpernR83
Joseph Y. Halpern, John H. Reif:
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs. Theor. Comput. Sci. 27: 127-165 (1983)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HalpernMM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HalpernMM83
Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski:
A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lop/GermanCH83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/GermanCH83
Steven M. German, Edmund M. Clarke, Joseph Y. Halpern:
Reasoning About Procedures as Parameters. Logic of Programs 1983: 206-220
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/lop/TrakhtenbrotHM83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/TrakhtenbrotHM83
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/EmersonH83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/EmersonH83
E. Allen Emerson, Joseph Y. Halpern:
"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. POPL 1983: 127-140
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/HalpernR83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/HalpernR83
Joseph Y. Halpern, Michael O. Rabin:
A Logic to Reason about Likelihood. STOC 1983: 310-319
1982
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jacm/MeyerH82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacm/MeyerH82
Albert R. Meyer, Joseph Y. Halpern:
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. J. ACM 29(2): 555-576 (1982)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/Ben-AriHP82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/Ben-AriHP82
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]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/Halpern82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/Halpern82
Joseph Y. Halpern:
Deterministic Process Logic Is Elementary. FOCS 1982: 204-216
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/BermanHT82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BermanHT82
Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn:
On the Power of Nondeterminism in Dynamic Logic. ICALP 1982: 48-60
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/ClarkeGH82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/ClarkeGH82
Edmund M. Clarke, Steven M. German, Joseph Y. Halpern:
On Effective Axiomatizations of Hoare Logics. POPL 1982: 309-321
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/EmersonH82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/EmersonH82
E. Allen Emerson, Joseph Y. Halpern:
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. STOC 1982: 169-180
1981
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/focs/HalpernR81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/focs/HalpernR81
Joseph Y. Halpern, John H. Reif:
The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract). FOCS 1981: 322-334
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/Ben-AriHP81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/Ben-AriHP81
Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli:
Finite Models for Deterministic Propositional Dynamic Logic. ICALP 1981: 249-263
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HalpernM81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HalpernM81
Joseph Y. Halpern, Albert R. Meyer:
Axiomatic Definitions of Programming Languages, II. POPL 1981: 139-148
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/stoc/ChandraHMP81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stoc/ChandraHMP81
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]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MeyerH80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MeyerH80
Albert R. Meyer, Joseph Y. Halpern:
Axiomatic Definitions of Programming Languages: A Theoretical Assessment. POPL 1980: 203-212

Coauthor Index

see FAQ

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.