Joseph Y. Halpern

Identifiers

• name variant Joseph Y. Halpern 0.60 · backfill

Papers (147)

1. Quantifying Harm cs.AI · 2022 · author #3
2. Approximate Causal Abstraction cs.AI · 2019 · author #3
3. Security in Asynchronous Interactive Systems cs.CR · 2019 · author #2
4. Blameworthiness in Multi-Agent Settings cs.CY · 2019 · author #2
5. Abstracting Causal Models cs.AI · 2018 · author #2
6. Partial Awareness cs.LO · 2018 · author #1
7. Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility cs.AI · 2018 · author #1
8. Implementing Mediators with Asynchronous Cheap Talk cs.DC · 2018 · author #4
9. Is state-dependent valuation more adaptive than simpler rules? q-bio.PE · 2016 · author #1
10. Characterizing Solution Concepts in Terms of Common Knowledge of Rationality cs.GT · 2016 · author #1
11. Decentralised Norm Monitoring in Open Multi-Agent Systems cs.MA · 2016 · author #2
12. A Symbolic Logic with Concrete Bounds for Cryptographic Protocols cs.LO · 2015 · author #2
13. On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players cs.GT · 2015 · author #1
14. Why Bother With Syntax? cs.AI · 2015 · author #1
15. Computational Extensive-Form Games cs.GT · 2015 · author #1
16. A Modification of the Halpern-Pearl Definition of Causality cs.AI · 2015 · author #1
17. An Introduction to Logics of Knowledge and Belief cs.AI · 2015 · author #2
18. Minimizing Regret in Dynamic Decision Problems cs.AI · 2015 · author #1
19. Cooperative Equilibrium: A solution predicting cooperative play cs.GT · 2014 · author #2
20. Sequential Equilibrium in Computational Games cs.GT · 2014 · author #1
21. Appropriate Causal Models and the Stability of Causation cs.AI · 2014 · author #1
22. The Computational Complexity of Structure-Based Causality cs.AI · 2014 · author #3
23. Algorithmic Rationality: Game Theory with Costly Computation cs.GT · 2014 · author #1
24. Cause, Responsibility, and Blame: oA Structural-Model Approach cs.AI · 2014 · author #1
25. Translucent Players: Explaining Cooperative Behavior in Social Dilemmas cs.GT · 2014 · author #2
26. A Logic for Reasoning about Upper Probabilities cs.AI · 2014 · author #1
27. Axiomatizing Causal Reasoning cs.AI · 2014 · author #1
28. MDPs with Unawareness cs.AI · 2014 · author #1
29. A Game-Theoretic Analysis of Updating Sets of Probabilities cs.AI · 2014 · author #2
30. Evidence with Uncertain Likelihoods cs.AI · 2014 · author #1
31. When Ignorance is Bliss cs.AI · 2014 · author #2
32. A Logic for Reasoning about Evidence cs.AI · 2014 · author #1
33. Reasoning about Expectation cs.AI · 2014 · author #1
34. Updating Probabilities cs.AI · 2014 · author #2
35. Conditional Plausibility Measures and Bayesian Networks cs.AI · 2014 · author #1
36. Defining Relative Likelihood in Partially-Ordered Preferential Structures cs.AI · 2014 · author #1
37. A logic for reasoning about ambiguity cs.AI · 2014 · author #1
38. The Truth Behind the Myth of the Folk Theorem cs.GT · 2013 · author #1
39. Game Theory with Translucent Players cs.GT · 2013 · author #1
40. Language-based Games cs.GT · 2013 · author #2
41. Weighted regret-based likelihood: a new approach to describing uncertainty cs.AI · 2013 · author #1
42. Compact Representations of Extended Causal Models cs.AI · 2013 · author #1
43. Graded Causation and Defaults cs.AI · 2013 · author #1
44. Decision Theory with Resource-Bounded Agents cs.GT · 2013 · author #1
45. Game Theory with Translucent Players cs.GT · 2013 · author #1
46. The Relationship between Knowledge, Belief and Certainty cs.AI · 2013 · author #1
47. A New Approach to Updating Beliefs cs.AI · 2013 · author #2
48. Generating New Beliefs From Old cs.AI · 2013 · author #3
49. Weighted Sets of Probabilities and Minimax Weighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions cs.GT · 2013 · author #1
50. Plausibility Measures: A User's Guide cs.AI · 2013 · author #2
51. A Qualitative Markov Assumption and its Implications for Belief Change cs.AI · 2013 · author #2
52. Probability Update: Conditioning vs. Cross-Entropy cs.AI · 2013 · author #2
53. Defining Explanation in Probabilistic Systems cs.AI · 2013 · author #2
54. Causes and Explanations: A Structural-Model Approach --- Part 1: Causes cs.AI · 2013 · author #1
55. Weighted Sets of Probabilities and MinimaxWeighted Expected Regret: New Approaches for Representing Uncertainty and Making Decisions cs.GT · 2012 · author #1
56. Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion cs.GT · 2012 · author #3
57. An Equilibrium Analysis of Scrip Systems cs.GT · 2012 · author #3
58. Ambiguous Language and Differences in Beliefs cs.AI · 2012 · author #1
59. No justified complaints: On fair sharing of multiple resources cs.DC · 2011 · author #3
60. I Don't Want to Think About it Now:Decision Theory With Costly Computation cs.GT · 2011 · author #1
61. Actual causation and the art of modeling cs.AI · 2011 · author #1
62. Viewpoint: Journals for Certification, Conferences for Rapid Dissemination cs.DL · 2011 · author #1
63. From Causal Models To Counterfactual Structures cs.AI · 2011 · author #1
64. MDPs with Unawareness cs.AI · 2010 · author #1
65. Updating Sets of Probabilities cs.AI · 2009 · author #2
66. A Logical Characterization of Iterated Admissibility cs.AI · 2009 · author #1
67. Reasoning About Knowledge of Unawareness Revisited cs.AI · 2009 · author #1
68. Multiagent Learning in Large Anonymous Games cs.MA · 2009 · author #3
69. Manipulating Scrip Systems: Sybils and Collusion cs.GT · 2009 · author #3
70. Iterated Regret Minimization: A More Realistic Solution Concept cs.GT · 2008 · author #1
71. Toward Expressive and Scalable Sponsored Search Auctions cs.DB · 2008 · author #3
72. Game Theory with Costly Computation cs.GT · 2008 · author #1
73. An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience cs.DC · 2008 · author #3
74. A Formal Foundation for XrML cs.CR · 2008 · author #1
75. Defaults and Normality in Causal Structures cs.AI · 2008 · author #1
76. Beyond Nash Equilibrium: Solution Concepts for the 21st Century cs.GT · 2008 · author #1
77. The Lotus-Eater Attack cs.NI · 2008 · author #3
78. From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic cs.CR · 2008 · author #1
79. A Game-Theoretic Analysis of Updating Sets of Probabilities cs.AI · 2007 · author #2
80. A Knowledge-Based Analysis of Global Function Computation cs.DC · 2007 · author #1
81. Generalized Solution Concepts in Games with Possibly Unaware Players cs.GT · 2007 · author #2
82. Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists cs.GT · 2007 · author #3
83. Efficiency and Nash Equilibria in a Scrip System for P2P Networks cs.GT · 2007 · author #2
84. Worst-Case Background Knowledge for Privacy-Preserving Data Publishing cs.DB · 2007 · author #5
85. Lower Bounds on Implementing Robust and Resilient Mediators cs.GT · 2007 · author #3
86. Extensive Games with Possibly Unaware Players cs.GT · 2007 · author #1
87. Dealing With Logical Omniscience: Expressiveness and Pragmatics cs.LO · 2007 · author #1
88. Characterizing Solution Concepts in Games Using Knowledge-Based Programs cs.GT · 2006 · author #1
89. Rational Secret Sharing and Multiparty Computation: Extended Abstract cs.GT · 2006 · author #1
90. Using Sets of Probability Measures to Represent Uncertainty cs.AI · 2006 · author #1
91. Expressing Security Properties Using Selective Interleaving Functions cs.CR · 2006 · author #1
92. Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic cs.LO · 2006 · author #1
93. Reasoning About Knowledge of Unawareness cs.LO · 2006 · author #1
94. Using First-Order Logic to Reason about Policies cs.LO · 2006 · author #1
95. When Ignorance is Bliss cs.AI · 2005 · author #2
96. Evidence with Uncertain Likelihoods cs.AI · 2005 · author #1
97. Interactive Unawareness Revisited cs.AI · 2005 · author #1
98. Probabilistic Algorithmic Knowledge cs.AI · 2005 · author #1
99. Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems cs.AI · 2004 · author #1
100. Intransitivity and Vagueness cs.AI · 2004 · author #1
101. A Logic for Reasoning about Evidence cs.AI · 2004 · author #1
102. Anonymity and Information Hiding in Multiagent Systems cs.CR · 2004 · author #1
103. A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors cs.DC · 2004 · author #1
104. Representation Dependence in Probabilistic Inference cs.AI · 2003 · author #1
105. Responsibility and blame: a structural-model approach cs.AI · 2003 · author #2
106. Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation cs.AI · 2003 · author #1
107. What Causes a System to Satisfy a Specification? cs.LO · 2003 · author #2
108. Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule cs.AI · 2003 · author #2
109. Great Expectations. Part I: On the Customizability of Generalized Expected Utility cs.AI · 2003 · author #2
110. Using Counterfactuals in Knowledge-Based Programming cs.DC · 2003 · author #1
111. Modeling Belief in Dynamic Systems, Part II: Revisions and Update cs.AI · 2003 · author #2
112. Modeling Belief in Dynamic Systems, Part I: Foundations cs.AI · 2003 · author #2
113. A logic for reasoning about upper probabilities cs.AI · 2003 · author #1
114. Secrecy in Multiagent Systems cs.CR · 2003 · author #2
115. From Statistical Knowledge Bases to Degrees of Belief cs.AI · 2003 · author #3
116. Updating Probabilities cs.AI · 2003 · author #2
117. On the Relationship between Strand Spaces and Multi-Agent Systems cs.CR · 2003 · author #1
118. Lexicographic probability, conditional probability, and nonstandard probability cs.GT · 2003 · author #1
119. Minimum-Energy Mobile Wireless Networks Revisited cs.NI · 2002 · author #2
120. Analysis of a Cone-Based Distributed Topology Control Algorithm for Wireless Multi-hop Networks cs.NI · 2002 · author #2
121. Gossip Based Ad-Hoc Routing cs.NI · 2002 · author #2
122. Causes and Explanations: A Structural-Model Approach. Part II: Explanations cs.AI · 2002 · author #1
123. Complete Axiomatizations for Reasoning About Knowledge and Time cs.LO · 2002 · author #1
124. A logical reconstruction of SPKI cs.CR · 2002 · author #1
125. A computer scientist looks at game theory cs.GT · 2002 · author #1
126. Belief Revision: A Critique cs.AI · 2001 · author #2
127. On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs cs.GT · 2001 · author #2
128. Causes and Explanations: A Structural-Model Approach, Part I: Causes cs.AI · 2000 · author #1
129. A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks cs.NI · 2000 · author #2
130. Knowledge and common knowledge in a distributed environment cs.DC · 2000 · author #1
131. Performing work efficiently in the presence of faults cs.DC · 2000 · author #2
132. Conditional Plausibility Measures and Bayesian Networks cs.AI · 2000 · author #1
133. Axiomatizing Causal Reasoning cs.AI · 2000 · author #1
134. A response to the commentaries on CoRR cs.DL · 2000 · author #1
135. CoRR: A Computing Research Repository cs.DL · 2000 · author #1
136. A note on knowledge-based programs and specifications cs.DC · 2000 · author #1
137. A Logic for SDSI's Linked Local Name Spaces cs.CR · 2000 · author #1
138. Multi-Agent Only Knowing cs.AI · 2000 · author #1
139. Cox's Theorem Revisited cs.AI · 1999 · author #1
140. Least expected cost query optimization: an exercise in utility cs.DB · 1999 · author #2
141. A decision-theoretic approach to reliable message delivery cs.DC · 1999 · author #2
142. Reasoning About Common Knowledge with Infinitely Many Agents cs.LO · 1999 · author #1
143. The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research cs.DL · 1998 · author #1
144. Reasoning about Noisy Sensors and Effectors in the Situation Calculus cs.AI · 1998 · author #2
145. Plausibility Measures and Default Reasoning cs.AI · 1998 · author #2
146. Set-Theoretic Completeness for Epistemic and Conditional Logic cs.AI · 1998 · author #1
147. First-Order Conditional Logic Revisited cs.AI · 1998 · author #2

Mentions

• 1511.07536 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1507.01501 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1506.05282 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1506.03030 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1505.00162 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1503.00806 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1502.00152 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.6722 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.6361 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.3518 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.3076 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.2993 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1412.2985 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1410.3363 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1408.1485 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1408.1482 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7191 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7190 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7189 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7188 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7185 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7184 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7183 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7182 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1407.7180 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1401.2011 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1312.1017 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1310.6438 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1310.6408 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1309.1228 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1309.1227 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1309.1226 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1308.3780 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1308.3778 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1304.1508 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1304.1119 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.6783 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.5681 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.4947 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.3578 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.1543 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1302.1526 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 1301.2275 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1210.4853 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1204.3494 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 1204.2942 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 1203.0699 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1106.2673 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 1106.2657 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1106.2652 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1106.2649 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1106.2647 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 1006.2204 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0906.4332 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 0906.4326 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0906.4321 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0903.2282 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0903.2278 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0810.3023 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0809.0116 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0809.0024 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0808.1505 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0808.1215 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0806.2140 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0806.2139 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0806.1711 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0804.2155 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0711.3235 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 0707.3435 #1 · backfill · confidence 0.70 Joseph Y. Halpern
• 0707.1904 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 0705.4110 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0705.4094 #2 · backfill · confidence 0.70 Joseph Y. Halpern
• 0705.2787 #5 · backfill · confidence 0.70 Joseph Y. Halpern
• 0704.3646 #3 · backfill · confidence 0.70 Joseph Y. Halpern
• 0704.2014 #1 · backfill · confidence 0.70 Joseph Y. Halpern

Frequent Coauthors

• Rafael Pass 13 shared papers
• Riccardo Pucella 11 shared papers
• Eric J. Friedman 7 shared papers
• Ian A. Kash 7 shared papers
• Nir Friedman 7 shared papers
• Peter D. Grunwald 6 shared papers
• Danny Dolev 4 shared papers
• Daphne Koller 4 shared papers
• Francis C. Chu 4 shared papers
• Hana Chockler 4 shared papers
• Lior Seeman 4 shared papers
• Yoram Moses 4 shared papers
• Adam J. Grove 3 shared papers
• Christopher Hitchcock 3 shared papers
• Erran L. Li 3 shared papers
• Fahiem Bacchus 3 shared papers
• Ittai Abraham 3 shared papers
• Judea Pearl 3 shared papers
• Nan Rong 3 shared papers
• Ron van der Meyden 3 shared papers