Changes

* [[John McCarthy]], [[Marvin Minsky]], [[Nathaniel Rochester]], [[Claude Shannon]] ('''1955'''). ''[http://www-formal.stanford.edu/jmc/history/dartmouth/dartmouth.html A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence]''.* [[Claude Shannon]], [[John McCarthy ]] (eds.) ('''1956'''). ''Automata Studies''. [https://en.wikipedia.org/wiki/Annals_of_Mathematics Annals of Mathematics Studies], No. 34, [http://books.google.com/books?id=oL57iECEeEwC&printsec=frontcover&dq=John+McCarthy,+Claude+Shannon++Automata+Studies&source=bl&ots=xtK2thLQi_&sig=6_n_Me0_lqG11pOoA6b7_ebomM8&hl=de&ei=j2lMTdbYD9GQswby_eWUDw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CB8Q6AEwAA#v=onepage&q&f=false Google books]: [[John McCarthy ]] ('''1956'''). ''[http://jmc.stanford.edu/articles/inversion.html Inversion of Functions Defined by Turing Machines]''.* [[John McCarthy ]] ('''1958'''). ''An Algebraic Language for the Manipulation of Symbolic Expressions''. Memo No. 1, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-001.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight] <ref>[http://www.softwarepreservation.org/projects/LISP/lisp15_family/ LISP 1.5 family — Software Preservation Group] from [[The Computer History Museum]]</ref>* [[John McCarthy ]] ('''1958'''). ''A Revised Version of "MAPLIST"''. Memo 2, Symbol Manipulating Language, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center* [[John McCarthy ]] ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 3, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-003.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]* [[John McCarthy ]] ('''1958'''). ''Symbol Manipulating Language - Revisions of the Language''. Memo 4, Artificial Intelligence Project, [https://en.wikipedia.org/wiki/Research_Laboratory_of_Electronics_at_MIT RLE] and [[Massachusetts Institute of Technology|MIT]] Computation Center, [http://www.softwarepreservation.org/projects/LISP/MIT/AIM-004.pdf pdf] hosted by [[The Computer History Museum]], Courtesy of [https://en.wikipedia.org/wiki/Tom_Knight_(scientist) Tom Knight]* [[John McCarthy ]] ('''1959'''). ''Programs with Common Sense''. [https://www.cs.cornell.edu/selman/cs672/readings/mccarthy-upd.pdf pdf]

* [[John McCarthy ]] ('''1960'''). ''Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I''. [http://www-formal.stanford.edu/jmc/recursive.pdf pdf], the original paper on [[Lisp]]* [[John McCarthy]], [[Paul W. Abrahams]], [[Daniel Edwards|Daniel J. Edwards]], [[Timothy Hart|Timothy P. Hart]], [[Michael Levin|Michael I. Levin]] ('''1962''') ''LISP 1.5 Programmer's Manual''. MIT Press, second edition (1985) [http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf pdf] <ref>[http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf/view McCarthy et al. LISP 1.5 Programmer's Manual] from [[The Computer History Museum]] Software Preservation Group</ref> * [[John McCarthy]], James Painter ('''1967'''). ''Correctness of a Compiler for Arithmetic Expressions''. [http://staff.um.edu.mt/afra1/seminar/comp-corr.pdf pdf]

* [[John McCarthy ]] ('''1979'''). ''[http://jmc.stanford.edu/articles/lisp.html History of Lisp]''. Artificial Intelligence Laboratory, [[Stanford University]]

* [[John McCarthy ]] ('''1989'''). ''The Fruitfly on the Fly''. [[ICGA Journal#12_4|ICCA Journal, Vol. 12, No. 4]]

* [[John McCarthy ]] ('''1990'''). ''Chess as the Drosophila of AI''. [[Computers, Chess, and Cognition]] * [https://en.wikipedia.org/wiki/Gio_Wiederhold Gio Wiederhold], [[John McCarthy]], [[Edward Feigenbaum]] ('''1990'''). ''Memorial Resolution: Arthur L. Samuel (1901 - 1990)''. [[AAAI#AIMAG|AI Magazine]], Vol. 11, No. 3* [[John McCarthy]], [[Edward Feigenbaum]] ('''1991'''). ''In Memoriam. Arthur L. Samuel: Pioneer in Machine Learning.'' [[ICGA Journal#14_1|ICCA Journal, Vol. 14, No. 1]] » [[Arthur Samuel]]* [[John McCarthy ]] ('''1996'''). ''The Mutilated Checkerboard in Set Theory''. available as 2001 [http://www-formal.stanford.edu/jmc/checkerboard1.pdf pdf reprint]* [[John McCarthy ]] ('''1997'''). ''[http://science.sciencemag.org/content/276/5318/1518 AI as Sport]''. [[Science]], Vol. 276, June 6, pp. 1518-1519* [[John McCarthy ]] ('''1997'''). ''Chess as the Drosophila of AI''. Computer Science Department, [[Stanford University]], condensed version of the 1990 paper, [https://pdfs.semanticscholar.org/91b7/71a8ce5b417c22507852f2a29738836856a6.pdf pdf]