1.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|
2.
|
On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor diSessa, Andrea A.
|
3.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
4.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
5.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
6.
|
Learning and Reasoning by Analogy: The Details Winston, Patrick H.
|
7.
|
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis Shrobe, Howard E. - Waters, Richard C. - Sussman, Gerald J.
|
8.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
9.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
10.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|