The Synthesis of Digital Machines with Provable Epistemic Properties (bibtex)
by Stanley J. Rosenschein and Leslie Pack Kaelbling
Reference:
The Synthesis of Digital Machines with Provable Epistemic Properties (Stanley J. Rosenschein and Leslie Pack Kaelbling), Chapter in Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge (Joseph Halpern, ed.), Morgan Kaufmann, 1986.
Bibtex Entry:
@incollection{Rosenschein86,
        Author = {Stanley J. Rosenschein and Leslie Pack Kaelbling},
        Booktitle = {Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge},
        Editor = {Joseph Halpern},

        Pages = {83-98},
        Publisher = {Morgan Kaufmann},
        Title = {The Synthesis of Digital Machines with Provable Epistemic Properties},
        Year = {1986}}
Powered by bibtexbrowser