- Publications
- Influence

Abstract We review and re-examine possible-worlds semantics for propositional logics of knowledge and belief with three particular points of emphasis: (1) we show how general techniques for finding… Expand

In order to deal with uncertainty intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal ways of representing uncertainty and considers… Expand

In Proceedings of the Seventeenth Conference on Uncertainy in Artiﬁcial Intelligence, San Francisco, CA: Morgan Kaufmann, 194–202, 2001. TECHNICAL REPORT R-266-UAI June 2001 Causes and Explanations:… Expand

Several new logics for belief and knowledge are introduced and studied, all of which have the property that agents are not logically omniscient. In particular, in these logics, the set of beliefs of… Expand

We argue that the right way to understand distributed protocols is by considering how messages change the state of knowledge of a system. We present a hierarchy of knowledge states that a system may… Expand

The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent programs are studied. These issues have been previously considered by… Expand

In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are interpreted with respect to time intervals rather than time points. To this… Expand

We consider two approaches to giving semantics to first order logics of probability. The first approach puts a probability on the domain, and is appropriate for giving semantics to formulas involving… Expand

We provide a model for reasoning about knowledge and probability together. We allow explicit mention of probabilities in formulas, so that our language has formulas that essentially say "according to… Expand

ICC . IEEE International Conference on…

We propose a protocol that, given a communication network, computes a subnetwork such that, for every pair (u, /spl upsi/) of nodes connected in the original network, there is a a minimum-energy path… Expand