Bertram Raphael - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

1975

Innovative applications of computer scienceBertram Raphael. afips 1975: 771 [doi]

1974

New Programming Languages for Artificial Intelligence ResearchDaniel G. Bobrow, Bertram Raphael. ACM Comput. Surv., 6(3):153-174, 1974.

1973

Themes in automatic problem solvingRichard E. Fikes, Peter E. Hart, Bertram Raphael. Computer, 6(5):11-18, 1973. [doi]

Artificial intelligenceBertram Raphael. Computer, 6(5):9-10, 1973. [doi]

1972

Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"Peter E. Hart, Nils J. Nilsson, Bertram Raphael. sigart, 37:28-29, 1972. [doi]

1970

Resolution GraphsRobert A. Yates, Bertram Raphael, Timothy P. Hart. ai, 1(4):257-289, 1970.

1968

The use of theorem-proving techniques in question-answering systemsC. Cordell Green, Bertram Raphael. acm 1968: 169-181 [doi]

A Formal Basis for the Heuristic Determination of Minimum Cost PathsPeter E. Hart, Nils J. Nilsson, Bertram Raphael. tssc, 4(2):100-107, 1968. [doi]

Programming a robotBertram Raphael. ifip 1968: 1575-1581

1966

The structure of programming languagesBertram Raphael. CACM, 9(3):155-156, 1966. [doi]

The structure of programming languagesBertram Raphael. CACM, 9(2):67-71, 1966. [doi]

Aspects and applications of symbol manipulationBertram Raphael. CACM, 9(7):476, 1966. [doi]

Aspects and applications of symbol manpulationBertram Raphael. acm 1966: 69-74 [doi]

1964

A comparison of list-processing computer languages: including a detailed comparison of COMIT, IPL-V, LISP 1.5, and SLIPDaniel G. Bobrow, Bertram Raphael. CACM, 7(4):231-240, 1964. [doi]

A computer program which "understands"Bertram Raphael. afips 1964: 577-589 [doi]

Sign in or sign up to see more results.

runs on WebDSL