Reply to Glymour and Thayse

Minds and Machines

Volumn 23, Issue 2, 2013, Pages 313-315

  Bringsjord, Selmer ^a   Ferrucci, David A ^b  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; NEURAL NETWORKS;

ELECTRONIC ROLODEX; TURING MACHINE;

COGNITIVE SYSTEMS;

EID: 0032205451     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. Boolos, George S., and Jeffrey, Richard C. (1989), Computability and Logic, 3rd edition, Cambridge, UK: Cambridge University Press.
2. Dennett, Daniel C. (1994) 'The Practical Requirements for Making a Conscious Robot', Philosophical Transactions of the Royal Society of London 349, pp. 133-146.
3. Glymour, Clark (1998), 'Buy and Use Thinking Things Through', Minds and Machines 8, pp. 000-000.
4. Henkin, Leon, Monk, J. Donald, and Tarski, Alfred (1971), Cylindric Algebrask Part I, Amsterdam: North-Holland.
5. Kolata, Gina (1996), 'Computer Math Proof Shows Reasoning Power', The New York Times CyberTimes, December 10 〈http://www.nytimes.com/〉.
6. Thayse, André (1998), 'Reply to Bringsjord and Ferrucci', Minds and Machines 8, pp. 000-000.