1.
|
Capturing Intuitive Knowledge in Procedural Description Bamberger, Jeanne
|
2.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
3.
|
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.
|
4.
|
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols Miller, Mark L. - Goldstein, Ira P.
|
5.
|
Viewing Control Structures as Patterns of Passing Messages Hewitt, Carl
|
6.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
7.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
8.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
9.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
10.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|