|
|
S. J. Rosenschein and L. P. Kaelbling (1986): The Synthesis of Digital Machines with Provabable Epistemic Properties
| Title: |
The Synthesis of Digital Machines with Provabable Epistemic Properties |
| Author(s): |
S. J. Rosenschein and L. P. Kaelbling |
| Year: |
1986 |
| Booktitle: |
Proc. Theoretical Aspects of Reasoning about Knowledge |
| Editor(s): |
J. Y. Halpern |
| Pages: |
83-98 |
Concepts
|
|
