Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1
暂无分享,去创建一个
[1] A. Turing. Equivalence of Left and Right almost Periodicity , 1935 .
[2] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[3] A. Turing. Finite Approximations to Lie Groups , 1938 .
[4] Alan M. Turing,et al. The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.
[5] A. Turing. A method for the calculation of the zeta-function Universal Turing Machine , 2011 .
[6] Alan M. Turing,et al. Practical forms of type theory , 1948, Journal of Symbolic Logic.
[7] A. Turing. ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .
[8] Claude E. Shannon,et al. Programming a computer for playing chess , 1950 .
[9] A. Turing. THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .
[10] A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.
[11] A. Turing. Some Calculations of the Riemann Zeta-Function , 1953 .
[12] A. M. Turing,et al. Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .
[13] Martin Davis,et al. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .
[14] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[15] Roger C. Schank,et al. Conceptual dependency: A theory of natural language understanding , 1972 .
[16] Gerald Jay Sussman,et al. A Computer Model of Skill Acquisition , 1975 .
[17] Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975 , 1975, IJCAI.
[18] Marvin Minsky,et al. A framework for representing knowledge" in the psychology of computer vision , 1975 .
[19] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[20] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[21] Nicholas V. Findler,et al. Associative Networks- Representation and Use of Knowledge by Computers , 1980, CL.
[22] Joshua Lederberg,et al. Applications of Artificial Intelligence for Chemical Inference: The Dendral Project , 1980 .
[23] G Kolata,et al. How can computers get common sense? , 1982, Science.
[24] Joseph Weizenbaum,et al. and Machine , 1977 .
[25] Logic based on Inclusion and Abstraction WV Quine , 2022 .
[26] Universal Turing,et al. The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .
[27] Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .
[28] Proposed electronic calculator report for National Physical Laboratory Teddington , 2022 .
[29] Universal Turing,et al. Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .