Joseph Y. Halpern

J. Log. Comput., 1997

Defining Relative Likelihood in Partially-Ordered Structures.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1997

On becoming editor-in-chief of JACM.

[BibT_eX]

[DOI]

J. ACM, 1997

Knowledge-Based Programs.

[BibT_eX]

[DOI]

Distributed Comput., 1997

A Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing.

[BibT_eX]

[DOI]

Comput. Intell., 1997

Modeling Belief in Dynamic Systems, Part I: Foundations.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Probability Update: Conditioning vs. Cross-Entropy.

[BibT_eX]

[DOI]

Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Defining Explanation in Probabilistic Systems.

[BibT_eX]

[DOI]

Urszula Chajewska

Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

Using Multi-Agent Systems to Represent Uncertainty (invited talk).

[BibT_eX]

Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

1996

Asymptotic Conditional Probabilities: The Unary Case.

[BibT_eX]

[DOI]

SIAM J. Comput., 1996

Asymptotic Conditional Probabilities: The Non-Unary Case.

[BibT_eX]

[DOI]

J. Symb. Log., 1996

Should knowledge entail belief?

[BibT_eX]

[DOI]

J. Philos. Log., 1996

From Statistical Knowledge Bases to Degrees of Belief.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Defining Relative Likelihood in Partially-Ordered Preferential Structures.

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

A Qualitative Markov Assumption and Its Implications for Belief Change.

[BibT_eX]

[DOI]

Proceedings of the UAI '96: Proceedings of the Twelfth Annual Conference on Uncertainty in Artificial Intelligence, 1996

On Ambiguities in the Interpretation of Game Trees.

[BibT_eX]

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Irrelevance and Conditioning in First-Order Probabilistic Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

Using Multi-Agent Systems to Represent Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

First-Order Conditional Logic Revisited.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Full Abstraction and Expressive Completeness for FP

[BibT_eX]

[DOI]

Inf. Comput., May, 1995

Dynamic Fault-Tolerant Clock Synchronization.

[BibT_eX]

[DOI]

J. ACM, 1995

Levesque's Axiomatization of only Knowing is Incomplete.

[BibT_eX]

[DOI]

Gerhard Lakemeyer

Artif. Intell., 1995

The Effect of Bounding the Number of Primitive Propositions and the Depth of Nesting on the Complexity of Modal Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1995

A Nonstandard Approach to the Logical Omniscience Problem.

[BibT_eX]

[DOI]

Artif. Intell., 1995

Plausibility Measures: A User's Guide.

[BibT_eX]

[DOI]

Proceedings of the UAI '95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, 1995

Reasoning about Noisy Sensors in the Situation Calculus.

[BibT_eX]

[DOI]

Fahiem Bacchus

Hector J. Levesque

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Reasoning About Knowledge.

[BibT_eX]

[DOI]

MIT Press, ISBN: 9780262562003, 1995

1994

Decidability and Expressiveness for First-Order Logics of Probability

[BibT_eX]

[DOI]

Martín Abadi

Inf. Comput., July, 1994

Random Worlds and Maximum Entropy.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1994

Reasoning About Knowledge and Probability.

[BibT_eX]

[DOI]

J. ACM, 1994

A Response to "Believing on the Basis of the Evidence".

[BibT_eX]

[DOI]

Comput. Intell., 1994

Zero-One Laws for Modal Logic.

[BibT_eX]

[DOI]

Bruce M. Kapron

Ann. Pure Appl. Log., 1994

Generating New Beliefs from Old.

[BibT_eX]

[DOI]

Proceedings of the UAI '94: Proceedings of the Tenth Annual Conference on Uncertainty in Artificial Intelligence, 1994

Algorithmic Knowledge.

[BibT_eX]

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

A Knowledge-Based Framework for Belief change, Part I: Foundations.

[BibT_eX]

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

On the Complexity of Conditional Logics.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

A Knowledge-Based Framework for Belief Change, Part II: Revision and Update.

[BibT_eX]

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Conditional Logics of Belief Change.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

An Operational Semantics for Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Forming Beliefs about a Changing World.

[BibT_eX]

[DOI]

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993

The Failure Discovery Problem.

[BibT_eX]

[DOI]

Vassos Hadzilacos

Math. Syst. Theory, 1993

Message-Optimal Protocols for Byzantine Agreement.

[BibT_eX]

[DOI]

Vassos Hadzilacos

Math. Syst. Theory, 1993

Naming and Identity in Epistemic Logics Part I: The Propositional Case.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

Knowledge, Probability, and Adversaries.

[BibT_eX]

[DOI]

Mark R. Tuttle

J. ACM, 1993

Statistical Foundations for Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

Generating Degrees of Belief from Statistical Information: An Overview.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Reasoning about only Knowing with Many Agents.

[BibT_eX]

[DOI]

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

What Is an Inference Rule?

[BibT_eX]

[DOI]

J. Symb. Log., 1992

A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols.

[BibT_eX]

[DOI]

Lenore D. Zuck

J. ACM, 1992

What Can Machines Know? On the Properties of Knowledge in Distributed Systems.

[BibT_eX]

[DOI]

J. ACM, 1992

A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Two Views of Belief: Belief as Generalized Probability and Belief as Evidence.

[BibT_eX]

[DOI]

Artif. Intell., 1992

The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge.

[BibT_eX]

Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

Asymptotic Conditional Probabilities for First-Order Logic

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992

A Logic for Approximate Reasoning.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

From Statistics to Beliefs.

[BibT_eX]

[DOI]

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Presburger Arithmetic with Unarr Predicates is Pi<sub>1</sub><sup>1</sup> Complete.

[BibT_eX]

[DOI]

J. Symb. Log., 1991

A Propositional Modal Logic of Time Intervals.

[BibT_eX]

[DOI]

Yoav Shoham

J. ACM, 1991

A Model-Theoretic Analysis of Knowledge.

[BibT_eX]

[DOI]

J. ACM, 1991

Clock Synchronization and the Power of Broadcasting.

[BibT_eX]

[DOI]

Ichiro Suzuki

Distributed Comput., 1991

Uncertainty, belief, and probability.

[BibT_eX]

[DOI]

Comput. Intell., 1991

The relationship between knowledge, belief and certainty.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1991

Knowledge and Probability in Distributed Systems (Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Message-Optimal Protocols for Byzantine Agreement (Extended Abstract).

[BibT_eX]

[DOI]

Vassos Hadzilacos

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Model Checking vs. Theorem Proving: A Manifesto.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Naming and Identity in a Multi-Agent Epistemic Logic.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

1990

Knowledge and Common Knowledge in a Distributed Environment

[BibT_eX]

[DOI]

J. ACM, July, 1990

Completeness of Rewrite Rules and Rewrite Strategies for FP

[BibT_eX]

[DOI]

John H. Williams

J. ACM, January, 1990

A Logic for Reasoning about Probabilities

[BibT_eX]

[DOI]

Nimrod Megiddo

Inf. Comput., 1990

Let many flowers bloom: a response to An inquiry into computer understanding e.

[BibT_eX]

[DOI]

Comput. Intell., 1990

An Analysis of First-Order Logics of Probability.

[BibT_eX]

[DOI]

Artif. Intell., 1990

A new approach to updating beliefs.

[BibT_eX]

[DOI]

Proceedings of the UAI '90: Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence, 1990

1989

Reasoning about Procedures as Parameters in the Language L4

[BibT_eX]

[DOI]

Inf. Comput., December, 1989

The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1989

Modelling Knowledge and Action in Distributed Systems.

[BibT_eX]

[DOI]

Distributed Comput., 1989

Decidability and Expressiveness for First-Order Logics of Probability (Extended Abstract)

[BibT_eX]

[DOI]

Martín Abadi

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1988

I'm OK if you're OK: On the notion of trusting communication.

[BibT_eX]

[DOI]

J. Philos. Log., 1988

Reasoning About Knowledge: A Tutorial.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Reasoning about Knowledge and Time in Asynchronous Systems

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report)

[BibT_eX]

[DOI]

Mark R. Tuttle

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

1987

A New Look at Fault-Tolerant Network Routing

[BibT_eX]

[DOI]

Inf. Comput., March, 1987

A Logic to Reason about Likelihood.

[BibT_eX]

[DOI]

Michael O. Rabin

Artif. Intell., 1987

Belief, Awareness, and Limited Reasoning. .

[BibT_eX]

[DOI]

Artif. Intell., 1987

A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols.

[BibT_eX]

[DOI]

Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, 1987

Full Abstraction and Expressive Completenes for FP

[BibT_eX]

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

On Time versus Space III.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1986

Taken by surprise: The paradox of the surprise test revisited.

[BibT_eX]

[DOI]

J. Philos. Log., 1986

On the Possibility and Impossibility of Achieving Clock Synchronization.

[BibT_eX]

[DOI]

Danny Dolev

H. Raymond Strong

J. Comput. Syst. Sci., 1986

"Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic.

[BibT_eX]

[DOI]

E. Allen Emerson

J. ACM, 1986

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication.

[BibT_eX]

[DOI]

Danny Dolev

Distributed Comput., 1986

Reasoning About Knowledge: An Overview.

[BibT_eX]

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

The Complexity of Reasoning about Knowledge and Time: Extended Abstract

[BibT_eX]

[DOI]

Proceedings of the 18th Annual ACM Symposium on Theory of Computing, 1986

Good Rewrite Strategies for FP

[BibT_eX]

John H. Williams

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

A Propositional Model Logic of Time Intervals

[BibT_eX]

Yoav Shoham

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

True Relative Completeness of an Axiom System for the Language L4 (Abridged)

[BibT_eX]

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

What Can Machines Know? On the Epistemic Properties of Machines.

[BibT_eX]

[DOI]

Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985

Equations Between Regular Terms and an Application to Process Logic.

[BibT_eX]

[DOI]

SIAM J. Comput., 1985

Decision Procedures and Expressiveness in the Temporal Logic of Branching Time.

[BibT_eX]

[DOI]

E. Allen Emerson

J. Comput. Syst. Sci., 1985

Optimal precision in the presence of uncertainty.

[BibT_eX]

[DOI]

Nimrod Megiddo

Ashfaq A. Munshi

J. Complex., 1985

Optimal Precision in the Presence of Uncertainty (Preliminary Version)

[BibT_eX]

[DOI]

Nimrod Megiddo

Ashfaq A. Munshi

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Denotational Semantics and Rewrite Rules for FP.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version).

[BibT_eX]

[DOI]

Danny Dolev

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Belief, Awareness, and Limited Reasoning: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984

The Semantics of Local Storage, or What Makes the Free-List Free?

[BibT_eX]

[DOI]

Boris A. Trakhtenbrot

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

A Good Hoare Axiom System for an Algol-like Language.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

Fault-Tolerant Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Towards a Theory of Knowledge and Ignorance: Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the Logics and Models of Concurrent Systems, 1984

A Model-Theoretic Analysis of Knowledge: Preliminary Report

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

Likelihood, Probability, and Knowledge.

[BibT_eX]

[DOI]

David A. McAllester

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983

Effective Axiomatizations of Hoare Logics

[BibT_eX]

[DOI]

J. ACM, July, 1983

Deterministic Process Logic is Elementary

[BibT_eX]

[DOI]

Inf. Control., April, 1983

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs.

[BibT_eX]

[DOI]

John H. Reif

Theor. Comput. Sci., 1983

"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.

[BibT_eX]

[DOI]

E. Allen Emerson

Proceedings of the Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983

From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview.

[BibT_eX]

[DOI]

Boris A. Trakhtenbrot

Proceedings of the Logics of Programs, 1983

Reasoning About Procedures as Parameters.

[BibT_eX]

[DOI]

Proceedings of the Logics of Programs, 1983

A Hardware Semantics Based on Temporal Intervals.

[BibT_eX]

[DOI]

Zohar Manna

Ben C. Moszkowski

Proceedings of the Automata, 1983

1982

Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness.

[BibT_eX]

[DOI]

Mordechai Ben-Ari

Amir Pnueli

J. Comput. Syst. Sci., 1982

Axiomatic Definitions of Programming Languages: A Theoretical Assessment.

[BibT_eX]

[DOI]

J. ACM, 1982

On the Power of Nondeterminism in Dynamic Logic.

[BibT_eX]

[DOI]

Piotr Berman

Jerzy Tiuryn

Proceedings of the Automata, 1982

1981

Axiomatic Definitions of Programming Languages, II.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, 1981

Finite Models for Deterministic Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Mordechai Ben-Ari

Amir Pnueli

Proceedings of the Automata, 1981

The Propositional Dynamic Logic of Deterministic, Well-Structured Programs (Extended Abstract)

[BibT_eX]

[DOI]