1.
|
Roles of Knowledge in Motor Learning Atkeson, Christopher Granger
|
2.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
3.
|
Formalizing Reusable Software Components in the Programmer's Apprentice Rich, Charles - Waters, Richard C.
|
4.
|
The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality Madnick, Stuart - Wang, Richard - Xian, Xiang
|
5.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
6.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
7.
|
Description Logic Programs: Combining Logic Programs with Description Logic Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan
|
8.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
9.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
10.
|
Extracting Qualitative Dynamics from Numerical Experiments Yip, Kenneth Man-Kam
|