1.
|
KBEmacs: A Step Toward the Programmer's Apprentice Waters, Richard C.
|
2.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
3.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
4.
|
CREF: An Editing Facility for Managing Structured Text Pitman, Kent M.
|
5.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
6.
|
Shape and Source from Shading Brooks, Michael J. - Horn, Berthold K.P.
|
7.
|
The Computational Complexity of Two-Level Morphology Barton, G. Edward, Jr.
|
8.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
9.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
10.
|
Preliminary Survey of Classical Statistical Techniques for Incorporation into Adaptive Evaluation Methodology Minkoff, Alan S.
|