# Joseph Halpern

American computer scientist

## Joseph Halpern's AcademicInfluence.com Rankings

## Download Badge

Computer Science

## Joseph Halpern's Degrees

- Bachelors Mathematics Yeshiva University

## Similar Degrees You Can Earn

## Why Is Joseph Halpern Influential?

(Suggest an Edit or Addition)According to Wikipedia, Joseph Yehuda Halpern is an Israeli-American professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty. Biography Halpern graduated in 1975 from University of Toronto with a B.S. in mathematics. He went on to earn a Ph.D. in mathematics from Harvard University in 1981 under the supervision of Albert R. Meyer and Gerald Sacks. He has written three books, Actual Causality, Reasoning about Uncertainty, and Reasoning About Knowledge and is a winner of the 1997 Gödel Prize in theoretical computer science and the 2009 Dijkstra Prize in distributed computing.

## Joseph Halpern's Published Works

### Published Works

- Reasoning about uncertainty (2003) (1230)
- Gossip-based ad hoc routing (2002) (1205)
- “Sometimes” and “not never” revisited: on branching versus linear time temporal logic (1986) (1103)
- Knowledge and common knowledge in a distributed environment (1984) (1018)
- A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief (1992) (945)
- Belief, Awareness, and Limited Reasoning. (1987) (886)
- An Analysis of First-Order Logics of Probability (1989) (730)
- Causes and Explanations: A Structural-Model Approach. Part I: Causes (2000) (716)
- Decision procedures and expressiveness in the temporal logic of branching time (1982) (581)
- A logic for reasoning about probabilities (1988) (555)
- A propositional modal logic of time intervals (1991) (530)
- Reasoning about knowledge and probability (1988) (501)
- Minimum-energy mobile wireless networks revisited (2001) (499)
- Analysis of a cone-based distributed topology control algorithm for wireless multi-hop networks (2001) (487)
- Knowledge and common knowledge in a distributed environment (1990) (471)
- Causes and explanations: A structural-model approach (2000) (414)
- Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation (2006) (377)
- A cone-based distributed topology-control algorithm for wireless multi-hop networks (2005) (352)
- Rational secret sharing and multiparty computation: extended abstract (2004) (323)
- Worst-Case Background Knowledge for Privacy-Preserving Data Publishing (2007) (315)
- Two Views of Belief: Belief as Generalized Probability and Belief as Evidence (1990) (313)
- A new approach to updating beliefs (1990) (307)
- Responsibility and Blame: A Structural-Model Approach (2003) (298)
- A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft (1985) (294)
- Gossip-based ad hoc routing (2002) (288)
- The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds (1989) (281)
- The complexity of reasoning about knowledge and time (1986) (279)
- Axiomatizing Causal Reasoning (1998) (259)
- From Statistical Knowledge Bases to Degrees of Belief (1996) (249)
- Model Checking vs. Theorem Proving: A Manifesto (1991) (247)
- Causes and Explanations: A Structural-Model Approach. Part II: Explanations (2001) (241)
- Anonymity and information hiding in multiagent systems (2003) (224)
- Using first-order logic to reason about policies (2003) (217)
- Actual Causality (2016) (217)
- Towards a Theory of Knowledge and Ignorance: Preliminary Report (1989) (213)
- On the possibility and impossibility of achieving clock synchronization (1984) (213)
- Updating Probabilities (2002) (212)
- Fault-tolerant clock synchronization (1984) (198)
- Graded Causation and Defaults (2013) (195)
- Complete Axiomatizations for Reasoning about Knowledge and Time (2002) (193)
- Plausibility measures and default reasoning (1996) (193)
- A Hardware Semantics Based on Temporal Intervals (1983) (181)
- Alternative Semantics for Unawareness (2000) (160)
- Secrecy in multiagent systems (2002) (159)
- Extensive games with possibly unaware players (2006) (156)
- On spectrum sharing games (2004) (153)
- USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS (1987) (152)
- The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic (1995) (149)
- Knowledge, probability, and adversaries (1993) (146)
- A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols (1992) (142)
- Knowledge-based programs (1995) (142)
- A model-theoretic analysis of knowledge (1991) (141)
- "Sometimes" and "not never" revisited: on branching versus linear time (preliminary report) (1983) (139)
- Belief Revision: A Critique (1996) (139)
- Uncertainty, belief, and probability 1 (1991) (137)
- Reasoning About Knowledge: An Overview (1986) (135)
- No justified complaints: on fair sharing of multiple resources (2011) (124)
- A Modification of the Halpern-Pearl Definition of Causality (2015) (122)
- What can machines know?: On the properties of knowledge in distributed systems (1992) (121)
- Interactive unawareness revisited (2005) (118)
- Causality in Databases (2010) (117)
- Uncertainty, belief, and probability (1989) (117)
- A logic to reason about likelihood (1983) (116)
- Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus (1995) (113)
- A Nonstandard Approach to the Logical Omniscience Problem (1990) (111)
- Ra-tional secret sharing and multiparty computation (2004) (111)
- A formal model of knowledge, action, and communication in distributed systems: preliminary report (1985) (111)
- Reasoning about Noisy Sensors in the Situation Calculus (1995) (110)
- Random worlds and maximum entropy (1992) (109)
- A Counterexample to Theorems of Cox and Fine (1996) (108)
- Belief, Awareness, and Limited Reasoning: Preliminary Report (1985) (108)
- A Computing Research Repository (1998) (103)
- On the Unusual Effectiveness of Logic in Computer Science (2001) (103)
- Decidability and expressiveness for first-order logics of probability (1989) (102)
- Modelling knowledge and action in distributed systems (1988) (99)
- Reasoning about Noisy Sensors and Effectors in the Situation Calculus (1999) (99)
- Substantive Rationality and Backward Induction (1998) (99)
- Actual causation and the art of modeling (2011) (96)
- Iterated Regret Minimization: A New Solution Concept (2009) (95)
- Reasoning about knowledge of unawareness (2006) (94)
- A minimum-energy path-preserving topology-control algorithm (2004) (92)
- Plausibility Measures: A User's Guide (1995) (89)
- General cognitive principles for learning structure in time and space (2010) (88)
- Heuristics, Probability and Causality. A Tribute to Judea Pearl (2010) (87)
- Performing work efficiently in the presence of faults (1992) (85)
- Dynamic fault-tolerant clock synchronization (1995) (85)
- From Statistics to Beliefs (1992) (84)
- A logic for SDSI's linked local name spaces: preliminary version (1999) (84)
- Lexicographic probability, conditional probability, and nonstandard probability (2001) (84)
- Reasoning about knowledge: a survey (1995) (83)
- Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness (1982) (82)
- A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols (1987) (82)
- Efficiency and nash equilibria in a scrip system for P2P networks (2006) (82)
- Presburger arithmetic with unary predicates is Π11 complete (1991) (82)
- Defaults and Normality in Causal Structures (2008) (81)
- Modeling Belief in Dynamic Systems, Part I: Foundations (1997) (81)
- Defining Relative Likelihood in Partially-Ordered Preferential Structures (1996) (80)
- Defining Explanation in Probabilistic Systems (1997) (80)
- Optimizing scrip systems: efficiency, crashes, hoarders, and altruists (2007) (77)
- Least expected cost query optimization: an exercise in utility (1999) (76)
- Defining Relative Likelihood in Partially-Ordered Structures (1997) (76)
- The hierarchical approach to modeling knowledge and common knowledge (1999) (75)
- When Ignorance is Bliss (2004) (73)
- Statistical Foundations for Default Reasoning (1993) (72)
- Algorithmic Knowledge (1994) (71)
- What causes a system to satisfy a specification? (2003) (69)
- Handbook of epistemic logic (2015) (68)
- Modeling Adversaries in a Logic for Security Protocol Analysis (2006) (67)
- On the Complexity of Conditional Logics (1994) (67)
- Computer Science and Game Theory: A Brief Survey (2007) (66)
- A characterization of eventual Byzantine agreement (1990) (65)
- Generalized solution concepts in games with possibly unaware players (2007) (65)
- Dealing with logical omniscience: Expressiveness and pragmatics (2007) (65)
- A Logic for Reasoning about Evidence (2002) (64)
- Modeling Belief in Dynamic Systems, Part II: Revisions and Update (1999) (63)
- Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems (2004) (63)
- Lower Bounds on Implementing Robust and Resilient Mediators (2007) (62)
- Beyond Nash equilibrium: solution concepts for the 21st century (2008) (62)
- A computer scientist looks at game theory (2002) (61)
- The semantics of local storage, or what makes the free-list free?(Preliminary Report) (1984) (61)
- An almost-surely terminating polynomial protocol for asynchronous byzantine agreement with optimal resilience (2008) (61)
- Proceedings of the 20th conference on Uncertainty in artificial intelligence (2004) (60)
- Coevolution of learning and data-acquisition mechanisms: a model for cognitive evolution (2012) (59)
- Reasoning about knowledge of unawareness revisited (2009) (59)
- DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE (2009) (58)
- Distributed Protocols for Leader Election: A Game-Theoretic Perspective (2013) (58)
- Algorithmic rationality: Game theory with costly computation (2014) (58)
- A Knowledge-Based Framework for Belief change, Part I: Foundations (1994) (56)
- Cheating husbands and other stories: A case study of knowledge, action, and communication (1986) (56)
- The evolution of cognitive mechanisms in response to cultural innovations (2017) (55)
- A new look at fault tolerant network routing (1984) (55)
- Least expected cost query optimization: what can we expect? (2002) (55)
- Common Knowledge Revisited (1996) (55)
- Worst-Case Background Knowledge in Privacy (2006) (55)
- Optimal precision in the presence of uncertainty (1985) (54)
- The prepositional dynamic logic of deterministic, well-structured programs (1981) (54)
- Abstracting Causal Models (2018) (54)
- A formal foundation for XrML (2004) (52)
- On Ambiguities in the Interpretation of Game Trees (1996) (52)
- A logical reconstruction of SPKI (2001) (51)
- A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (1994) (49)
- Effect Heterogeneity and Bias in Main-Effects-Only Regression Models (2010) (49)
- Distributed computing meets game theory: combining insights from two fields (2011) (49)
- INTRANSITIVITY AND VAGUENESS (2004) (49)
- A Theory of Knowledge and Ignorance for Many Agents (1997) (49)
- A knowledge-based analysis of zero knowledge (1988) (48)
- First-order conditional logic for default reasoning revisited (2000) (48)
- A New Look at Fault-Tolerant Network Routing (1987) (47)
- Towards Formal Definitions of Blameworthiness, Intention, and Moral Responsibility (2018) (46)
- Should knowledge entail belief? (1996) (46)
- A Model-Theoretic Analysis of Knowledge: Preliminary Report (1984) (46)
- Representation Dependence in Probabilistic Inference (1995) (46)
- Message-optimal protocols for Byzantine Agreement (1993) (44)
- Naming and Identity in Epistemic Logics Part I: The Propositional Case (1993) (42)
- Game theory with translucent players (2013) (41)
- Belief Revision with Unreliable Observations (1998) (41)
- Game Theory with Costly Computation (2008) (41)
- Equations between regular terms and an application to process logic (1981) (40)
- What is an inference rule? (1990) (40)
- Updating Sets of Probabilities (1998) (39)
- From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview (1983) (39)
- Knowledge, probability, and adversaries (1989) (39)
- Conditional Plausibility Measures and Bayesian Networks (2000) (38)
- Probability Update: Conditioning vs. Cross-Entropy (1997) (38)
- Multi-agent Only Knowing (2001) (37)
- A logical characterization of iterated admissibility (2009) (37)
- The relationship between knowledge, belief, and certainty (1991) (36)
- Reasoning about common knowledge with infinitely many agents (1999) (36)
- Effective Axiomatizations of Hoare Logics (1983) (36)
- Cox's Theorem Revisited (1999) (36)
- On the relationship between strand spaces and multi-agent systems (2003) (36)
- Reasoning about only Knowing with Many Agents (1993) (36)
- Axiomatic Definitions of Programming Languages: A Theoretical Assessment (1982) (36)
- On the NP-completeness of finding an optimal strategy in games with common payoffs (2001) (35)
- Hypothetical knowledge and counterfactual reasoning (2000) (35)
- FROM CAUSAL MODELS TO COUNTERFACTUAL STRUCTURES (2010) (35)
- Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge (1986) (34)
- Characterizing the Common Prior Assumption (1998) (34)
- Game theory with costly computation: formulation and application to protocol security (2010) (34)
- Levesque's Axiomatization of only Knowing is Incomplete (1995) (33)
- Dealing with logical omniscience (2007) (33)
- Asymptotic Conditional Probabilities: The Unary Case (1996) (32)
- A Logic for Reasoning about Upper Probabilities (2001) (31)
- Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule (2003) (31)
- On the Expected Value of Games with Absentmindedness (1997) (30)
- Conditional Logics of Belief Change (1994) (30)
- The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract) (1981) (30)
- Cox's Theorem Revisited (technical addendum) (1999) (29)
- APPROPRIATE CAUSAL MODELS AND THE STABILITY OF CAUSATION (2014) (29)
- Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic (2006) (28)
- Set-theoretic completeness for epistemic and conditional logic (1998) (27)
- A Logical Approach to Reasoning about Uncertainty: A Tutorial (1998) (27)
- Translucent players: Explaining cooperative behavior in social dilemmas (2014) (26)
- Reasoning about knowledge and time in asynchronous systems (1988) (26)
- CoRR: a computing research repository (2000) (25)
- Beyond nash equilibrium: solution concepts for the 21st century (2008) (25)
- I Don't Want to Think About it Now: Decision Theory with Costly Computation (2010) (25)
- Asymptotic conditional probabilities: The non-unary case (1996) (25)
- A decision-theoretic approach to resource allocation in wireless multimedia networks (2000) (25)
- Decision Theory with Resource-Bounded Agents (2013) (24)
- Likelihood, probability, and knowledge 1 (1989) (24)
- Zero-one laws for modal logic (1992) (24)
- Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (2014) (23)
- Weighted sets of probabilities and minimax weighted expected regret: a new approach for representing uncertainty and making decisions (2012) (23)
- Reasoning About Procedures as Parameters (1983) (23)
- On effective axiomatizations of Hoare logics (1982) (23)
- What Can Machines Know? On the Epistemic Properties of Machines (1986) (23)
- The Role of Energy Subsidies (2000) (23)
- Redoing the Foundations of Decision Theory (2006) (23)
- Plausibility Measures: A General Approach For Representing Uncertainty (2001) (23)
- Irrelevance and Conditioning in First-Order Probabilistic Logic (1996) (23)
- Multiagent learning in large anonymous games (2009) (23)
- The Computational Complexity of Structure-Based Causality (2014) (22)
- Journals for certification, conferences for rapid dissemination (2011) (22)
- Theoretical Aspects of Reasoning About Knowledge Proceedings of the 1986 Conference, March 19-22, 1986, Monterey, California (1986) (22)
- Rational Consensus: Extended Abstract (2016) (22)
- Cooperative equilibrium (2010) (22)
- A knowledge-theoretic analysis of uniform distributed coordination and failure detectors (1999) (21)
- Generating New Beliefs from Old (1994) (21)
- Reasoning About Knowledge: An Overview. (1988) (21)
- Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion (2012) (21)
- The computing research repository: promoting the rapid dissemination and archiving of computer science research (1998) (21)
- Reasoning about Procedures as Parameters in the Language L4 (1989) (20)
- Causality, Responsibility and Blame in Team Plans (2017) (20)
- A good Hoare axiom system for an ALGOL-like language (1984) (20)
- On the Power of Nondeterminism in Dynamic Logic (1982) (20)
- A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium (2009) (20)
- The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge (1992) (20)
- I'm OK if you're OK: On the notion of trusting communication (1988) (19)
- Approximate Causal Abstractions (2019) (19)
- An Introduction to Logics of Knowledge and Belief (2015) (19)
- Making Decisions Using Sets of Probabilities: Updating, Time Consistency, and Calibration (2011) (18)
- Language-based Games (2013) (18)
- Knowledge-Based Synthesis of Distributed Systems Using Event Structures (2009) (18)
- Human partial reinforcement extinction effects: An information processing development from Capaldi's sequential theory. (1971) (18)
- Axiomatic definitions of programming languages: a theoretical assessment (preliminary report) (1980) (18)
- A Knowledge-Based Analysis of the Blockchain Protocol (2017) (18)
- A Qualitative Markov Assumption and Its Implications for Belief Change (1996) (17)
- Blameworthiness in Multi-Agent Settings (2019) (17)
- Great expectations: part I: on the customizability of generalized expected utility (2003) (17)
- Characterizing Solution Concepts in Games Using Knowledge-Based Programs (2006) (17)
- A Data-Acquisition Model for Learning and Cognitive Development and Its Implications for Autism (2008) (17)
- Clock synchronization and the power of broadcasting (1991) (16)
- Finite Models for Deterministic Propositional Dynamic Logic (1981) (16)
- Compact Representations of Extended Causal Models (2013) (16)
- Learning to utilize information presented over two sensory channels (1974) (16)
- Denotational semantics and rewrite rules for FP (1985) (16)
- On the Knowledge Requirements of Tasks (1998) (15)
- Likelihood, probability, and knowledge (1984) (15)
- Asymptomatic conditional probabilities for first-order logic (1992) (15)
- The Untold Story of Welfare Fraud (2008) (15)
- Algorithmic rationality: adding cost of computation to game theory (2011) (15)
- Approximate Causal Abstraction (2019) (14)
- On the Expressive Power of Dynamic Logic. II (1981) (14)
- Manipulating Scrip Systems: Sybils and Collusion (2009) (14)
- Probabilistic algorithmic knowledge (2003) (14)
- Message-optimal protocols for byzantine agreement (extended abstract) (1991) (14)
- An Equilibrium Analysis of Scrip Systems (2012) (13)
- Taken by surprise: The paradox of the surprise test revisited (1986) (13)
- First-Order Conditional Logic Revisited (1996) (13)
- Forming Beliefs about a Changing World (1994) (12)
- Iterated Regret Minimization: A More Realistic Solution Concept (2008) (12)
- Constructive Decision Theory (2009) (12)
- A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing (1993) (12)
- The truth behind the myth of the folk theorem (2013) (12)
- Reasoning about Expectation (2002) (12)
- Cause, Responsibility, and Blame: oA Structural-Model Approach (2014) (11)
- Combining Experts' Causal Judgments (2018) (11)
- A Note on Unawareness (1999) (11)
- Executing Temporal Logic Programs. (1988) (11)
- Integration of information in a visual discrimination task (1968) (11)
- Using counterfactuals in knowledge-based programming (1998) (11)
- Toward Expressive and Scalable Sponsored Search Auctions (2008) (11)
- ON DEFINABILITY IN MULTIMODAL LOGIC (2009) (10)
- A Preface to Sartre (1980) (10)
- Naming and Identity in a Multi-Agent Epistemic Logic (1991) (10)
- Sequential Equilibrium in Computational Games (2013) (10)
- An epistemic characterization of zero knowledge (2009) (10)
- Predicting responsibility judgments from dispositional inferences and causal attributions (2019) (10)
- A note on knowledge-based programs and specifications (2000) (9)
- I'm Doing as Well as I Can: Modeling People as Rational Finite Automata (2012) (9)
- From statistical knowledge bases to degrees of belief: an overview (2003) (9)
- Distributed Protocols for Leader Election (2019) (9)
- MDPs with Unawareness (2010) (9)
- Sufficient Conditions for Causality to Be Transitive (2016) (9)
- Characterizing and reasoning about probabilistic and non-probabilistic expectation (2003) (9)
- Responsibility judgments in voting scenarios (2015) (9)
- Genet, a collection of critical essays (1979) (9)
- Revisiting the Foundations of Authentication Logics (2007) (9)
- Conditional belief types (2014) (9)
- Implementing Mediators with Asynchronous Cheap Talk (2018) (9)
- A Model for Knowledge (2004) (9)
- [Small-cell lung cancer]. (1984) (8)
- Sequential Equilibrium in Games of Imperfect Recall (2016) (8)
- REASONING ABOUT KNOWLEDGE AND PROBABILITY: Preliminary Report (2004) (8)
- Learning in the Presence of Unawareness (2015) (8)
- Simultaneous and successive contrast effects in human-probability learning. (1968) (8)
- On the relationship between strand spaces and multi-agent systems (2001) (8)
- Characterizing solution concepts in terms of common knowledge of rationality (2016) (8)
- Computational Extensive-Form Games (2015) (8)
- Partial Awareness (2018) (7)
- Deterministic process logic is elementary (1982) (7)
- Cooperative Equilibrium ( Extended Abstract ) (2010) (7)
- X-ray Variability of Mrk 335 (1987) (7)
- Decentralised Norm Monitoring in Open Multi-Agent Systems: (Extended Abstract) (2016) (7)
- Updating Probability: Tracking Statistics as Criterion (2016) (7)
- A small-trials PREE with adult humans: Resistance to extinction as a function of number of N-R transitions (1971) (7)
- True Relative Completeness of an Axiom System for the Language L4 (Abridged) (1986) (7)
- Causality, Responsibility, and Blame: A Structural-Model Approach (2006) (7)
- Readmission discount factors in program evaluation (1975) (7)
- Dynamic Awareness (2020) (6)
- A logic for reasoning about ambiguity (2014) (6)
- The Failure Discovery problem (1993) (6)
- A decision-theoretic approach to reliable message delivery (1998) (6)
- Describing the Surreal (1981) (6)
- Technical Addendum Cox's Theorem Revisited (1999) (6)
- Transfer following regular and irregular sequences of events in a guessing situation (1972) (6)
- Completeness of rewrite rules and rewrite strategies for FP (1990) (6)
- Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis (2004) (6)
- Two-choice discrimination learning as a function of cue similarity and probability of reinforcement. (1967) (6)
- Secrecy and Anonymity in Interactive Systems (2006) (6)
- Ultrasoft X-rays from the southern galactic hemisphere (1977) (5)
- Plausibility measures and default reasoning: an overview (1999) (5)
- On time versus space III (1986) (5)
- Ambiguous language and common priors (2015) (5)
- Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (2018) (5)
- An Operational Semantics for Knowledge Bases (1994) (5)
- Combining the Causal Judgments of Experts with Possibly Different Focus Areas (2020) (5)
- Generalization effects in human discrimination learning with overt cue identification. (1968) (5)
- Not Just an Empty Threat: Subgame-Perfect Equilibrium in Repeated Games Played by Computationally Bounded Players (2014) (5)
- From Outcome-Based to Language-Based Preferences (2022) (5)
- Conservative belief and rationality (2013) (5)
- The effect of multiple responses and certainty estimates on the integration of visual information (1970) (5)
- Positive contrast effects as a function of method of incentive presentation. (1969) (5)
- Sequential Equilibrium and Perfect Equilibrium in Games of Imperfect Recall (2008) (5)
- Cooperative Equilibrium: A solution predicting cooperative play (2014) (5)
- Justified Belief and Rationality (2011) (4)
- MDPs with Unawareness in Robotics (2016) (4)
- Bayesian Games with Intentions (2016) (4)
- A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) (1988) (4)
- Rational Consensus (2020) (4)
- Three-stimulus two-choice auditory discrimination learning with blank trials. (1967) (4)
- A Procedural Characterization of Solution Concepts in Games (2014) (4)
- Erratum to "Zero-one laws for modal logic" [Ann. Pure Appl. Logic 69 (1994) 157-193] (2003) (4)
- Reasoning about justified belief (2011) (4)
- "Exorbitant Jurisdiction" and the Brussels Convention: Toward a Theory of Restraint (1983) (4)
- Evidence with uncertain likelihoods (2005) (4)
- Axiomatic definitions of programming languages, II (1981) (4)
- Probabilistic Algorithmic Knowledge (2005) (4)
- Ambiguous Language and Differences in Beliefs (2012) (4)
- Sensor-assisted ALOHA for wireless networks (1998) (4)
- Minimizing regret in dynamic decision problems (2015) (4)
- Cue properties of the event run in choice discrimination learning (1969) (4)
- A RESPONSE TO “BELIEVING ON THE BASIS OF THE EVIDENCE” (1994) (4)
- Incentivising Monitoring in Open Normative Systems (2017) (4)
- Reasoning About Causal Models With Infinitely Many Variables (2021) (3)
- Shared Winner Determination in Sponsored Search Auctions (2009) (3)
- A Logic for Approximate Reasoning (1992) (3)
- Cheating husbands and other stories (preliminary version): a case study of knowledge, action, and communication (1985) (3)
- Knowledge, Probability, and Adversaries (Preliminary Report) (1993) (3)
- Good Rewrite Strategies for FP (1986) (3)
- Full Abstraction and Expressive Completeness for FP (1995) (3)
- Reasoning about Knowledge: A Response by the Authors (1997) (3)
- Modelling knowledge and action in distributing systems: preliminary report (1988) (3)
- Errata: “The relationship between knowledge, belief, and certainty” (1999) (3)
- Human incentive learning as a function of reinforcement schedule and experimental paradigm (1970) (3)
- On the Adequacy of Modal Logic (1999) (3)
- Erratum for “What causes a system to satisfy a specification?” (2010) (3)
- A Game-Theoretic Analysis of Updating Sets of Probabilities (2007) (3)
- In Defense of Liquid Democracy (2021) (3)
- A Logi for Reasoning about Upper ProbabilitiesJoseph (2002) (3)
- The HP Definition of Causality (2018) (3)
- Causal Modeling With Infinitely Many Variables (2021) (3)
- Towards a deeper understanding of cooperative equilibrium: characterization and complexity (2013) (3)
- Ambiguous Language and Consensus (2013) (3)
- Reasoning about rationality (2017) (3)
- Generating Degrees of Belief from Statistical Information: An Overview (1993) (3)
- In Defense of Fluid Democracy (2021) (3)
- A knowledge-based analysis of global function computation (2006) (3)
- A Computational Game Theoretic Framework for Cryptography (2009) (3)
- Critical Fictions: The Literary Criticism of Jean-Paul Sartre (1978) (2)
- Corrigendum: “Reasoning about knowledge and probability” (1998) (2)
- From Type Spaces to Probability Frames and Back, via Language (2017) (2)
- On the Non-Existence of Nash Equilibrium in Games with Resource-Bounded Players (2015) (2)
- Utility and variability: A description of preference in the uncertain outcome choice situation. (1969) (2)
- Viewpoint: Journals for Certification, Conferences for Rapid Dissemination (2011) (2)
- Colordag: An Incentive-Compatible Blockchain (2022) (2)
- Using Sets of Probability Measures to Represent Uncertainty (2006) (2)
- Proceedings of the Twentieth Conference on Uncertainty in Artificial Intelligence (2004) (2012) (2)
- Optimizing Scrip Systems (2009) (2)
- On becoming editor-in-chief of JACM (1997) (2)
- From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (2008) (2)
- Let many flowers bloom: a response to An inquiry into computer understanding (1990) (2)
- Information Acquisition Under Resource Limitations in a Noisy Environment (2018) (2)
- Axiomatizing Rationality (2014) (2)
- Structure of line-emitting accretion disks in AGNs. (1988) (2)
- The utility of event variability in two choice probability learning (1968) (2)
- Reasoning about Conditional Probability and Concrete Security in Protocol Proofs ( Work in Progress ) (2008) (2)
- The Role of the Protocol in Anthropic Reasoning (2015) (2)
- Minimizing regret in dynamic decision problems (2015) (2)
- Maxmin weighted expected utility: a simpler characterization (2016) (2)
- An Epistemic Foundation for Authentication Logics (Extended Abstract) (2017) (2)
- Protocols and Programs (2004) (2)
- Uncertainty in artificial intelligence : proceedings of the Twentieth Conference (2004) : July 7-11, 2004, Banff, Canada (2004) (2)
- Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium (2017) (1)
- The Book of Why, Judea Pearl. Basic Books (2018) (2019) (1)
- Sartre's Enclosed Space (1979) (1)
- Two choice discrimination learning as a function of stimulus similarity along an auditory intensity dimension (1965) (1)
- A Symbolic Logic with Concrete Bounds for Cryptographic Protocols (2015) (1)
- GRB 050826: optical afterglow and host galaxy. (2006) (1)
- JACM's 50th anniversary (2003) (1)
- Constructive Decision Theory: Short Summary (2011) (1)
- Language-based Decisions (2021) (1)
- Predicting resource utilization in a comprehensive center: An evaluation of three alternative methods (1976) (1)
- Completeness and Complexity (2004) (1)
- Workload levels, program costs, and program benefits (2007) (1)
- A response to the commentaries on CoRR (2000) (1)
- Elevator Operation and Control (2010) (1)
- Time to publication: a progress report (1998) (1)
- Effect of sex of therapist and client on therapists' attitudes toward assertiveness problems. (1980) (1)
- Reasoning Under Uncertainty. (1995) (1)
- Possible GRB 051221B: MDM optical detection. (2005) (1)
- Ju n 20 03 Lexicographic probability , conditional probability , and nonstandard probability ∗ (1)
- THE EVALUATION OF A DYNAMIC VISUAL DISPLAY OF TRANSIENT UNDERWATER ACOUSTIC SIGNALS. (1969) (1)
- Small-Trials Partial Reinforcement Effects in Humans: The Role of Sequential Variables (1973) (1)
- Production of Strangeness-One Bosons in the Mass Interval 1200-1600 MeV (1972) (1)
- Prior probability variation in an information purchase task (1970) (1)
- Taking Stock (Halpern, May 1999) (1999) (1)
- The lotus-eater attack (2008) (1)
- A Causal Analysis of Harm (2022) (1)
- Weighted sets of probabilities and minimax weighted expected regret: a new approach for representing uncertainty and making decisions (2014) (1)
- Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty (2013) (1)
- Quantifying Harm (2022) (1)
- A Quantitative Account of Harm (2022) (1)
- On Definability in Multimodal Logic I. Basic Notions (2007) (1)
- Generalized solution concepts in games with possibly unaware players (2011) (1)
- Weighted Sets of Probabilities (2012) (1)
- On Definability in Multimodal Logic II. Defining Knowledge in Terms of Belief (2007) (1)
- Lower Bounds Implementing Mediators in Asynchronous Systems (2021) (1)
- On Testing for Discrimination Using Causal Models (2022) (1)
- The bottleneck may be the solution, not the problem (2016) (1)
- The brain as a probabilistic transducer: an evolutionarily plausible network architecture for knowledge representation, computation, and behavior (2021) (1)
- Libretexts: a flexible online open system for disseminating educational materials relevant to geophysics at all levels (2017) (0)
- Expressing Security Properties Using Selective Interleaving Functions (2006) (0)
- Ju l 2 02 1 In Defense of Fluid Democracy (2021) (0)
- Constructive decision theory: Decision theory with subjective states and outcomes: Invited Presentation at the Third International Symposium on Games, Automata, Logics and Formal Verification (2012) (0)
- Awareness in Games, Awareness in Logic (2010) (0)
- A Comment on "The Ecological Rationality of State-Dependent Valuation" (2016) (0)
- Solution to Exchanges 8.1 puzzle: identifying the champion (2009) (0)
- Probabilistic Dependency Graphs (2020) (0)
- Distributed Computing Meets Game Theory: Fault Tolerance and Implementation with Cheap Talk (Invited Talk) (2021) (0)
- Always Asking for Labels is Optimal (in a well-studied setting) (2021) (0)
- LICS 2001 special issue (2003) (0)
- AI for Climate Change Adaptation (2020) (0)
- Human Information Processing of Complex Visual and Acoustic Signals. (1972) (0)
- Editorial: Becoming the preferred publisher (2001) (0)
- Formulating and Reasoning about Security Policies (2004) (0)
- Scalable Winner Determination in Advertising Auctions (2007) (0)
- THE EFFECTS OF MOVEMENT-INDUCED 'NOISE' AND CUES ON PERCEPTION. (1970) (0)
- Maxmin weighted expected utility: a simpler characterization (2015) (0)
- STUDIES IN INTERSENSORY PROCESSES: EFFECTS OF TIME HISTORY VISUAL DISPLAYS ON BISENSORY INFORMATION PROCESSING (1971) (0)
- Timing Solutions for all three Anti-Magnetars (2013) (0)
- Joint Behavior and Common Belief (2023) (0)
- Foundations of Decision Making with Behavioral and Computational Constraints (2019) (0)
- Measurements of the Ultra-Soft X-ray Background (80-140 eV) (1976) (0)
- Common knowledge revisited 5 (2003) (0)
- Dexter Kozen: An Appreciation (2012) (0)
- Knowledge and Probability in Distributed Systems (Abstract) (1991) (0)
- Brief Announcement: The lotus-eater attack (2008) (0)
- Language-based games (extended abstract) (2013) (0)
- What is an inferen e rule ? (1992) (0)
- A Computer Scientist Looks at Game Theory (Author's Manuscript) (2003) (0)
- The Effects of Observer Control over Visual Information in Classification Performance. (1974) (0)
- TASK DIFFICULTY AND CHANNEL REDUNDANCY IN BISENSORY INFORMATION PROCESSING. (1970) (0)
- The Book of Why: Review (2019) (0)
- Anonymity in Multiagent Systems: A Knowledge-based Approach (2003) (0)
- Minimum-Energy Topology Control Algorithms in Ad Hoc Networks (2005) (0)
- The Mysterious, Dust-Free, X-Ray Absorber in ARP 102B (1999) (0)
- Using Multi-Agent Systems to Represent Uncertainty (invited talk) (1997) (0)
- Games With Tolerant Players (2017) (0)
- Zero-one laws for modal logic (vol 69, pg 157, 1994) (1994) (0)
- Erratum to: A nonstandard characterization of sequential equilibrium, perfect equilibrium, and proper equilibrium (2016) (0)
- Medical data-bases-telecommunications issues in the 1980s. (1980) (0)
- Is state-dependent valuation more adaptive than simpler rules? (2016) (0)
- ulti-Agent Systems to present Uncertainty* (1998) (0)
- Acknowledgement to referees (2004) (0)
- Bisensory Information Integration with Bimodal and Unimodal Transfer. (1971) (0)
- From Flaubert to Mallarme: The Knights of Nothingness (1973) (0)
- Editorial: a bill of rights and responsibilities (2000) (0)
- Ethical Issues in Artificial Intelligence (2020) (0)
- Incentive Compatible Mechanisms for Norm Monitoring (2018) (0)
- Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents (2023) (0)
- From Causal Models o Counterfactual Structures (2010) (0)
- A I ] 5 S ep 2 01 3 Graded Causation and Defaults ∗ (2013) (0)
- anThRoPic Reasoning (2015) (0)
- INTEGRATION OF INFORMATION WITH STIMULI IN CONTINUOUS MOTION. (1969) (0)
- Finding new pulsar counterparts of high-energy gamma-ray sources (2002) (0)
- GRB 021004: optical observations. (2002) (0)
- GRB 070129: MDM i-band detection. (2007) (0)
- Playing Games and Making Decisions with Complex State Spaces, Resource-Bounded Agents, and Unforeseen Contingencies (2012) (0)
- 0 Ju l 2 00 3 Modeling Belief in Dynamic Systems . Part I : Foundations Nir Friedman (2008) (0)
- Clock synchronization in a distributed computer network. (1984) (0)
- A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator (2019) (0)
- Income patterns tied to mental health treatment. (1976) (0)
- Presburger Arithmetic with Unarr Predicates is Pi11 Complete (1991) (0)
- Qualitative and Quantitative Proofs of Security Properties (2013) (0)
- Observational evidence for the binary model of X-ray bursters (1983) (0)
- Epistemology : Five Questions (2009) (0)
- Knowledge and Computation (2004) (0)
- A NOTE ON THE EXISTENCE OF RATIFIABLE ACTS (2018) (0)
- Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract) (2018) (0)
- MDPs with Unawareness , with An Application ∗ (2016) (0)
- Game theory with translucent players (2018) (0)
- L O ] 1 4 N ov 2 01 8 Partial Awareness (2018) (0)
- Viewpointfor Certification, Conferences for Rapid Dissemination (2011) (0)
- Low-regret selective sampling (2021) (0)
- Knowledge-Based Programming (2004) (0)
- Using multi-agent systems to represent uncertainty (1996) (0)
- Optimizing scrip systems: crashes, altruists, hoarders, sybils and collusion (2012) (0)
- Aspects of Knowledge and Belief-based Programming (2010) (0)
- Characterizing solution concepts in terms of common knowledge of rationality (2016) (0)
- Techniques to Increase the Lifetime of Wireless Sensor Network–A Routing Approach (2020) (0)
- 2 Runs , systems , and knowledge : a review (2018) (0)
- Completeness of rewrite strategies for FP (1990) (0)
- Causal Models with Constraints (2023) (0)
- Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003 (2003) (0)
- Probable Optical Counterpart of IGR J00234+6141 (2006) (0)
- Security Properties as Nested Causal Statements (2021) (0)
- Intransitivity and Vagueness - Corrigendum (2009) (0)
- Barriers to service in Kenya: the other side of voluntarism. (1987) (0)
- GRB 060602B: XMM-Newton survey source. (2006) (0)
- A positive contrast effect in probability learning with monetary incentives (1968) (0)
- Selected papers of the 23rd annual ACM symposium on Theory of computing (1995) (0)
- Bounded Rationality in Las Vegas: Probabilistic Finite Automata Play Multi-Armed Bandits (2020) (0)
- Software Quality and Infrastructure Protection for Diffuse Computing (2003) (0)
- Reasoning About Knowledge: A Tutorial (1988) (0)
- anThRoPic Reasoning (2015) (0)
- The effect of extended acquisition upon the replacement capacity of intertrial reinforcement (1969) (0)
- Moszkowski B. C.. Executing temporal logic programs. Cambridge University Press, Cambridge etc. 1986, xiii + 125 pp. (1988) (0)
- Belegradek, O., Verbovskiy, V. and Wagner, FO, Coset (2003) (0)
- Review: B. C. Moszkowski, Executing Temporal Logic Programs (1988) (0)
- Desire and Mask in Le Journal D'Une Femme de Chambre (1980) (0)
- A Real Time Interaction System for the Investigation of Dynamic Displays of Acoustic Signals. (1973) (0)
- Author ' s personal copy General cognitive principles for learning structure in time and space (2010) (0)
- A wledge: Freli~~na~ (1984) (0)
- Knowledge in Multi-Agent Systems (2004) (0)
- Degrees of Belief, Random Worlds, and Maximum Entropy (2000) (0)
- Optimal Precision in the Presence of Uncertainty (Preliminary Version) (1985) (0)
- Security in Asynchronous Interactive Systems (2019) (0)
- Erratum to 'A logic for reasoning about ambiguity' [Artificial Intelligence 209 (2014) 1-10] (2014) (0)
- Combining Experts’ Causal Judgments (cid:73) (2020) (0)
- Update: Time to publication statistics (2002) (0)
- Book review (2019) (0)
- Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, USA, March 1986 (1986) (0)
- GRB 060428B: MDM observations. (2006) (0)
- Nonstationary probability processes, event runs, and the development of patterned response habits (1969) (0)
- Reasoning About Authorization and Security (2008) (0)
- Common Knowledge and Agreement (2004) (0)
- Why Bother With Syntax? (2015) (0)
- Bisensory Information Processing: Discrimination as a Function of Cue Redundancy and Task Difficulty. (1971) (0)
- Independence and Bayesian Networks (2017) (0)
- Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986 (1986) (0)
- Reasoning about authorization policies (2007) (0)
- Applications of Decision Theory in Computer Systems (2003) (0)
- GRB 021004: optical decay. (2002) (0)
- Genet: A Collection of Critical Essays@@@A Genetic Approach to Structures in the Work of Jean Genet (1980) (0)
- Updating Beliefs in Incompletely Specified Situations (1997) (0)

This paper list is powered by the following services:

## Other Resources About Joseph Halpern

## What Schools Are Affiliated With Joseph Halpern?

Joseph Halpern is affiliated with the following schools: