The Synthesis of Digital Machines With Provable Epistemic Properties

Stanley J. Rosenschein, Leslie Pack Kaelbling. The Synthesis of Digital Machines With Provable Epistemic Properties. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 83-98, Morgan Kaufmann, 1986.

@inproceedings{RosenscheinK86,
  title = {The Synthesis of Digital Machines With Provable Epistemic Properties},
  author = {Stanley J. Rosenschein and Leslie Pack Kaelbling},
  year = {1986},
  researchr = {https://researchr.org/publication/RosenscheinK86},
  cites = {0},
  citedby = {0},
  pages = {83-98},
  booktitle = {Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986},
  editor = {Joseph Y. Halpern},
  publisher = {Morgan Kaufmann},
  isbn = {0-934613-04-4},
}