|
1.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
|
2.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
|
3.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
|
4.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
|
5.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
|
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.
|
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation Bullwinkle, Candace
|
|
12.
|
The Conniver Reference Manual McDermott, Drew V. - Sussman, Gerald Jay
|
|
13.
|
Thesis Progress Report: A System for Representing and Using Real-World Knowledg Fahlman, Scott E.
|
|
14.
|
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities Carr, Brian
|
|
15.
|
A Lexical Conceptual Approach to Generation for Machine Translation Dorr, Bonnie J.
|
|
16.
|
Topics in Model Theory Levin, Michael
|
|
17.
|
Planner Implementation Proposal to ARPA 1972-1973 Hewitt, Carl
|
|
18.
|
Summary of MYCROFT: A System for Understanding Simple Picture Programs Goldstein, Ira P.
|
|
19.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
|
20.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
|
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.
|
Analyzing Natural Images: A Computational Theory of Texture Vision Marr, D.
|
|
29.
|
Wumpus Advisor 1: A First Implementation Program that Tutors Logical and Probabilistic Reasoning Skills Stansfield, James L. - Carr, Brian P. - Goldstein, Ira P.
|
|
30.
|
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols Miller, Mark L. - Goldstein, Ira P.
|
|
31.
|
Assessment and Documentation of a Children's Computer Laboratory Papert, Seymour - Watt, Daniel H.
|
|
32.
|
A Proposal for a Computational Model of Anatomical and Physiological Reasoning Smith, Brian Cantwell
|
|
33.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
|
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.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
|
65.
|
Measuring the Impact of Information Technology on Value and Productivity using a Process-Based Approach: The case for RFID Technology Subirana, Brian - Eckes, Chad - Herman, George - Sarma, Sanjay - Barrett, Michael
|
|
66.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
|
67.
|
Proposal to ARPA for Continued Research on A.I. Minsky, Marvin
|
|
68.
|
The complete typographer: a foundation course for graphic designers working with type Hill, Will C.B.
|
|
69.
|
Quantitative methods for business and economics Burton, Glen - Carroll, George - Wall, Stuart
|
|
70.
|
The Computer as Coach: An Athletic Paradigm for Intellectual Education Goldstein, Ira
|
|
71.
|
The Impact of Processing Time Knowledge on Dynamic Job-Shop Scheduling Wein, Lawrence M. - Ou, Jihong
|
|
72.
|
Belief revision and relevance Falappa, Marcelo Alejandro - Maguitman, Ana Gabriela
|
|
73.
|
Getting a Job: An Analysis of Networking Techniques used by Princeton Students in the Employment Market Ott, Gregory
|
|
74.
|
Multiple Input-Multiple Output Cycle-to-Cycle Control of Manufacturing Processes Rzepniewski, Adam K. - Hardt, David E.
|
|
75.
|
Detecting Digital Forgeries Using Bispectral Analysis Farid, Hany
|
|
76.
|
Pattern definition to refine navigation structure in hypermedia/web applications Casteleyn, Sven - Garrigós Fernández, Irene - Plessers, Peter
|
|
77.
|
La utilización de métodos cualitativos en enfermería, Using qualitative methods in nursing research Zoucha, Rick
|
|
78.
|
Towards semi-supervised learning of semantic spatial concepts for mobile robots Martínez Gómez, Jesús - Caputo, Barbara
|
|
79.
|
Using adaptive techniques to validate and correct an audience driven design of web sites Casteleyn, Sven - Garrigós Fernández, Irene - De Troyer, Olga
|
|
80.
|
Development, validation and application of a biomechanical model of reclined sitting posture Wickett, David
|
|
81.
|
CDGPS-based relative navigation for multiple spacecraft, Carrier-phase Differential Global Positioning System-based relative navigation for multiple spacecraft Mitchell, Megan Leigh, 1978-
|
|
82.
|
Real options approach to capacity planning under uncertainty Mittal, Geetanjali, 1979-
|
|
83.
|
Biomechanical factors to be taken into account to prevent injuries and improve sporting performance on artificial turf Pérez Soriano, Pedro - Llana Belloch, Salvador - Cortell Tormo, Juan Manuel - Pérez Turpin, José Antonio
|
|
84.
|
Speeding up target-language driven part-of-speech tagger training for machine translation Sánchez Martínez, Felipe - Pérez Ortiz, Juan Antonio - Forcada Zubizarreta, Mikel L.
|
|
85.
|
Building the international SME: a global policy response Lloyd-Reason, Lester - Mughan, Terry
|
|
86.
|
Towards a non monotonic description logics model Moguillansky, Martín O. - Falappa, Marcelo Alejandro
|
|
87.
|
Checking semantics in UML models Kahnert, Susana - Fillottrani, Pablo Rubén
|
