Reasoning about knowledge/
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Massachusetts ; London:
MIT Press,
2003, c1995
|
| Edition: | 1st MIT Press paperback ed. |
| Subjects: |
Table of Contents:
- 1. Introduction and Overview
- 2. A Model for Knowledge
- 3. Completeness and Complexity
- 4. Knowledge in Multi-Agent Systems
- 5. Protocols and Programs
- 6. Common Knowledge and Agreement
- 7. Knowledge-Based Programming
- 8. Evolving Knowledge
- 9. Logical Omniscience
- 10. Knowledge and Computation
- 11. Common Knowledge Revisited.