Joseph Y. Halpern

1. Causes and Explanations: A Structural-Model Approach. Part I: Causes
   2005/11/09 by Joseph Y. Halpern, Judea Pearl · 47 citations
   Computer Science · Mathematics · Arts and Humanities · #Bayesian Modeling and Causal Inference #Advanced Causal Inference Techniques #Philosophy and History of Science
2. “Sometimes” and “not never” revisited
   1986/01/02 by E. Allen Emerson, Joseph Y. Halpern · 21 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #semigroups and automata theory
3. Causes and Explanations: A Structural-Model Approach. Part II: Explanations
   2005/11/09 by Joseph Y. Halpern, Judea Pearl · 17 citations
   Computer Science · Mathematics · #Bayesian Modeling and Causal Inference #Advanced Causal Inference Techniques
4. Abstracting Causal Models
   2018/12/10 by Sander Beckers, Joseph Y. Halpern, Beckers, Sander +1 · 18 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #Machine Learning and Algorithms
5. Responsibility and blame: a structural-model approach
   2003/12/17 by Hana Chockler, Joseph Y. Halpern, Chockler, Hana +1 · 8 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.1 #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
6. Knowledge and common knowledge in a distributed environment
   2000/06/02 by Joseph Y. Halpern, Yoram Moses · 5 citations
   Computer Science · #cs.DC #cs.AI
7. Algorithmic rationality: Game theory with costly computation
   2014/05/14 by Joseph Y. Halpern, Rafael Pass · 9 citations
   Social Sciences · Decision Sciences · #Experimental Behavioral Economics Studies #Game Theory and Applications #Decision-Making and Behavioral Economics
8. On the possibility and impossibility of achieving clock synchronization
   1986/04/01 by Danny Dolev, Joseph Y. Halpern, H.Raymond Strong +1 · 3 citations
   Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Interconnection Networks and Systems
9. Axiomatizing Causal Reasoning
   2000/05/30 by Joseph Y. Halpern · 3 citations
   Computer Science · #cs.AI #cs.LO
10. Complete Axiomatizations for Reasoning About Knowledge and Time
    2002/08/20 by Joseph Y. Halpern, Ron van der Meyden, Halpern, Joseph Y. +3 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
11. Interactive Unawareness Revisited
    2005/09/19 by Joseph Y. Halpern, Leandro Chaves Rêgo, Halpern, Joseph Y. +1 · 4 citations
    Computer Science · Decision Sciences · Arts and Humanities · #Logic, Reasoning, and Knowledge #Game Theory and Applications #Epistemology, Ethics, and Metaphysics
12. An analysis of first-order logics of probability
    1990/12/01 by Joseph Y. Halpern · 3 citations
    Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Bayesian Modeling and Causal Inference
13. A New Approach to Updating Beliefs
    2013/03/27 by Ronald Fagin, Joseph Y. Halpern, Fagin, Ronald +1 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
14. Reasoning about Noisy Sensors and Effectors in the Situation Calculus
    1998/09/09 by Fahiem Bacchus, Joseph Y. Halpern, Bacchus, Fahiem +3 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #cs.AI #cs.LO
15. Updating Probabilities
    2003/06/23 by Peter D. Grunwald, Grunwald, Peter D., Joseph Y. Halpern +1 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #cs.AI
16. Secrecy in Multiagent Systems
    2003/07/24 by Kevin O’Neill, Kevin R. O'Neill, Joseph Y. Halpern +2 · 2 citations
    Computer Science · Engineering · #Blockchain Technology Applications and Security #Computability, Logic, AI Algorithms #Cryptography and Security (cs.CR) #D.4.6 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Smart Grid Security and Resilience #cs.CR #cs.LO
17. Rational Secret Sharing and Multiparty Computation: Extended Abstract
    2006/09/07 by Joseph Y. Halpern, Vanessa Teague, Halpern, Joseph Y. +1 · 2 citations
    Computer Science · #Cryptography and Data Security #Privacy-Preserving Technologies in Data #Complexity and Algorithms in Graphs
18. Reasoning About Knowledge of Unawareness Revisited
    2009/06/23 by Joseph Y. Halpern, Leandro Chaves Rêgo, Halpern, Joseph Y. +1 · 2 citations
    Computer Science · Decision Sciences · Economics, Econometrics and Finance · #Artificial Intelligence (cs.AI) #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Voting Systems #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
19. Cooperative Equilibrium: A solution predicting cooperative play
    2014/12/21 by Nan Rong, Joseph Y. Halpern, Rong, Nan +1 · 2 citations
    Social Sciences · Decision Sciences · Economics, Econometrics and Finance · #Experimental Behavioral Economics Studies #Game Theory and Applications #Game Theory and Voting Systems
20. Worst-Case Background Knowledge for Privacy-Preserving Data Publishing
    2007/05/19 by David Martín, Martin, David J., Daniel Kifer +7 · 2 citations
    Computer Science · Social Sciences · #Access Control and Trust #Cryptography and Data Security #Databases (cs.DB) #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data
21. On the NP-completeness of Finding an Optimal Strategy in Games with Common Payoffs
    2001/03/27 by Francis C. Chu, Francis Chu, Joseph Y. Halpern +2 · 1 citation
    Computer Science · Engineering · #Advanced Research in Systems and Signal Processing #Computational Complexity (cs.CC) #Computer Science and Game Theory (cs.GT) #D.1.3 #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.CC #cs.DC #cs.GT
22. Using Counterfactuals in Knowledge-Based Programming
    2003/11/20 by Joseph Y. Halpern, Yoram Moses, Halpern, Joseph Y. +1 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #C.2.2 #C.2.4 #Distributed #F.3.1 #F.4.1 #FOS: Computer and information sciences #I.2.4 #Parallel #and Cluster Computing (cs.DC) #cs.AI #cs.DC
23. Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
    2004/10/19 by Joseph Y. Halpern, Halpern, Joseph Y. · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Cellular Automata and Applications #Computability, Logic, AI Algorithms #Distributed systems and fault tolerance #FOS: Computer and information sciences #cs.AI
24. Reasoning About Knowledge of Unawareness
    2006/03/05 by Joseph Y. Halpern, Leandro Chaves Rêgo, halpern, Joseph Y. +1 · 2 citations
    Computer Science · Social Sciences · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Access Control and Trust
25. Lower Bounds on Implementing Robust and Resilient Mediators
    2007/04/27 by Ittai Abraham, Danny Dolev, Abraham, Ittai +3 · 1 citation
    Computer Science · Decision Sciences · #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #Cryptography and Data Security #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Game Theory and Applications #Parallel #and Cluster Computing (cs.DC)
26. Plausibility Measures: A User's Guide
    2013/02/20 by Nir Friedman, Joseph Y. Halpern, Friedman, Nir +1 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #AI-based Problem Solving and Planning
27. Graded Causation and Defaults
    2013/09/05 by Joseph Y. Halpern, Christopher Hitchcock, Halpern, Joseph Y. +1 · 1 citation
    Arts and Humanities · Psychology · #Artificial Intelligence (cs.AI) #Epistemology, Ethics, and Metaphysics #FOS: Computer and information sciences #Philosophy and History of Science #Philosophy and Theoretical Science
28. The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior
    2021/12/26 by Joseph Y. Halpern, Arnon Lotem, Halpern, Joseph Y. +1 · 1 voice
    Biochemistry, Genetics and Molecular Biology · Computer Science · Neuroscience · #Artificial Intelligence (cs.AI) #Evolutionary Algorithms and Applications #FOS: Biological sciences #FOS: Computer and information sciences #Neural dynamics and brain function #Populations and Evolution (q-bio.PE) #Reinforcement Learning in Robotics #cs.AI #q-bio.PE
29. Communication games, sequential equilibrium, and mediators
    2023/09/26 by Ivan Geffner, Geffner, Ivan, Joseph Y. Halpern +1 · 2 citations
    Decision Sciences · Economics, Econometrics and Finance · #91A27 (Secondary) #91A28 (Primary) 91A18 #Auction Theory and Applications #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Game Theory and Applications #Game Theory and Voting Systems
30. Intervention and Conditioning in Causal Bayesian Networks
    2024/05/23 by Sainyam Galhotra, Galhotra, Sainyam, Joseph Y. Halpern +1 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning (cs.LG)
31. Security Properties as Nested Causal Statements
    2021/04/02 by Matvey Soloviev, Soloviev, Matvey, Joseph Y. Halpern +1 · 1 citation
    Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #D.4.6 #FOS: Computer and information sciences #I.2.4 #Information and Cyber Security #Logic in Computer Science (cs.LO) #Security and Verification in Computing
32. Optimal Eventual Byzantine Agreement Protocols with Omission Failures
    2023/05/10 by Kaya Alpturer, Joseph Y. Halpern, Alpturer, Kaya +3 · 2 citations
    Computer Science · #Cryptography and Data Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Parallel #and Cluster Computing (cs.DC)