1.
|
Representing Knowledge of Large-Scale Space Kuipers, Benjamin J.
|
2.
|
Qualitative Knowledge, Casual Reasoning and the Localization of Failures Brown, Allen
|
3.
|
Test Generation Guided Design for Testability Wu, Peng
|
4.
|
Hypothesis Formation and Evaluation in Medical Diagnosis Rubin, Ann D.
|
5.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
6.
|
Flexibility and Efficiency in a Computer Program for Designing Circuits Mcdermott, Drew Vincent
|
7.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
8.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
9.
|
Socializing and disseminating the academic and intellectual creation: Experiences from La Plata National University De Giusti, Marisa Raquel - Villarreal, Gonzalo Luján
|
10.
|
The Role of Knowledge in Visual Shape Representation Saund, Eric
|