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.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
5.
|
Learning and Reasoning by Analogy: The Details Winston, Patrick H.
|
6.
|
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis Shrobe, Howard E. - Waters, Richard C. - Sussman, Gerald J.
|
7.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
8.
|
The Genetic Epistemology of Rule Systems Goldstein, Ira P.
|
9.
|
Understanding Hand-Printed Algebra for Computer Tutoring Purcell, Stephen C.
|
10.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|