The Synthesis of Digital Machines with Provable Epistemic Properties

&
Journal of Symbolic Logic 53 (2):664-664 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274546

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Stanley J. Rosenschein, Leslie Pack Kaelbling, The Synthesis of Digital Machines with Provable Epistemic Properties. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664-664.
Stanley J. Rosenschein and Leslie Pack Kaelbling. The synthesis of digital machines with provable epistemic properties. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 83–98. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):664.
Philip E. Agre and Stanley J. Rosenschein , Computational Theories of Interaction and Agency.Ephraim Nissan - 1997 - Pragmatics and Cognition 5 (2):384-395.
Philip E. Agre and Stanley J. Rosenschein (eds),Computational Theories of Interaction and Agency. [REVIEW]Ephraim Nissan - 1997 - Pragmatics and Cognition 5 (2):384-395.
Synthesis of Digital Automata.V. M. Gluskov - 1965 - Journal of Symbolic Logic 30 (3):380-381.
Some Problems of Synthesis of Digital Automata.V. M. Gluskov - 1968 - Journal of Symbolic Logic 33 (4):629-629.
Review: V. M. Gluskov, Synthesis of Digital Automata. [REVIEW]Jiri Becvar - 1965 - Journal of Symbolic Logic 30 (3):380-381.
The Design of Logical Machines.Jean Florine - 1973
Mays W. and Henry D. P.. Logical machines. New light on W. Stanley Jevons. The Manchester guardian, no. 32677 , B, p. 4. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (1):69-69.
Review: V. M. Gluskov, Some Problems of Synthesis of Digital Automata; V. M. Gluskov, On an Algorithm of Synthesis of Abstract Automata. [REVIEW]Arto Salomaa - 1968 - Journal of Symbolic Logic 33 (4):629-629.

Analytics

Added to PP
2015-02-05

Downloads
10 (#395,257)

6 months
10 (#1,198,792)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Animate vision.Dana H. Ballard - 1991 - Artificial Intelligence 48 (1):57-86.
The owl and the electric encyclopedia.Brian Cantwell Smith - 1991 - Artificial Intelligence 47 (1-3):251-288.
Computational research on interaction and agency.Philip E. Agre - 1995 - Artificial Intelligence 72 (1-2):1-52.
Common knowledge revisited.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi - 1999 - Annals of Pure and Applied Logic 96 (1-3):89-105.

View all 9 citations / Add more citations

References found in this work

Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.

Add more references