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: 91,423

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.
Turing machines, computers and artificial intelligence.Peter R. Krebs - 2002 - Dissertation, Unsw
Won't you please unite? Darwinism, cultural evolution and kinds of synthesis.Maria Kronfeldner - 2010 - In A. Barahona, H.-J. Rheinberger & E. Suarez-Diaz (eds.), The Hereditary Hourglass: Genetics and Epigenetics, 1868-2000. Max Planck Insititute for the History of Science. pp. 111-125.
Against swamping.J. Adam Carter & Benjamin Jarvis - 2012 - Analysis 72 (4):690-699.
Arithmetical interpretations of dynamic logic.Petr Hájek - 1983 - Journal of Symbolic Logic 48 (3):704-713.
Analog and digital representation.Matthew Katz - 2008 - Minds and Machines 18 (3):403-408.
The digital humanities as a humanities project.Patrik Svensson - 2012 - Arts and Humanities in Higher Education 11 (1-2):425-60.
The (lack of) mental life of some machines.Tomer Fekete & Shimon Edelman - 2012 - In Shimon Edelman, Tomer Fekete & Neta Zach (eds.), Being in Time: Dynamical Models of Phenomenal Experience. John Benjamins.. pp. 88--95.
How to be a teleologist about epistemic reasons.Asbjørn Steglich-Petersen - 2011 - In Asbjorn Steglich-Petersen & Andrew Reisner (eds.), Reasons for Belief. Cambridge University Press. pp. 13--33.
Malament–Hogarth Machines and Tait’s Axiomatic Conception of Mathematics.Sharon Berry - 2014 - Erkenntnis 79 (4):893-907.
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.
Analog vs. digital computation.David J. Chalmers - manuscript
Rethinking Construction: On Luciano Floridi’s ‘Against Digital Ontology’.Chryssa Sdrolia & J. Mark Bishop - 2014 - Minds and Machines 24 (1):89-99.
Cultura y contracultura digital: un ensayo.Jorge Portilla - 2011 - Apuntes Filosóficos 20 (39).
Varieties of Analog and Digital Representation.Whit Schonbein - 2014 - Minds and Machines 24 (4):415-438.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,168,820)

6 months
10 (#255,509)

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