Bertram Raphael

Publication Activity (10 Years)

Years Active: 1964-1975
Publications (10 Years): 0

Publications

Bertram Raphael
Innovative applications of computer science. AFIPS National Computer Conference (1975)
Daniel G. Bobrow, Bertram Raphael
New Programming Languages for Artificial Intelligence Research. ACM Comput. Surv. 6 (3) (1974)
Richard E. Fikes, Peter E. Hart, Bertram Raphael
Themes in automatic problem solving. Computer 6 (5) (1973)
Bertram Raphael
Artificial intelligence. Computer 6 (5) (1973)
Peter E. Hart, Nils J. Nilsson, Bertram Raphael
Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths". SIGART Newsl. 37 (1972)
Robert A. Yates, Bertram Raphael, Timothy P. Hart
Resolution Graphs. Artif. Intell. 1 (4) (1970)
C. Cordell Green, Bertram Raphael
The use of theorem-proving techniques in question-answering systems. ACM National Conference (1968)
Bertram Raphael
Programming a robot. IFIP Congress (2) (1968)
Peter E. Hart, Nils J. Nilsson, Bertram Raphael
A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Trans. Syst. Sci. Cybern. 4 (2) (1968)
Bertram Raphael
Aspects and applications of symbol manipulation. Commun. ACM 9 (7) (1966)
Bertram Raphael
The structure of programming languages. Commun. ACM 9 (2) (1966)
Bertram Raphael
The structure of programming languages. Commun. ACM 9 (3) (1966)
Bertram Raphael
Aspects and applications of symbol manpulation. ACM National Conference (1966)
Daniel G. Bobrow, Bertram Raphael
A comparison of list-processing computer languages: including a detailed comparison of COMIT, IPL-V, LISP 1.5, and SLIP. Commun. ACM 7 (4) (1964)
Bertram Raphael
A computer program which "understands". AFIPS Fall Joint Computing Conference (1) (1964)