论文信息 - Final report: Basic Research in Artificial Intelligence and Foundations of Programming - 字舞流文

Final report: Basic Research in Artificial Intelligence and Foundations of Programming

Recent research results are reviewed in the areas of formal reasoning, mathematical theory of computation, program verification, and image understanding.

Zohar Manna | Thomas O. Binford | John McCarthy | Richard W. Weyhrauch | David C. Luckham | Les Earnest

[1] Kenneth Mark Colby,et al. Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues , 1973, IJCAI.

[2] Zohar Manna,et al. On the Power of Programming Features , 1976, Comput. Lang..

[3] Jerome A. Feldman,et al. A Semantics-Based Decision Theory Region Analyser , 1973, IJCAI.

[4] Robert Cartwright,et al. First order programming logic , 1979, POPL.

[5] Irwin Sobel,et al. On Calibrating Computer Controlled Cameras for Perceiving 3-D Scenes , 1973, IJCAI.

[6] J. McCarthy,et al. On the model theory of knowledge , 1978 .

[7] John McCarthy,et al. Ascribing Mental Qualities to Machines , 1979 .

[8] Warwick Yolks. There's always room at the top or how frames gave my life meaning , 1975, SIGART Newsl..