1.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
2.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
3.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
4.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
5.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
6.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
7.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
8.
|
Analyzing Natural Images: A Computational Theory of Texture Vision Marr, D.
|
9.
|
A Framework for Representing Knowledge Minsky, Marvin
|
10.
|
PROGRAMMER: A Language for Writing Grammars Winograd, Terry
|