1.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
2.
|
Using English For Indexing and Retrieving Katz, Boris
|
3.
|
Model-Based Reasoning: Troubleshooting Davis, Randall - Hamscher, Walter C.
|
4.
|
Intelligence in Scientific Computing Abelson, Harold - Eisenberg, Michael - Halfact, Mathew - Katzenelson, Jacob - Sacks, Elisha - Sussman, Gerald Jay - Wisdom, Jack - Yip, Ken
|
5.
|
The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems Abelson, Harold
|
6.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
7.
|
Repairing Learned Knowledge Using Experience Winston, Patrick H. - Rao, Satayjit
|
8.
|
An approach to knowledge assessment in an Intelligent Tutoring System Huapaya, Constanza - Lizarralde, Francisco - Arona, Graciela - Vivas, Jorge
|
9.
|
Cysticercosis: present state of knowledge and perspectives. Flisser, A. - Willms, K. - Laclett, J.P. - Larralde, C. - Ridaura, C. - Beltran, F.
|
10.
|
Academic knowledge mobilization to promote culture change towards openness in education Burgos Aguilar, Vladimir - Ramírez Montoya, María Soledad
|