1932

Annual Review of Computer Science

Volume 2, 1987

Review Article

Using Reasoning About Knowledge to Analyze Distributed Systems

J Y Halpern
Vol. 2:37-68 (Volume publication date June 1987) https://doi.org/10.1146/annurev.cs.02.060187.000345
© Annual Reviews

There is no abstract available.

Article metrics loading...

/content/journals/10.1146/annurev.cs.02.060187.000345

1987-06-01

2024-10-08

Loading full text...

Full text loading...

/content/journals/10.1146/annurev.cs.02.060187.000345

Article Type: Review Article

Most Cited Most Cited RSS feed

- Nonmonotonic Reasoning
  
  R Reiter
  
  Vol. 2 (1987), pp. 147–186
- Dataflow Architectures
  
  Arvind, and David E. Culler
  
  Vol. 1 (1986), pp. 225–253
- Machine Learning
  
  T Mitchell, B Buchanan, G DeJong, T Dietterich, P Rosenbloom, and A Waibel
  
  Vol. 4 (1990), pp. 417–433
- Knowledge Representation and Reasoning
  
  H J Levesque
  
  Vol. 1 (1986), pp. 255–287
- Algorithmic Geometry of Numbers
  
  R Kannan
  
  Vol. 2 (1987), pp. 231–267
- Fundamentals of Expert Systems
  
  Bruce G. Buchanan, and Reid G. Smith
  
  Vol. 3 (1988), pp. 23–58
- Type Architectures, Shared Memory, and the Corollary of Modest Potential
  
  L Snyder
  
  Vol. 1 (1986), pp. 289–317
- Parallel Algorithmic Techniques For Combinational Computation
  
  David Eppstein, and Zvi Galil
  
  Vol. 3 (1988), pp. 233–283
- Using Reasoning About Knowledge to Analyze Distributed Systems
  
  J Y Halpern
  
  Vol. 2 (1987), pp. 37–68
- Qualitative Student Models
  
  W J Clancey
  
  Vol. 1 (1986), pp. 381–450
More Less

This is a required field

Please enter a valid email address

Approval was a Success

Invalid data

An Error Occurred

Approval was partially successful, following selected items could not be processed due to error