Recent research in artificial intelligence, heuristic programming, and network protocols.
Earnest, Lester D., McCarthy, John, Feigenbaum, Edward A., Lederberg, Joshua, and Cerf, Vinton G.
This is a progress report for ARPA-sponsored research projects in computer science for the period July 1973 to July 1974. Accomplishments are reported in artificial intelligence (especially heuristic programming, robotics, theorem proving, automatic programming, and natural language understanding), mathematical theory of computation, and protocol development for computer communication networks. References to recent publications are provided for each topic.
Stanford University. Computer Science Department
1 text file
cau and Stanford (Calif.)
July 01, 1974
Stanford (Calif.), July 1, 1974
Stanford University, Department of Computer Science, Technical Reports and Stanford Artificial Intelligence Laboratory records, 1963-2009
McCarthy, John, 1927-2011., Baskett, Forest, Knuth, Donald Ervin, 1938-, Lang, Serge, 1927-2005, Lederberg, Joshua, Lenat, Douglas B., Michie, Donald, Moravec, Hans P., Manna, Zohar, Sloman, Aaron, and Sato, Masahiko, 1947-
Correspondence, memos, reports, course materials, newsletters, articles, reprints, computer manuals, and other materials pertaining to McCarthy's research and his teaching at Stanford and MIT. Correspondents include Forest Baskett, Donald Knuth, Serge Lang, Joshua Lederberg, Douglas Lenat, Donald Michie, Hans Moravec, Zohar Manna, Aaron Sloman, and Masahiko Sato. Also included are correspondence, reprints, programs, notes, and articles from his work with Russian computer scientists, 1958-78.
Artificial intelligence, Computer programming, and LISP (Computer program language)