1.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
2.
|
A Comparative Analysis of Reinforcement Learning Methods Mataric, Maja
|
3.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|
4.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|
5.
|
Observations on Cognitive Judgments McAllester, David
|
6.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
7.
|
Using English For Indexing and Retrieving Katz, Boris
|
8.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
9.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
10.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
11.
|
Capturing Intuitive Knowledge in Procedural Description Bamberger, Jeanne
|
12.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
13.
|
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation Bullwinkle, Candace
|
14.
|
The Conniver Reference Manual McDermott, Drew V. - Sussman, Gerald Jay
|
15.
|
Thesis Progress Report: A System for Representing and Using Real-World Knowledg Fahlman, Scott E.
|
16.
|
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities Carr, Brian
|
17.
|
Model-Based Reasoning: Troubleshooting Davis, Randall - Hamscher, Walter C.
|
18.
|
Intelligence in Scientific Computing Abelson, Harold - Eisenberg, Michael - Halfact, Mathew - Katzenelson, Jacob - Sacks, Elisha - Sussman, Gerald Jay - Wisdom, Jack - Yip, Ken
|
19.
|
The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems Abelson, Harold
|
20.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
21.
|
Repairing Learned Knowledge Using Experience Winston, Patrick H. - Rao, Satayjit
|
22.
|
A Lexical Conceptual Approach to Generation for Machine Translation Dorr, Bonnie J.
|
23.
|
Topics in Model Theory Levin, Michael
|
24.
|
Planner Implementation Proposal to ARPA 1972-1973 Hewitt, Carl
|
25.
|
Summary of MYCROFT: A System for Understanding Simple Picture Programs Goldstein, Ira P.
|
26.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
27.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
28.
|
Causal Reconstruction Borchardt, Gary C.
|
29.
|
Projective Structure from Two Uncalibrated Images: Structure from Motion and RecRecognition Shashua, Amnon
|
30.
|
Local Versus Global Control Laws for Cooperative Agent Teams Parker, Lynne E.
|
31.
|
Recognition and Structure from One 2D Model View: Observations on Prototypes, Object Classes and Symmetries Poggio, Tomaso - Vetter, Thomas
|
32.
|
Data and Model-Driven Selection Using Color Regions Syeda-Mahmood, Tanveer Fathima
|
33.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
34.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
35.
|
Analyzing Natural Images: A Computational Theory of Texture Vision Marr, D.
|
36.
|
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.
|
37.
|
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols Miller, Mark L. - Goldstein, Ira P.
|
38.
|
Assessment and Documentation of a Children's Computer Laboratory Papert, Seymour - Watt, Daniel H.
|
39.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
40.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
41.
|
Simplifying Decision Trees Quinlan, J.R.
|
42.
|
Extracting Qualitative Dynamics from Numerical Experiments Yip, Kenneth Man-Kam
|
43.
|
A Framework for Representing Knowledge Minsky, Marvin
|
44.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|
45.
|
Corpus-Based Techniques for Word Sense Disambiguation Levow, Gina-Anne
|
46.
|
Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence Weinshall, Daphna
|
47.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
48.
|
A Primitive Control P Feature Eastlake, Donald E., III
|
49.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
50.
|
Linear Separation and Learning Minsky, Marvin - Papert, Seymour
|