Halpern, Joseph Y. - Department of Computer Science, Cornell University

Advanced Search

Halpern, Joseph Y. - Department of Computer Science, Cornell University

Modelling Knowledge and Action in Distributed Systems \Lambda Joseph Y. Halpern
Belief Revision with Unreliable Observations Craig Boutilier \Lambda
Computer Science and Game Theory: A Brief Survey Joseph Y. Halpern #
Journal of Artificial Intelligence Research 25 (2006) ?? Submitted 11/05; published 04/06 A Logic for Reasoning about Evidence
GossipBased Ad Hoc Routing Zygmunt J. Haas Joseph Y. Halpern Li Li
THE EFFECT OF BOUNDING THE NUMBER OF PRIMITIVE PROPOSITIONS AND THE DEPTH OF
What Causes a System to Satisfy a Specification? Hana Chockler
Towards a Theory of Knowledge and Ignorance: Preliminary Report* Joseph Y. Halpern
Journal of Artificial Intelligence Research 11 (1999) 429--435 Submitted 6/99; published 12/99 Technical Addendum
Irrelevance and Conditioning in FirstOrder Probabilistic Logic \Lambda Daphne Koller
A Nonstandard Approach to the Logical Omniscience Problem \Lambda
When Ignorance is Bliss Peter D. Gr
Axiomatizing Causal Reasoning \Lambda Joseph Y. Halpern
Common Knowledge Revisited \Lambda Ronald Fagin
Plausibility Measures and Default Reasoning Nir Friedman
Causality, Responsibility, and Blame: A StructuralModel Approach Joseph Y. Halpern
Lower Bounds on Implementing Robust and Resilient Mediators Ittai Abraham
A guide to completeness and complexity for modal logics of knowledge and belief \Lambda
A LOGICAL APPROACH TO REASONING ABOUT UNCERTAINTY
Alternative Semantics for Unawareness Joseph Y. Halpern *
On Spectrum Sharing Games us M. Halld
On the Complexity of Conditional Logics \Lambda Nir Friedman
ASYMPTOTIC CONDITIONAL PROBABILITIES: THE UNARY ADAM J. GROVE, JOSEPH Y. HALPERN, AND DAPHNE KOLLER
Dealing With Logical Omniscience Joseph Y. Halpern
Game Theory with Costly Computation Joseph Y. Halpern
Journal of Artificial Intelligence Research 7 (1997) 1--24 Submitted 2/97; published 7/97 Defining Relative Likelihood in PartiallyOrdered
A Logic for Reasoning about Probabilities \Lambda Ronald Fagin
Characterizing Solution Concepts in Games Using KnowledgeBased Programs Joseph Y. Halpern #
Optimizing Scrip Systems IAN A. KASH, ERIC J. FRIEDMAN, and JOSEPH Y. HALPERN
Distributed Computing Meets Game Theory: Robust Mechanisms for Rational Secret Sharing and
ON THE EXPECTED VALUE OF GAMES WITH ABSENTMINDEDNESS
On the Knowledge Requirements of Tasks Ronen I. Brafman
Modeling Adversaries in a Logic for Security Protocol Joseph Y. Halpern and Riccardo Pucella
A new approach to updating beliefs \Lambda Ronald Fagin
A DecisionTheoretic Approach to Reliable Message Delivery # Francis C. Chu Joseph Y. Halpern
Rational Secret Sharing and Multiparty Computation: Extended Abstract
Journal of Artificial Intelligence Research 17 (2002) 5781 Submitted 12/01; published 8/02 A Logic for Reasoning about Upper Probabilities
When Ignorance is Bliss Peter D. Grunwald
A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Zygmunt Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker
Justified Belief and Rationality Joseph Y. Halpern and Rafael Pass
From Statistical Knowledge Bases to Degrees of Belief: An Overview
Least Expected Cost Query Optimization: An Exercise in Utility
PERFORMING WORK EFFICIENTLY IN THE PRESENCE OF FAULTS \Lambda
ASYMPTOTIC CONDITIONAL PROBABILITIES: THE UNARY ADAM J. GROVE + , JOSEPH Y. HALPERN # , AND DAPHNE KOLLER
From Qualitative to Quantitative Proofs of Security Properties Using FirstOrder Conditional Logic
Journal of Artificial Intelligence Research 14 (2001) 359--389 Submitted 10/00; published 6/01 Conditional Plausibility Measures and Bayesian Networks
A THEORY OF KNOWLEDGE AND IGNORANCE FOR MANY AGENTS \Lambda
Reasoning About Knowledge: A Survey \Lambda Joseph Y. Halpern
Complete Axiomatizations for Reasoning About Knowledge and Joseph Y. Halpern +
An Analysis of FirstOrder Logics of Probability \Lambda Joseph Y. Halpern
Lexicographic probability, conditional probability, and nonstandard probability #
Lower Bounds on Implementing Robust and Resilient Mediators Ittai Abraham
On Spectrum Sharing Games Magnus M. Halldorsson
Anonymity and Information Hiding in Multiagent Systems #
Substantive Rationality and Backward Joseph Y. Halpern \Lambda
Characterizing the Common Prior Assumption \Lambda Joseph Y. Halpern
Belief Revision: A Critique \Lambda Nir Friedman
Characterizing and Reasoning about Probabilistic and NonProbabilistic Expectation
What is an inference rule? \Lambda Ronald Fagin
Asymptotic Conditional Probabilities: The Nonunary Case # Adam J. Grove
An Operational Semantics for Knowledge Bases \Lambda Ronald Fagin
Multiagent Learning in Large Anonymous Games Ian A. Kash
From Statistical Knowledge Bases to Degrees of Belief \Lambda Fahiem Bacchus
On the NPCompleteness of Finding an Optimal Strategy in Games with Common Payo#s
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic
A Knowledge-Based Analysis of Global Function Computation Joseph Y. Halpern
Using First-Order Logic to Reason about Policies Joseph Y. Halpern
Least Expected Cost Query Optimization: What Can We Expect? Francis Chu
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule
What Can Machines Know? On the Properties of Knowledge in Distributed
A Formal Foundation for XrML Joseph Y. Halpern and Vicky Weissman
Errata: ``The relationship between knowledge, belief, and certainty''
A Logical Reconstruction of SPKI Joe Halpern
Clock Synchronization and the Power of Broadcasting \Lambda Joseph Y. Halpern
The Hierarchical Approach to Modeling Knowledge and Common Knowledge \Lambda
From Statistical Knowledge Bases to Degrees of Belief: An Overview #
A Logical Characterization of Iterated Admissibility Joseph Y. Halpern and Rafael Pass
Defaults and Normality in Causal Structures Joseph Y. Halpern
Logical Methods in Computer Science Volume 00, Number 0, Pages 000000
A ConeBased Distributed TopologyControl Algorithm for Wireless MultiHop Networks #
Naming and Identity in Epistemic Logics Part I: The Propositional Case \Lambda
A Little Knowledge Goes a Long Way: Knowledgebased derivations and correctness proofs for a family
ZEROONE LAWS FOR MODAL LOGIC \Lambda Joseph Y. Halpern y
GENERATING NEW BELIEFS FROM OLD \Lambda Fahiem Bacchus
A KnowledgeBased Analysis of Zero Knowledge (Preliminary Report)
Distributed Computing Meets Game Theory: Robust Mechanisms for Rational Secret Sharing and
CoRR: A Computing Research Repository \Lambda Joseph Y. Halpern
Great Expectations. Part I: On the Customizability of Generalized Expected Utility #
DYNAMIC FAULTTOLERANT CLOCK SYNCHRONIZATION \Lambda
Model Checking vs. Theorem Proving: A Manifesto \Lambda Joseph Y. Halpern and Moshe Y. Vardi
A ModelTheoretic Analysis of Knowledge \Lambda Ronald Fagin Joseph Y. Halpern
FORMING BELIEFS ABOUT A CHANGING WORLD \Lambda Fahiem Bacchus
In Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence, Providence, Rhode Island, August 13, 1997
A Propositional Modal Logic of Time Intervals \Lambda Joseph Y. Halpern
An AlmostSurely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal
Interactive Unawareness Revisited Joseph Y. Halpern
Epistemology: Five Questions Joseph Y. Halpern
A logical reconstruction of SPKI # Joseph Y. Halpern +
Efficiency and Nash Equilibria in a Scrip System for P2P Eric J. Friedman
A DecisionTheoretic Approach to Resource Allocation in Wireless Multimedia Zygmunt Haas, Joseph Y. Halpern, Li Li, Stephen B. Wicker
Uncertainty, Belief, and Probability \Lambda Ronald Fagin
Responsibility and Blame: A StructuralModel Hana Chockler
The Relationship Between Knowledge, Belief, and Certainty \Lambda
Let Many Flowers Bloom: A Response to ``An Inquiry into Computer
Defining Explanation in Probabilistic Systems Urszula Chajewska
Iterated Regret Minimization: A New Solution Concept
Using Counterfactuals in KnowledgeBased Programming
KnowledgeBased Synthesis of Distributed Systems Using Event Structures #
Journal of Artificial Intelligence Research 25 (2006) ?--? Submitted 11/05; published 04/06 A Logic for Reasoning about Evidence
A Logic for SDSI's Linked Local Name Spaces Joseph Y. Halpern
Hypothetical Knowledge and Counterfactual Reasoning \Lambda
Reasoning about Noisy Sensors and Effectors in the Situation Calculus \Lambda
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous
Knowledge, Probability, and Adversaries Joseph Y. Halpern
A Computer Scientist Looks at Game Theory Joseph Y. Halpern #
Defaults and Normality in Causal Structures Joseph Y. Halpern #
Knowledge and Common Knowledge in a Distributed Environment \Lambda
Algorithmic Knowledge \Lambda Joseph Y. Halpern
Extensive Games with Possibly Unaware Players Joseph Y. Halpern
MultiAgent Only Knowing Joseph Y. Halpern
Modeling Belief in Dynamic Systems. Part I: Foundations
Generalized Solution Concepts in Games with Possibly Unaware Players
Epistemology: Five Questions Joseph Y. Halpern
A Counterexample to Theorems of Cox and Fine Joseph Y. Halpern halpern@cs.cornell.edu
FirstOrder Conditional Logic Revisited \Lambda Nir Friedman
A Nonstandard Characterization of Sequential Equilibrium, Perfect Equilibrium, and Proper
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal
Alternative Semantics for Unawareness Joseph Y. Halpern*
Shared Winner Determination in Sponsored Search David J. Martin #1
Plausibility Measures: A User's Guide Nir Friedman
Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation
A Logical Characterization of Iterated Admissibility Joseph Y. Halpern and Rafael Pass
THE FAILURE DISCOVERY PROBLEM Vassos Hadzilacos
A Logic for Approximate Reasoning \Lambda Daphne Koller
Journal of Artificial Intelligence Research 10 (1999) 117167 Submitted 2/98; published 3/99 Modeling Belief in Dynamic Systems
ON AMBIGUITIES IN THE INTERPRETATION OF GAME TREES
Plausibility Measures and Default Reasoning: An Overview \Lambda Nir Friedman
SHOULD KNOWLEDGE ENTAIL BELIEF? \Lambda Joseph Y. Halpern
Iterated Regret Minimization: A New Solution Concept
Secrecy in Multiagent Systems Joseph Y. Halpern & Kevin R. O'Neill
A Characterization of Eventual Byzantine Agreement \Lambda
Journal of Artificial Intelligence Research 21 (2004) 319--356 Submitted 11/02; published 03/04 Representation Dependence in Probabilistic Inference
From Statistics to Beliefs \Lambda Fahiem Bacchus
Erratum: ZeroOne Laws in Modal Logic Joseph Y. Halpern
Updating Sets of Probabilities Adam J. Grove
An Epistemic Characterization of Zero Knowledge Joseph Y. Halpern, Rafael Pass, and Vasumathi Raman
Secrecy in Multiagent Systems Joseph Y. Halpern & Kevin R. O'Neill
Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication
JOSEPH Y. HALPERN AND YORAM MOSES TAKEN BY SURPRISE: THE PARADOX OF THE
Asymptotic Conditional Probabilities: The Non-unary Case Adam J. Grove
Evidence with Uncertain Likelihoods # Joseph Y. Halpern
Reasoning About Knowledge of Unawareness Revisited Joseph Y. Halpern
A Qualitative Markov Assumption and Its Implications for Belief Change Nir Friedman
On Definability in Multimodal Logic # Joseph Y. Halpern +
Defining Explanation in Probabilistic Systems Urszula Chajewska
A Data-Acquisition Model for Learning and Cognitive Development and Its Implications for Autism
!#"$&%(')0%1$& 23$&%4657$48"@9A"5B%4$&8C&D$&$
Belief Revision with Unreliable Observations Craig Boutilier
Causes and Explanations: A Structural-Model Approach. Part I: Causes
Knowledge-Based Synthesis of Distributed Systems Using Event Mark Bickford
Ann. Rev. Comput. Sci. 19S7.2:37-68 Copyright 1987 by Annual Reviews Inc. All rightsreserved
Common Knowledge Revisited Ronald Fagin
Using Counterfactuals in Knowledge-Based Programming
An Operational Semantics for Knowledge Bases Ronald Fagin
Journal of Artificial Intelligence Research 21 (2004) 319356 Submitted 11/02; published 03/04 Representation Dependence in Probabilistic Inference
Irrelevance and Conditioning in First-Order Probabilistic Logic Daphne Koller
Minimum-Energy Topology Control Algorithms in Ad Hoc Joseph Y. Halpern Li (Erran) Li
Causes and Explanations: A Structural-Model Approach. Part II: Explanations
Lexicographic probability, conditional probability, and nonstandard probability
Plausibility Measures: A General Approach For Representing Uncertainty Joseph Y. Halpern
Gossip-Based Ad Hoc Routing Zygmunt J. Haas Joseph Y. Halpern Li Li
Intransitivity and Vagueness Joseph Y. Halpern
Rational Secret Sharing and Multiparty Computation: Extended Abstract
A Formal Foundation for XrML Joseph Y. Halpern and Vicky Weissman
What Causes a System to Satisfy a Specification? Hana Chockler
Evidence with Uncertain Likelihoods Joseph Y. Halpern
Reasoning About Knowledge of Unawareness Joseph Y. Halpern
Efficiency and Nash Equilibria in a Scrip System for P2P Eric J. Friedman
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
Characterizing Solution Concepts in Games Using Knowledge-Based Programs Joseph Y. Halpern
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists
Dealing With Logical Omniscience Joseph Y. Halpern
Generalized Solution Concepts in Games with Possibly Unaware Players
A Nonstandard Characterization of Sequential Equilibrium, Perfect Equilibrium, and Proper
A Game-Theoretic Analysis of Updating Sets of Probabilities Peter D. Grunwald
Expressing Security Properties Using Selective Interleaving Functions
Game Theory with Costly Computation Joseph Y. Halpern
Multiagent Learning in Large Anonymous Games Ian A. Kash
An Epistemic Characterization of Zero Knowledge Joseph Y. Halpern, Rafael Pass, and Vasumathi Raman
Reasoning About Knowledge of Unawareness Revisited Joseph Y. Halpern
Modeling Adversaries in a Logic for Security Protocol Joseph Y. Halpern and Riccardo Pucella
In Proceedings of the Thirteenth Annual Conference on Uncertainty in Artificial Intelligence, Providence, Rhode Island, August 1-3, 1997
Intransitivity and Vagueness Joseph Y. Halpern #
Presburger Arithmetic With Unary Predicates is 1 Complete \Lambda
Causality, Responsibility, and Blame: A Structural-Model Approach Joseph Y. Halpern
Anonymity and Information Hiding in Multiagent Systems
Causes and Explanations: A StructuralModel Approach. Part I: Causes
Expressing Security Properties Using Selective Interleaving Functions
Using FirstOrder Logic to Reason about Policies # Joseph Y. Halpern
A Response to ``Believing on the basis of evidence'' \Lambda
Decidability and Expressiveness for FirstOrder Logics of Probability
Probabilistic Algorithmic Knowledge # Joseph Y. Halpern
Least Expected Cost Query Optimization: What Can We Expect? Francis Chu # Joseph Halpern Johannes Gehrke
Plausibility Measures: A General Approach For Representing Uncertainty Joseph Y. Halpern #
Levesque's Axiomatization of Only Knowing is Incomplete \Lambda
Beyond Nash Equilibrium: Solution Concepts for the 21st Century #
A Note on KnowledgeBased Programs and Specifications
Extensive Games with Possibly Unaware Players # Joseph Y. Halpern
A KnowledgeTheoretic Analysis of Uniform Distributed Coordination and Failure Detectors
A KnowledgeBased Analysis of Global Function Computation # Joseph Y. Halpern
Interactive Unawareness Revisited # Joseph Y. Halpern
Characterizing the NPPSPACE Gap in the Satisfiability Problem for Modal Logic #
CONDITIONAL LOGICS OF BELIEF CHANGE \Lambda Nir Friedman
KnowledgeBased Programs \Lambda Ronald Fagin y
MESSAGEOPTIMAL PROTOCOLS FOR BYZANTINE AGREEMENT
Reasoning about Knowledge and Probability \Lambda Ronald Fagin
On the Relationship between Strand Spaces and MultiAgent Systems
Computer Science and Game Theory: A Brief Survey Joseph Y. Halpern
Plausibility Measures: A User's Guide \Lambda Nir Friedman
Reasoning About Common Knowledge with Infinitely Many Joseph Y. Halpern \Lambda
Optimizing Scrip Systems: Efficiency, Crashes, Hoarders, and Altruists
A GameTheoretic Analysis of Updating Sets of Probabilities Peter D. Gr
Causes and Explanations: A StructuralModel Approach. Part II: Explanations
A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing \Lambda
A response to the commentaries on CoRR \Lambda Joseph Y. Halpern
Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule #
Defining Knowledge in Terms of Belief: The Modal Logic Perspective
Plausibility Measures and Default Reasoning: An Overview Nir Friedman
SetTheoretic Completeness for Epistemic and Conditional Logic \Lambda
Journal of Artificial Intelligence Research 19 (2003) 243--278 Submitted 10/02; published 10/03 Updating Probabilities
Defining Knowledge in Terms of Belief: The Modal Logic Perspective #
Two views of belief: Belief as generalized probability and belief as
A Qualitative Markov Assumption and Its Implications for Belief Change Nir Friedman
On Definability in Multimodal Logic Joseph Y. Halpern
Viewpoint: Journals for Certification, Conferences for Rapid Dissemination --Rethinking the Role of Journals in Computer
No Justified Complaints: On Fair Sharing of Multiple Resources
Actual Causation and the Art of Modeling Joseph Y. Halpern and Christopher Hitchcock
From Causal Models To Counterfactual Structures Joseph Y. Halpern
Reasoning About Justified Belief Adam Bjorndahl, Jospeh Y. Halpern, and Rafael Pass
I Don't Want to Think About it Now: Decision Theory With Costly Computation