Joseph Y. Halpern

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness revisited. Mathematical Social Sciences 65(2): 73-84 (2013)

Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Constructive Decision Theory. ICLA 2013: 1-4

Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach --- Part 1: Causes. CoRR abs/1301.2275 (2013)

Urszula Chajewska, Joseph Y. Halpern: Defining Explanation in Probabilistic Systems. CoRR abs/1302.1526 (2013)

Adam J. Grove, Joseph Y. Halpern: Probability Update: Conditioning vs. Cross-Entropy. CoRR abs/1302.1543 (2013)

Nir Friedman, Joseph Y. Halpern: A Qualitative Markov Assumption and its Implications for Belief Change. CoRR abs/1302.3578 (2013)

Nir Friedman, Joseph Y. Halpern: Plausibility Measures: A User's Guide. CoRR abs/1302.4947 (2013)

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)

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs From Old. CoRR abs/1302.6783 (2013)

Ronald Fagin, Joseph Y. Halpern: A New Approach to Updating Beliefs. CoRR abs/1304.1119 (2013)

Joseph Y. Halpern: The Relationship between Knowledge, Belief and Certainty. CoRR abs/1304.1508 (2013)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion. Distributed Computing 25(5): 335-357 (2012)

Joseph Y. Halpern, Rafael Pass: Iterated regret minimization: A new solution concept. Games and Economic Behavior 74(1): 184-207 (2012)

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)

Joseph Y. Halpern, Rafael Pass, Lior Seeman: I'm Doing as Well as I Can: Modeling People as Rational Finite Automata. AAAI 2012

Joseph Y. Halpern: Dexter Kozen: An Appreciation. Logic and Program Semantics 2012: 324-325

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

Joseph Y. Halpern, Willemien Kets: Ambiguous Language and Differences in Beliefs. KR 2012

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

Joseph Y. Halpern, Willemien Kets: Ambiguous Language and Differences in Beliefs. CoRR abs/1203.0699 (2012)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: An Equilibrium Analysis of Scrip Systems. CoRR abs/1204.2942 (2012)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing Scrip Systems: Crashes, Altruists, Hoarders, Sybils and Collusion. CoRR abs/1204.3494 (2012)

Max Chickering, Joseph Y. Halpern: Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004). CoRR abs/1208.5161 (2012)

Joseph Y. Halpern, Samantha Leung: Weighted Sets of Probabilities . CoRR abs/1210.4853 (2012)

Joseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience: Expressiveness and pragmatics. Artif. Intell. 175(1): 220-235 (2011)

Joseph Y. Halpern, David C. Parkes: Journals for certification, conferences for rapid dissemination. Commun. ACM 54(8): 36-38 (2011)

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. Logical Methods in Computer Science 7(2) (2011)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games. J. Artif. Intell. Res. (JAIR) 40: 571-598 (2011)

Peter D. Grünwald, Joseph Y. Halpern: Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration. J. Artif. Intell. Res. (JAIR) 42: 393-426 (2011)

Ittai Abraham, Lorenzo Alvisi, Joseph Y. Halpern: Distributed computing meets game theory: combining insights from two fields. SIGACT News 42(2): 69-76 (2011)

Joseph Y. Halpern, Rafael Pass: Algorithmic rationality: adding cost of computation to game theory. SIGecom Exchanges 10(2): 9-15 (2011)

Joseph Y. Halpern: Constructive Decision Theory: Short Summary. ECSQARU 2011: 36-37

Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. GameSec 2011: 1-3

Joseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. SUM 2011: 1

Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass: Reasoning about justified belief. TARK 2011: 221-227

Joseph Y. Halpern: A Counter Example to Theorems of Cox and Fine. CoRR abs/1105.5450 (2011)

Joseph Y. Halpern: From Causal Models To Counterfactual Structures. CoRR abs/1106.2647 (2011)

Joseph Y. Halpern, David C. Parkes: Viewpoint: Journals for Certification, Conferences for Rapid Dissemination. CoRR abs/1106.2649 (2011)

Joseph Y. Halpern, Christopher Hitchcock: Actual causation and the art of modeling. CoRR abs/1106.2652 (2011)

Joseph Y. Halpern, Rafael Pass: I Don't Want to Think About it Now:Decision Theory With Costly Computation. CoRR abs/1106.2657 (2011)

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)

Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. Distributed Computing 22(4): 235-248 (2010)

Joseph Y. Halpern, Sabina Petride: A knowledge-based analysis of global function computation. Distributed Computing 23(3): 197-224 (2010)

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)

Joseph Y. Halpern: Lexicographic probability, conditional probability, and nonstandard probability. Games and Economic Behavior 68(1): 155-179 (2010)

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4) (2010)

Joseph Y. Halpern, Nan Rong: Cooperative equilibrium. AAMAS 2010: 1465-1466

Joseph Y. Halpern, Rafael Pass: Game Theory with Costly Computation: Formulation and Application to Protocol Security. ICS 2010: 120-142

Joseph Y. Halpern: From Causal Models To Counterfactual Structures. KR 2010

Joseph Y. Halpern: I Don't Want to Think About it Now: Decision Theory with Costly Computation. KR 2010

Joseph Y. Halpern: Awareness in Games, Awareness in Logic. LPAR (Yogyakarta) 2010: 15

Joseph Y. Halpern, Nan Rong, Ashutosh Saxena: MDPs with Unawareness. UAI 2010: 228-235

Joseph Y. Halpern, Nan Rong, Ashutosh Saxena: MDPs with Unawareness. CoRR abs/1006.2204 (2010)

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness. Games and Economic Behavior 67(2): 503-525 (2009)

Joseph Y. Halpern: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium. Int. J. Game Theory 38(1): 37-49 (2009)

Stéphane Airiau, Ulle Endriss, Joseph Y. Halpern: Solution to Exchanges 8.1 puzzle: identifying the champion. SIGecom Exchanges 8(2): 11 (2009)

Joseph Y. Halpern, Riccardo Pucella: Evidence with uncertain likelihoods. Synthese 171(1): 111-133 (2009)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion. AMMA 2009: 13-24

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent learning in large anonymous games. AAMAS (2) 2009: 765-772

David J. Martin, Joseph Y. Halpern: Shared Winner Determination in Sponsored Search Auctions. ICDE 2009: 270-280

Joseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A New Solution Concept. IJCAI 2009: 153-158

Joseph Y. Halpern, Rafael Pass: A logical characterization of iterated admissibility. TARK 2009: 146-155

Joseph Y. Halpern, Rafael Pass, Vasumathi Raman: An epistemic characterization of zero knowledge. TARK 2009: 156-165

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about knowledge of unawareness revisited. TARK 2009: 166-173

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Manipulating Scrip Systems: Sybils and Collusion. CoRR abs/0903.2278 (2009)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Multiagent Learning in Large Anonymous Games. CoRR abs/0903.2282 (2009)

Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Constructive Decision Theory. CoRR abs/0906.4316 (2009)

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness Revisited. CoRR abs/0906.4321 (2009)

Joseph Y. Halpern, Rafael Pass: A Logical Characterization of Iterated Admissibility. CoRR abs/0906.4326 (2009)

Adam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities. CoRR abs/0906.4332 (2009)

Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive unawareness revisited. Games and Economic Behavior 62(1): 232-262 (2008)

Joseph Y. Halpern, Vicky Weissman: A formal foundation for XrML. J. ACM 55(1) (2008)

Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. ACM Trans. Inf. Syst. Secur. 11(4) (2008)

Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. ACM Trans. Inf. Syst. Secur. 12(1) (2008)

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3) (2008)

Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. AAAI 2008: 454-459

Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CONCUR 2008: 1

David J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions. ICDE 2008: 237-246

Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. KR 2008: 6-15

Joseph Y. Halpern: Defaults and Normality in Causal Structures. KR 2008: 198-208

Joseph Y. Halpern: Beyond nash equilibrium: solution concepts for the 21st century. PODC 2008: 1-10

Ittai Abraham, Danny Dolev, Joseph Y. Halpern: An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience. PODC 2008: 405-414

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: The lotus-eater attack. PODC 2008: 455

Ittai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators. TCC 2008: 302-319

Peter Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities. UAI 2008: 240-247

Joseph Y. Halpern: From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. CoRR abs/0804.2155 (2008)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: The Lotus-Eater Attack. CoRR abs/0806.1711 (2008)

Joseph Y. Halpern: Beyond Nash Equilibrium: Solution Concepts for the 21st Century. CoRR abs/0806.2139 (2008)

Joseph Y. Halpern: Defaults and Normality in Causal Structures. CoRR abs/0806.2140 (2008)

Joseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML. CoRR abs/0808.1215 (2008)

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)

Joseph Y. Halpern, Rafael Pass: Game Theory with Costly Computation. CoRR abs/0809.0024 (2008)

David J. Martin, Johannes Gehrke, Joseph Y. Halpern: Toward Expressive and Scalable Sponsored Search Auctions. CoRR abs/0809.0116 (2008)

Joseph Y. Halpern, Rafael Pass: Iterated Regret Minimization: A More Realistic Solution Concept. CoRR abs/0810.3023 (2008)

Joseph Y. Halpern, Riccardo Pucella: Characterizing and reasoning about probabilistic and non-probabilistic expectation. J. ACM 54(3): 15 (2007)

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)

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

Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. IJCAI 2007: 1300-1307

Joseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. IJCAI 2007: 2306-2311

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing scrip systems: efficiency, crashes, hoarders, and altruists. ACM Conference on Electronic Commerce 2007: 305-315

Joseph Y. Halpern, Riccardo Pucella: Dealing with logical omniscience. TARK 2007: 169-176

Leandro Chaves Rêgo, Joseph Y. Halpern: Generalized solution concepts in games with possibly unaware players. TARK 2007: 253-262

Joseph Y. Halpern, Leandro Chaves Rêgo: Extensive Games with Possibly Unaware Players. CoRR abs/0704.2014 (2007)

Ittai Abraham, Danny Dolev, Joseph Y. Halpern: Lower Bounds on Implementing Robust and Resilient Mediators. CoRR abs/0704.3646 (2007)

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)

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)

Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern: Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists. CoRR abs/0705.4110 (2007)

Leandro Chaves Rêgo, Joseph Y. Halpern: Generalized Solution Concepts in Games with Possibly Unaware Players. CoRR abs/0707.1904 (2007)

Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation. CoRR abs/0707.3435 (2007)

Peter D. Grünwald, Joseph Y. Halpern: A Game-Theoretic Analysis of Updating Sets of Probabilities. CoRR abs/0711.3235 (2007)

Joseph Y. Halpern, Riccardo Pucella: Dealing With Logical Omniscience: Expressiveness and Pragmatics. CoRR abs/cs/0702011 (2007)

Joseph Y. Halpern: Computer Science and Game Theory: A Brief Survey. CoRR abs/cs/0703148 (2007)

Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. J. Artif. Intell. Res. (JAIR) 26: 1-34 (2006)

Zygmunt J. Haas, Joseph Y. Halpern, Li Li: Gossip-based ad hoc routing. IEEE/ACM Trans. Netw. 14(3): 479-491 (2006)

Joseph Y. Halpern, Leandro Chaves Rêgo: Extensive games with possibly unaware players. AAMAS 2006: 744-751

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about Knowledge of Unawareness. KR 2006: 6-13

Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Redoing the Foundations of Decision Theory. KR 2006: 14-24

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

Joseph Y. Halpern: From statistical knowledge bases to degrees of belief: an overview. PODS 2006: 110-113

Joseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. QEST 2006: 3-8

Eric J. Friedman, Joseph Y. Halpern, Ian A. Kash: Efficiency and nash equilibria in a scrip system for P2P networks. ACM Conference on Electronic Commerce 2006: 140-149

Joseph Y. Halpern, Sabina Petride: A Knowledge-Based Analysis of Global Function Computation. DISC 2006: 136-150

Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. CoRR abs/cs/0601034 (2006)

Joseph Y. Halpern, Leandro Chaves Rêgo: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. CoRR abs/cs/0603019 (2006)

Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning About Knowledge of Unawareness. CoRR abs/cs/0603020 (2006)

Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. CoRR abs/cs/0607146 (2006)

Joseph Y. Halpern, Sabina Petride: Expressing Security Properties Using Selective Interleaving Functions. CoRR abs/cs/0608022 (2006)

Joseph Y. Halpern: Using Sets of Probability Measures to Represent Uncertainty. CoRR abs/cs/0608028 (2006)

Joseph Y. Halpern, Vanessa Teague: Rational Secret Sharing and Multiparty Computation: Extended Abstract. CoRR abs/cs/0609035 (2006)

Joseph Y. Halpern, Yoram Moses: Characterizing Solution Concepts in Games Using Knowledge-Based Programs. CoRR abs/cs/0610098 (2006)

Joseph Y. Halpern: Reasoning about uncertainty. MIT Press 2005, isbn 978-0-262-58259-9, pp. I-XIV, 1-483

Joseph Y. Halpern, Aleta Ricciardi: A knowledge-theoretic analysis of uniform distributed coordination and failure detectors. Distributed Computing 17(3): 223-236 (2005)

Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and information hiding in multiagent systems. Journal of Computer Security 13(3): 483-512 (2005)

Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. Logical Methods in Computer Science 1(3) (2005)

Li 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)

Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive unawareness revisited. TARK 2005: 78-91

Joseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods. UAI 2005: 243-250

Joseph Y. Halpern, Riccardo Pucella: Probabilistic Algorithmic Knowledge. CoRR abs/cs/0503018 (2005)

Joseph Y. Halpern, Leandro Chaves Rêgo: Interactive Unawareness Revisited. CoRR abs/cs/0509058 (2005)

Joseph Y. Halpern, Riccardo Pucella: Evidence with Uncertain Likelihoods. CoRR abs/cs/0510079 (2005)

Peter D. Grünwald, Joseph Y. Halpern: When Ignorance is Bliss. CoRR abs/cs/0510080 (2005)

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)

Joseph Y. Halpern, Yoram Moses: Using counterfactuals in knowledge-based programming. Distributed Computing 17(2): 91-106 (2004)

Joseph Y. Halpern, Richard A. Shore: Reasoning about common knowledge with infinitely many agents. Inf. Comput. 191(1): 1-40 (2004)

Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. J. Artif. Intell. Res. (JAIR) 21: 319-356 (2004)

Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004)

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)

Li Li, Joseph Y. Halpern: A minimum-energy path-preserving topology-control algorithm. IEEE Transactions on Wireless Communications 3(3): 910-921 (2004)

Joseph Y. Halpern, Vicky Weissman: A Formal Foundation for XrML. CSFW 2004: 251-

Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. KR 2004: 12-22

Joseph Y. Halpern: Intransitivity and Vagueness. KR 2004: 121-129

Mark Bickford, Robert L. Constable, Joseph Y. Halpern, Sabina Petride: Knowledge-Based Synthesis of Distributed Systems Using Event Structures. LPAR 2004: 449-465

Magnús M. Halldórsson, Joseph Y. Halpern, Erran L. Li, Vahab S. Mirrokni: On spectrum sharing games. PODC 2004: 107-114

Joseph Y. Halpern, Vanessa Teague: Rational secret sharing and multiparty computation: extended abstract. STOC 2004: 623-632

Peter Grünwald, Joseph Y. Halpern: When Ignorance is Bliss. UAI 2004: 226-234

David Maxwell Chickering, Joseph Y. Halpern (Eds.): 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

Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. CoRR cs.AI/0405098 (2004)

Joseph Y. Halpern: Intransitivity and Vagueness. CoRR cs.AI/0410049 (2004)

Joseph Y. Halpern: Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. CoRR cs.AI/0410050 (2004)

Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems. CoRR cs.CR/0402042 (2004)

Joseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. CoRR cs.DC/0402012 (2004)

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. Logic 121(2-3): 281-283 (2003)

Joseph Y. Halpern: A computer scientist looks at game theory. Games and Economic Behavior 45(1): 114-131 (2003)

Joseph Y. Halpern: JACM's 50th anniversary. J. ACM 50(1): 3-7 (2003)

Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. J. Artif. Intell. Res. (JAIR) 19: 243-278 (2003)

Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. Journal of Computer Security 11(4): 581-614 (2003)

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)

Erich Grädel, Joseph Y. Halpern, Radha Jagadeesan, Adolfo Piperno: LICS 2001 special issue. ACM Trans. Comput. Log. 4(3): 295 (2003)

Joseph Y. Halpern, Kevin R. O'Neill: Anonymity and Information Hiding in Multiagent Systems. CSFW 2003: 75-88

Joseph Y. Halpern, Vicky Weissman: Using First-Order Logic to Reason about Policies. CSFW 2003: 187-201

Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153

Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility. IJCAI 2003: 291-296

Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. IJCAI 2003: 297-302

Joseph Y. Halpern, Riccardo Pucella: Probabilistic algorithmic knowledge. TARK 2003: 118-130

Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Evidence. UAI 2003: 297-304

Joseph Y. Halpern, Moshe Tennenholtz (Eds.): 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

Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. CoRR cs.AI/0306124 (2003)

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: From Statistical Knowledge Bases to Degrees of Belief. CoRR cs.AI/0307056 (2003)

Joseph Y. Halpern, Riccardo Pucella: A logic for reasoning about upper probabilities. CoRR cs.AI/0307069 (2003)

Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations. CoRR cs.AI/0307070 (2003)

Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revisions and Update. CoRR cs.AI/0307071 (2003)

Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part I: On the Customizability of Generalized Expected Utility. CoRR cs.AI/0311026 (2003)

Francis C. Chu, Joseph Y. Halpern: Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. CoRR cs.AI/0311027 (2003)

Joseph Y. Halpern, Riccardo Pucella: Reasoning About Expectation. CoRR cs.AI/0312037 (2003)

Hana Chockler, Joseph Y. Halpern: Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003)

Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. CoRR cs.AI/0312048 (2003)

Joseph Y. Halpern, Riccardo Pucella: On the Relationship between Strand Spaces and Multi-Agent Systems. CoRR cs.CR/0306107 (2003)

Kevin R. O'Neill, Joseph Y. Halpern: Secrecy in Multiagent Systems. CoRR cs.CR/0307057 (2003)

Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. CoRR cs.DC/0311028 (2003)

Joseph Y. Halpern: Lexicographic probability, conditional probability, and nonstandard probability. CoRR cs.GT/0306106 (2003)

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (2003)

Joseph Y. Halpern: Update: Time to publication statistics. J. ACM 49(6): 715 (2002)

Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. J. Artif. Intell. Res. (JAIR) 17: 57-81 (2002)

Joseph Y. Halpern: Characterizing the Common Prior Assumption. J. Economic Theory 106(2): 316-355 (2002)

Joseph Y. Halpern, Kevin R. O'Neill: Secrecy in Multiagent Systems. CSFW 2002: 32-

Joseph Y. Halpern, Riccardo Pucella: Modeling Adversaries in a Logic for Security Protocol Analysis. FASec 2002: 115-132

Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip-based ad hoc routing. INFOCOM 2002

Francis C. Chu, Joseph Y. Halpern, Johannes Gehrke: Least Expected Cost Query Optimization: What Can We Expect? PODS 2002: 293-302

Peter Grünwald, Joseph Y. Halpern: Updating Probabilities. UAI 2002: 187-196

Joseph Y. Halpern, Riccardo Pucella: Reasoning about Expectation. UAI 2002: 207-215

Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach. Part II: Explanations. CoRR cs.AI/0208034 (2002)

Joseph Y. Halpern, Ron van der Meyden: A logical reconstruction of SPKI. CoRR cs.CR/0208028 (2002)

Joseph Y. Halpern: A computer scientist looks at game theory. CoRR cs.GT/0201016 (2002)

Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi: Complete Axiomatizations for Reasoning About Knowledge and Time. CoRR cs.LO/0208033 (2002)

Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li: Gossip Based Ad-Hoc Routing. CoRR cs.NI/0209011 (2002)

Erran L. 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)

Erran L. Li, Joseph Y. Halpern: Minimum-Energy Mobile Wireless Networks Revisited. CoRR cs.NI/0209013 (2002)

Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu: On the unusual effectiveness of logic in computer science. Bulletin of Symbolic Logic 7(2): 213-236 (2001)

Francis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery. Distributed Computing 14(1): 1-16 (2001)

Joseph Y. Halpern: Alternative Semantics for Unawareness. Games and Economic Behavior 37(2): 321-339 (2001)

Joseph Y. Halpern: Substantive Rationality and Backward Induction. Games and Economic Behavior 37(2): 425-435 (2001)

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)

Nir Friedman, Joseph Y. Halpern: Plausibility measures and default reasoning. J. ACM 48(4): 648-685 (2001)

Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. J. Artif. Intell. Res. (JAIR) 14: 359-389 (2001)

Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. Journal of Computer Security 9(1/2): 105-142 (2001)

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001)

Joseph Y. Halpern, Yoram Moses, Orli Waarts: A Characterization of Eventual Byzantine Agreement. SIAM J. Comput. 31(3): 838-865 (2001)

Joseph Y. Halpern, Riccardo Pucella: On the relationship between strand spaces and multi-agent systems. ACM Conference on Computer and Communications Security 2001: 106-115

Joseph Y. Halpern, Ron van der Meyden: A Logical Reconstruction of SPKI. CSFW 2001: 59-

Li Li, Joseph Y. Halpern: Minimum-energy mobile wireless networks revisited. ICC 2001: 278-283

Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach - Part II: Explanations. IJCAI 2001: 27-34

Joseph Y. Halpern: Plausibility Measures: A General Approach For Representing Uncertainty. IJCAI 2001: 1474-1483

Erran L. 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

Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach: Part 1: Causes. UAI 2001: 194-202

Joseph Y. Halpern, Riccardo Pucella: A Logic for Reasoning about Upper Probabilities. UAI 2001: 203-210

Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. CoRR cs.AI/0103020 (2001)

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)

Joseph Y. Halpern: A note on knowledge-based programs and specifications. Distributed Computing 13(3): 145-153 (2000)

Joseph Y. Halpern: Editorial: a bill of rights and responsibilities. J. ACM 47(5): 823-825 (2000)

Joseph Y. Halpern: Axiomatizing Causal Reasoning. J. Artif. Intell. Res. (JAIR) 12: 317-337 (2000)

Joseph Y. Halpern: CoRR: a computing research repository. ACM Journal of Computer Documentation 24(2): 41-48 (2000)

Joseph Y. Halpern: A response to the commentaries on CoRR. ACM Journal of Computer Documentation 24(2): 72-77 (2000)

Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-order conditional logic for default reasoning revisited. ACM Trans. Comput. Log. 1(2): 175-207 (2000)

Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A decision-theoretic approach to resource allocation in wireless multimedia networks. DIAL-M 2000: 86-95

Joseph Y. Halpern: Degrees of Belief, Random Worlds, and Maximum Entropy. Discovery Science 2000: 15-16

Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. UAI 2000: 247-255

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. CoRR cs.AI/0001015 (2000)

Joseph Y. Halpern: Axiomatizing Causal Reasoning. CoRR cs.AI/0005030 (2000)

Joseph Y. Halpern: Conditional Plausibility Measures and Bayesian Networks. CoRR cs.AI/0005031 (2000)

Joseph Y. Halpern, Judea Pearl: Causes and Explanations: A Structural-Model Approach, Part I: Causes. CoRR cs.AI/0011012 (2000)

Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CoRR cs.CR/0001026 (2000)

Joseph Y. Halpern: A note on knowledge-based programs and specifications. CoRR cs.DC/0003058 (2000)

Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing work efficiently in the presence of faults. CoRR cs.DC/0006008 (2000)

Joseph Y. Halpern, Yoram Moses: Knowledge and common knowledge in a distributed environment. CoRR cs.DC/0006009 (2000)

Joseph Y. Halpern: CoRR: A Computing Research Repository. CoRR cs.DL/0005003 (2000)

Joseph Y. Halpern: A response to the commentaries on CoRR. CoRR cs.DL/0005004 (2000)

Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li, Stephen B. Wicker: A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks. CoRR cs.NI/0006037 (2000)

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)

Joseph Y. Halpern: Set-theoretic completeness for epistemic and conditional logic. Ann. Math. Artif. Intell. 26(1-4): 1-27 (1999)

Joseph Y. Halpern: Errata: "The relationship between knowledge, belief, and certainty". Ann. Math. Artif. Intell. 26(1-4): 253-256 (1999)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. Ann. Pure Appl. Logic 96(1-3): 89-105 (1999)

Joseph Y. Halpern: Hypothetical knowledge and counterfactual reasoning. Int. J. Game Theory 28(3): 315-330 (1999)

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)

Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. J. Artif. Intell. Res. (JAIR) 10: 67-85 (1999)

Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update. J. Artif. Intell. Res. (JAIR) 10: 117-167 (1999)

Joseph Y. Halpern: Cox's Theorem Revisited (technical addendum). J. Artif. Intell. Res. (JAIR) 11: 429-435 (1999)

Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. Journal of Logic, Language and Information 8(4): 401-420 (1999)

Joseph Y. Halpern, Ron van der Meyden: A Logic for SDSI's Linked Local Name Spaces. CSFW 1999: 111-122

Joseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. ACM DL 1999: 3-11

Joseph Y. Halpern, Nir Friedman: Plausibility Measures and Default Reasoning: An Overview. LICS 1999: 130-135

Joseph Y. Halpern, Richard A. Shore: Reasoning about Common Knowledge with Infinitely Many Agents. LICS 1999: 384-393

Joseph Y. Halpern, Aleta Ricciardi: A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors. PODC 1999: 73-82

Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least Expected Cost Query Optimization: An Exercise in Utility. PODS 1999: 138-147

Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part II: Revision and Update. CoRR cs.AI/9903016 (1999)

Joseph Y. Halpern: Cox's Theorem Revisited. CoRR cs.AI/9911012 (1999)

Francis C. Chu, Joseph Y. Halpern, Praveen Seshadri: Least expected cost query optimization: an exercise in utility. CoRR cs.DB/9909016 (1999)

Francis C. Chu, Joseph Y. Halpern: A decision-theoretic approach to reliable message delivery. CoRR cs.DC/9909015 (1999)

Joseph Y. Halpern, Richard A. Shore: Reasoning About Common Knowledge with Infinitely Many Agents. CoRR cs.LO/9909014 (1999)

Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham: On the Knowledge Requirements of Tasks. Artif. Intell. 98(1-2): 317-349 (1998)

Joseph Y. Halpern: A Computing Research Repository. D-Lib Magazine 4(11) (1998)

Joseph Y. Halpern: Time to Publication: A Progress Report. J. ACM 45(3): 379-380 (1998)

Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. SIAM J. Comput. 27(5): 1457-1491 (1998)

Craig Boutilier, Nir Friedman, Joseph Y. Halpern: Belief Revision with Unreliable Observations. AAAI/IAAI 1998: 127-134

Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. ICMAS 1998: 6-7

Joseph Y. Halpern: Hypothetical Knowledge and Counterfactual Reasoning. TARK 1998: 83-96

Joseph Y. Halpern, Yoram Moses: Using Counterfactuals in Knowledge-Based Programming. TARK 1998: 97-110

Joseph Y. Halpern: Characterizing the Common Prior Assumption. TARK 1998: 133-146

Adam J. Grove, Joseph Y. Halpern: Updating Sets of Probabilities. UAI 1998: 173-182

Joseph Y. Halpern: Axiomatizing Causal Reasoning. UAI 1998: 202-210

Francis C. Chu, Joseph Y. Halpern: A Decision-Theoretic Approach to Reliable Message Delivery. DISC 1998: 89-103

Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited. CoRR cs.AI/9808005 (1998)

Joseph Y. Halpern: Set-Theoretic Completeness for Epistemic and Conditional Logic. CoRR cs.AI/9808006 (1998)

Nir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning. CoRR cs.AI/9808007 (1998)

Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors and Effectors in the Situation Calculus. CoRR cs.AI/9809013 (1998)

Joseph Y. Halpern, Carl Lagoze: The Computing Research Repository: Promoting the Rapid Dissemination and Archiving of Computer Science Research. CoRR cs.DL/9812020 (1998)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common knowledge revisited. CoRR cs.LO/9809003 (1998)

Nir Friedman, Joseph Y. Halpern: Modeling Belief in Dynamic Systems, Part I: Foundations. Artif. Intell. 95(2): 257-316 (1997)

Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Computational Intelligence 13(1): 144-163 (1997)

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. Distributed Computing 10(4): 199-225 (1997)

Joseph Y. Halpern: On becoming editor-in-chief of JACM. J. ACM 44(3): 363-365 (1997)

Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Structures. J. Artif. Intell. Res. (JAIR) 7: 1-24 (1997)

Joseph Y. Halpern: A Theory of Knowledge and Ignorance for Many Agents. J. Log. Comput. 7(1): 79-108 (1997)

Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty (invited talk). SCAI 1997

Urszula Chajewska, Joseph Y. Halpern: Defining Explanation in Probabilistic Systems. UAI 1997: 62-71

Adam J. Grove, Joseph Y. Halpern: Probability Update: Conditioning vs. Cross-Entropy. UAI 1997: 208-214

Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures. CoRR cs.AI/9707103 (1997)

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)

Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Non-Unary Case. J. Symb. Log. 61(1): 250-276 (1996)

Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities: The Unary Case. SIAM J. Comput. 25(1): 1-51 (1996)

Daphne Koller, Joseph Y. Halpern: Irrelevance and Conditioning in First-Order Probabilistic Logic. AAAI/IAAI, Vol. 1 1996: 569-576

Nir Friedman, Joseph Y. Halpern: Plausibility Measures and Default Reasoning. AAAI/IAAI, Vol. 2 1996: 1297-1304

Nir Friedman, Joseph Y. Halpern, Daphne Koller: First-Order Conditional Logic Revisited. AAAI/IAAI, Vol. 2 1996: 1305-1312

Joseph Y. Halpern: A Counterexample to Theorems of Cox and Fine. AAAI/IAAI, Vol. 2 1996: 1313-1319

Joseph Y. Halpern: Using Multi-Agent Systems to Represent Uncertainty. AAAI/IAAI, Vol. 2 1996: 1329-1330

Nir Friedman, Joseph Y. Halpern: Belief Revision: A Critique. KR 1996: 421-431

Joseph Y. Halpern: On Ambiguities in the Interpretation of Game Trees. TARK 1996: 77-96

Joseph Y. Halpern, Gerhard Lakemeyer: Multi-Agent Only Knowing. TARK 1996: 251-265

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Common Knowledge Revisited. TARK 1996: 283-298

Nir Friedman, Joseph Y. Halpern: A Qualitative Markov Assumption and Its Implications for Belief Change. UAI 1996: 263-273

Joseph Y. Halpern: Defining Relative Likelihood in Partially-Ordered Preferential Structures. UAI 1996: 299-306

Joseph Y. Halpern, Gerhard Lakemeyer: Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995)

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)

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Nonstandard Approach to the Logical Omniscience Problem. Artif. Intell. 79(2): 203-240 (1995)

Joseph Y. Halpern, Edward L. Wimmers: Full Abstraction and Expressive Completeness for FP. Inf. Comput. 118(2): 246-271 (1995)

Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong: Dynamic Fault-Tolerant Clock Synchronization. J. ACM 42(1): 143-185 (1995)

Joseph Y. Halpern, Daphne Koller: Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861

Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Knowledge-Based Programs. PODC 1995: 153-163

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

Nir Friedman, Joseph Y. Halpern: Plausibility Measures: A User's Guide. UAI 1995: 175-184

Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. Ann. Pure Appl. Logic 69(2-3): 157-193 (1994)

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: A Response to "Believing on the Basis of the Evidence". Computational Intelligence 10: 21-25 (1994)

Martín Abadi, Joseph Y. Halpern: Decidability and Expressiveness for First-Order Logics of Probability. Inf. Comput. 112(1): 1-36 (1994)

Ronald Fagin, Joseph Y. Halpern: Reasoning About Knowledge and Probability. J. ACM 41(2): 340-367 (1994)

Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy. J. Artif. Intell. Res. (JAIR) 2: 33-88 (1994)

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Forming Beliefs about a Changing World. AAAI 1994: 222-229

Nir Friedman, Joseph Y. Halpern: Conditional Logics of Belief Change. AAAI 1994: 915-921

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: An Operational Semantics for Knowledge Bases. AAAI 1994: 1142-1147

Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. KR 1994: 190-201

Nir Friedman, Joseph Y. Halpern: On the Complexity of Conditional Logics. KR 1994: 202-213

Nir Friedman, Joseph Y. Halpern: A Knowledge-Based Framework for Belief change, Part I: Foundations. TARK 1994: 44-64

Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi: Algorithmic Knowledge. TARK 1994: 255-266

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating New Beliefs from Old. UAI 1994: 37-45

Joseph Y. Halpern, Mark R. Tuttle: Knowledge, Probability, and Adversaries. J. ACM 40(4): 917-962 (1993)

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)

Vassos Hadzilacos, Joseph Y. Halpern: Message-Optimal Protocols for Byzantine Agreement. Mathematical Systems Theory 26(1): 41-102 (1993)

Vassos Hadzilacos, Joseph Y. Halpern: The Failure Discovery Problem. Mathematical Systems Theory 26(1): 103-129 (1993)

Joseph Y. Halpern: Reasoning about only Knowing with Many Agents. AAAI 1993: 655-661

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Generating Degrees of Belief from Statistical Information: An Overview. FSTTCS 1993: 318-325

Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Statistical Foundations for Default Reasoning. IJCAI 1993: 563-569

Joseph Y. Halpern: A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing. Kurt Gödel Colloquium 1993: 43-60

Joseph Y. Halpern, Ronald Fagin: Two Views of Belief: Belief as Generalized Probability and Belief as Evidence. Artif. Intell. 54(2): 275-317 (1992)

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)

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)

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)

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: What Is an Inference Rule? J. Symb. Log. 57(3): 1018-1045 (1992)

Fahiem Bacchus, Adam J. Grove, Daphne Koller, Joseph Y. Halpern: From Statistics to Beliefs. AAAI 1992: 602-608

Daphne Koller, Joseph Y. Halpern: A Logic for Approximate Reasoning. KR 1992: 153-164

Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Random Worlds and Maximum Entropy. LICS 1992: 22-33

Joseph Y. Halpern, Bruce M. Kapron: Zero-One Laws for Modal Logic. LICS 1992: 369-380

Cynthia Dwork, Joseph Y. Halpern, Orli Waarts: Performing Work Efficiently in the Presence of Faults. PODC 1992: 91-102

Adam J. Grove, Joseph Y. Halpern, Daphne Koller: Asymptotic Conditional Probabilities for First-Order Logic. STOC 1992: 294-305

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

Joseph Y. Halpern: The relationship between knowledge, belief and certainty. Ann. Math. Artif. Intell. 4: 301-322 (1991)

Ronald Fagin, Joseph Y. Halpern: Uncertainty, belief, and probability. Computational Intelligence 7: 160-173 (1991)

Joseph Y. Halpern, Ichiro Suzuki: Clock Synchronization and the Power of Broadcasting. Distributed Computing 5: 73-82 (1991)

Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi: A Model-Theoretic Analysis of Knowledge. J. ACM 38(2): 382-428 (1991)