1.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
2.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
3.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
4.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
5.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
6.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
7.
|
Capturing Intuitive Knowledge in Procedural Description Bamberger, Jeanne
|
8.
|
A Comparative Analysis of Reinforcement Learning Methods Mataric, Maja
|
9.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|
10.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|
11.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
12.
|
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation Bullwinkle, Candace
|
13.
|
The Conniver Reference Manual McDermott, Drew V. - Sussman, Gerald Jay
|
14.
|
Thesis Progress Report: A System for Representing and Using Real-World Knowledg Fahlman, Scott E.
|
15.
|
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities Carr, Brian
|
16.
|
A Lexical Conceptual Approach to Generation for Machine Translation Dorr, Bonnie J.
|
17.
|
Topics in Model Theory Levin, Michael
|
18.
|
Planner Implementation Proposal to ARPA 1972-1973 Hewitt, Carl
|
19.
|
Summary of MYCROFT: A System for Understanding Simple Picture Programs Goldstein, Ira P.
|
20.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
21.
|
Causal Reconstruction Borchardt, Gary C.
|
22.
|
Projective Structure from Two Uncalibrated Images: Structure from Motion and RecRecognition Shashua, Amnon
|
23.
|
Local Versus Global Control Laws for Cooperative Agent Teams Parker, Lynne E.
|
24.
|
Recognition and Structure from One 2D Model View: Observations on Prototypes, Object Classes and Symmetries Poggio, Tomaso - Vetter, Thomas
|
25.
|
Observations on Cognitive Judgments McAllester, David
|
26.
|
Data and Model-Driven Selection Using Color Regions Syeda-Mahmood, Tanveer Fathima
|
27.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
28.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
29.
|
Analyzing Natural Images: A Computational Theory of Texture Vision Marr, D.
|
30.
|
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.
|
31.
|
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols Miller, Mark L. - Goldstein, Ira P.
|
32.
|
Assessment and Documentation of a Children's Computer Laboratory Papert, Seymour - Watt, Daniel H.
|
33.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
34.
|
Simplifying Decision Trees Quinlan, J.R.
|
35.
|
Extracting Qualitative Dynamics from Numerical Experiments Yip, Kenneth Man-Kam
|
36.
|
A Framework for Representing Knowledge Minsky, Marvin
|
37.
|
Organizing a Global Coordinate System from Local Information on an Amorphous Computer Nagpal, Radhika
|
38.
|
Corpus-Based Techniques for Word Sense Disambiguation Levow, Gina-Anne
|
39.
|
Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence Weinshall, Daphna
|
40.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
41.
|
A Primitive Control P Feature Eastlake, Donald E., III
|
42.
|
ITS 1.5 Reference Manual Eastlake, D. - Greenblatt, R. - Holloway, J. - Knight, T. - Nelson, S.
|
43.
|
Linear Separation and Learning Minsky, Marvin - Papert, Seymour
|
44.
|
Decomposition of a Visual Scene into Three-Dimensional Bodies Guzman, Adolfo
|
45.
|
PROGRAMMER: A Language for Writing Grammars Winograd, Terry
|
46.
|
Proposal to ARPA for Research on Intelligent Automata and Micro-Automation Winston, P. - Horn, B.K.P. - Sussman, G.J.
|
47.
|
Ideas About Management of LISP Data Bases Sandewall, Erik
|
48.
|
Viewing Control Structures as Patterns of Passing Messages Hewitt, Carl
|
49.
|
A Preview of Act 1 Lieberman, Henry
|
50.
|
Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1 Lieberman, Henry
|
51.
|
Open Systems Hewitt, Carl - Jong, Peter de
|
52.
|
Fingerprints Theorems for Zero-Crossings Yuille, A.L. - Poggio, T.
|
53.
|
Surface Reconstruction Preserving Discontinuities Marroquin, J.L.
|
54.
|
Shape and Source from Shading Brooks, Michael J. - Horn, Berthold K.P.
|
55.
|
The Computational Complexity of Two-Level Morphology Barton, G. Edward, Jr.
|
56.
|
Circumscribing Circumscription: A Guide to Relevance and Incompleteness Williams, Brian C.
|
57.
|
Classifying Objects from Visual Information Bobick, Aaron - Richards, Whitman
|
58.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|
59.
|
Formalizing Reusable Software Components in the Programmer's Apprentice Rich, Charles - Waters, Richard C.
|
60.
|
Exploring large-scale acquisition of multilingual semantic models for predicates Atserias Batalla, Jordi - Castillo Valdés, Mauro - Real Vázquez, Francis - Rodríguez Hontoria, Horacio - Rigau Claramunt, German
|
61.
|
Environmental apocalypse in science and art: designing nightmares Fava, Sergio
|
62.
|
Data and Model-Driven Selection Using Parallel-Line Groups Tanveer, S. - Mahmood, F.
|
63.
|
Diagnostic Reasoning Based on Structure and Behavior Davis - Randall
|
64.
|
KUHIFADHI MAZINGIRA:
CULTIVATING CONSERVATION KNOWLEDGE IN
RURAL KENYAN SCHOOLS, CLUBS, AND COMMUNITIES Siller, Stefanie J.
|
65.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
66.
|
New records of three freshwater ascomycetes from an urban lagoon of Tabasco, Mexico Cifuentes, J - González, MC - Rosique Gil, E
|
67.
|
Russian Roulette: The Deadly Game the United States Child Welfare System Plays Sanders, Brittany
|
68.
|
The Essential Dynamics Algorithm: Essential Results Martin, Martin C.
|
69.
|
Priors Stabilizers and Basis Functions: From Regularization to Radial, Tensor and Additive Splines Girosi, Federico - Jones, Michael - Poggio, Tomaso
|
70.
|
UAlacant: using online machine translation for cross-lingual textual entailment Esplà Gomis, Miquel - Sánchez Martínez, Felipe - Forcada Zubizarreta, Mikel L.
|
71.
|
What is provided and what the registered nurse needs - bioscience learning through the pre-registration curriculum Davis, Geraldine M.
|
72.
|
The Political Economy of Ottoman Modernity: Ottoman Economic Thought During the Reign of Abdülhamid II (1876-1909) Kilincoglu, Deniz Taner
|
73.
|
Spinning off new ventures from research institutions outside high tech entrepreneurial areas Degroof, Jean-Jacques
|
74.
|
Understanding Simple Picture Programs Goldstein, Ira P.
|
75.
|
Synchronous collaboration of virtual and remote laboratories Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Dormido Bencomo, Sebastián - Esquembre Martínez, Francisco
|
76.
|
Prediction of TF target sites based on atomistic models of protein-DNA complexes Angarica, VE - Perez, AG - Vasconcelos, AT - Collado-Vides, J - Contreras-Moreira, B
|
77.
|
Controlling open quantum systems Fortunato, Evan Matthew
|
78.
|
Copying low spatial frequency diffraction gratings in photopolymer as phase holograms Pascual Villalobos, Inmaculada - Márquez Ruiz, Andrés - Beléndez Vázquez, Augusto - Fimia Gil, Antonio - Campos Coloma, Juan - Yzuel Giménez, María Josefa
|
79.
|
Monitoring strategic goals in data warehouses with awareness requirements Souza, Vítor E. Silva - Mazón López, José Norberto - Garrigós Fernández, Irene - Trujillo Mondéjar, Juan Carlos - Mylopoulos, John
|
80.
|
Experience of light : the use of an inverse method and a genetic algorithm in daylight design Chutarat, Acharawan
|
81.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|
82.
|
An approach for identifying design principles in argument systems Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|