1.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
2.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
3.
|
Topics in Model Theory Levin, Michael
|
4.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
5.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
6.
|
The Use of Equality in Deduction and Knowledge Representation McAllester, David Allen
|
7.
|
Semantics of Inheritance and Attributions in the Description System Omega Attardi, Giuseppe - Simi, Maria
|
8.
|
Infants in Children Stories - Toward a Model of Natural Language Comprehension Meyer, Garry S.
|
9.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
10.
|
Creation of Computer Animation from Story Descriptions Kahn, Kenneth Michael
|