New programming languages for (1974)

by Bertram Raphael
Venue:Communications of the ACM
Citations:8 - 0 self

Active Bibliography

1586 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
237 Application of theorem proving to problem solving – Cordell Green - 1969
218 List Processing in Real Time on a Serial Computer – Henry G. Baker - 1977
199 Steps toward artificial intelligence – Marvin Minsky - 1961
1 Historical Roots of the ABTOF Model at GSIA – Mie Augier, Michael Prietula, Mie Augier, Michael Prietula
93 Lively linear Lisp — ‘Look Ma, no garbage – Henry G Baker - 1992
60 Non-resolution theorem proving – W. W. Bledsoe - 1977
Session No. 2 Applications CHALLENGE TO ARTIFICIAL INTELLIGENCE: PROGRAMMING PROBLEMS TO BE SOLVED Abstract – J. E. Sammet
51 Artificial Intelligence – Stuart C. Shapiro - 1982