Reasoning About Knowledge and Probability
- Ronald Fagin
- Joseph Y. Halpern
- 1994
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
195 results at Journal of the ACM
Nonoblivious Hashing
- Amos Fiat
- Moni Naor
- et al.
- 1992
- Journal of the ACM
The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels
- Yishay Mansour
- Baruch Schieber
- 1992
- Journal of the ACM
Finite State Verifiers II: Zero Knowledge
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Finite State Verifiers I: The Power of Interaction
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Sparse Dynamic Programming II: Convex and Concave Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM
Sparse Dynamic Programming I: Linear Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1992
- Journal of the ACM
What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
An O(log N) Deterministic Packet-Routing Scheme
- Eli Upfal
- 1992
- Journal of the ACM