Bertram Raphael

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