#### Filter Results:

- Full text PDF available (342)

#### Publication Year

1980

2017

- This year (11)
- Last 5 years (73)
- Last 10 years (135)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Data Set Used

#### Key Phrases

Learn More

- Zygmunt J. Haas, Joseph Y. Halpern, Erran L. Li
- IEEE/ACM Transactions on Networking
- 2002

Many ad hoc routing protocols are based on some variant of flooding. Despite various optimizations of flooding, many routing messages are propagated unnecessarily. We propose a gossiping-based approach, where each node forwards a message with some probability, to reduce the overhead of the routing protocols. Gossiping exhibits bimodal behavior in… (More)

- E. Allen Emerson, Joseph Y. Halpern
- J. ACM
- 1986

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 Lamport. To facilitate a careful examination of these issues, a language, CTL<supscrpt>*</supscrpt>, in which a universal or existential path quantifier can prefix an… (More)

- Joseph Y. Halpern, Yoram Moses
- Artif. Intell.
- 1992

Uncertainty is a fundamental and unavoidable feature of daily life; in order to deal with uncertaintly intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal...

- Joseph Y. Halpern
- IJCAI
- 1989

We consider two approaches to g iv ing semantics to first order logics of probabi l i ty . The first approach puts a probabi l i ty on the domain, and is appropr iate for g iv ing semantics to formulas involv ing stat ist ical in format ion such as "The probabi l i ty that a ( typ ica l ) b i rd flies is greater than .9." The second approach puts a probabi… (More)

- Ronald Fagin, Joseph Y. Halpern
- Artif. Intell.
- 1987

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 an agent does not necessarily contain all valid formulas. Thus, these logics are more suitable than traditional logics for modelling beliefs of humans (or… (More)

- E. Allen Emerson, Joseph Y. Halpern
- J. Comput. Syst. Sci.
- 1982

In this paper we consider the Computation Tree Logic (CTL) proposed in [CE] which extends the Unified Branching Time Logic (UB) of [BMP] by adding an <italic>until</italic> operator. We establish that CTL has the small property by showing that any satisfiable CTL formulae is satisfiable in a small finite model obtained from a small… (More)

- Joseph Y. Halpern, Yoav Shoham
- LICS
- 1986

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 end, a modal temporal loglc based on time intervals is developed, a logic that can be viewed as a generalization of point-based modal temporal logic. Related… (More)

- Ittai Abraham, Danny Dolev, Rica Gonen, Joseph Y. Halpern
- PODC
- 2006

We study <i>k-resilient Nash equilibria</i>, joint strategies where no member of a coalition <i>C</i> of size up to <i>k</i> can do better, even if the whole coalition defects. We show that such <i>k</i>-resilient Nash equilibria exist for secret sharing and multiparty computation, provided that players prefer to get the information than not to get it. Our… (More)

- Erran L. Li, Joseph Y. Halpern
- ICC
- 2001

Abstract—We propose a protocol that, given a communication network, computes a subnetwork such that, for every pair (u, v) of nodes connected in the original network, there is a a minimum-energy path between u and v in the subnetwork (where a minimum-energy path is one that allows messages to be transmitted with a minimum use of energy). The network… (More)