|
1.
|
Consensus Knowledge Acquisition Trice, Andrew - Davis, Randall
|
|
2.
|
Taxonomic Syntax for First-Order Inference McAllester, David - Givan, Robert
|
|
3.
|
Toward a Theory of Representation Design Baalen, Jeffrey Van
|
|
4.
|
Causal/Temporal Connectives: Syntax and Lexicon Brent, Michael R.
|
|
5.
|
The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems Abelson, Harold
|
|
6.
|
The Impact of Processing Time Knowledge on Dynamic Job-Shop Scheduling Wein, Lawrence M. - Ou, Jihong
|
|
7.
|
Using Analogy to Acquire Commonsense Knowledge from Human Contributors Chklovski, Timothy
|
|
8.
|
Dynamically Stable Legged Locomotion (September 1985-Septembers1989) Raibert, Marc H. - Brown, H. Benjamin, Jr. - Chepponis, Michael - Koechling, Jeff - Hodgins, Jessica K. - Dustman, Diane - Brennan, W. Kevin - Barrett, David S. - Thompson, Clay M. - Hebert, John Daniell - Lee, Woojin - Borvansky, Lance
|
|
9.
|
KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods Yip, Kenneth Man-Kam
|
|
10.
|
Residual Vibration Reduction in Computer Controlled Machines Singer, Neil C.
|
|
11.
|
Jokes and the Logic of the Cognitive Unconscious Minsky, Marvin
|
|
12.
|
Learning commonsense categorical knowledge in a thread memory system Stamatoiu, Oana L. (Oana Liana), 1981-
|
|
13.
|
Semantics of Inheritance and Attributions in the Description System Omega Attardi, Giuseppe - Simi, Maria
|
|
14.
|
Flavors: Message Passing in the Lisp Machine Weinreb, Daniel - Moon, David
|
|
15.
|
Shaping Inputs to Reduce Vibration: A Vector Diagram Approach Singhose, William
|
|
16.
|
Repairing Learned Knowledge Using Experience Winston, Patrick H. - Rao, Satayjit
|
|
17.
|
Natural Learning Miller, Laurence
|
|
18.
|
Segmentation and Alignment of Speech and Sketching in a Design Environment Adler, Aaron D.
|
|
19.
|
Conclusions from the Commodity Expert Project Stansfield, James L.
|
|
20.
|
Adaptive modeling of GPS receiver clock for integrity monitoring during precision approaches, Adaptive modeling of Global Positioning System receiver clock for integrity monitoring during precision approaches Bednarz, Sean G. (Sean Garrett), 1980-
|
|
21.
|
Border-crossing knowledge networking among multinational firms : the case of R&D facilities Shirvani-Mahdavi, Ali (Ali Agha), 1965-
|
|
22.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
|
23.
|
Inquiring into architectural texts : towards an interpretation of architectural knowledge Purwono, Eko
|
|
24.
|
Re-engineering knowledge networks for development Raghavan, Amrith, 1976-
|
|
25.
|
The architectural design studio as a method of inquiry : a pedagogical model for the development of architectural knowledge Silberberg, Ross Allen
|
|
26.
|
D-SCRIPT: A Computational Theory of Descriptions Moore, Robert C.
|
|
27.
|
The Structure of Mathematical Knowledge Michener, Edwina Rissland
|
|
28.
|
Methodology in architectural design Wiggins, Glenn E
|
|
29.
|
Explicit Control of Reasoning Kleer, Johan de - Doyle, Jon - Steele, Guy L., Jr. - Sussman, Gerald Jay
|
|
30.
|
The Role of Knowledge in Visual Shape Representation Saund, Eric
|
|
31.
|
Qualitative Knowledge, Casual Reasoning and the Localization of Failures Brown, Allen
|
|
32.
|
Knowledge Base Integration: What Can We Learn from Database Integration Research? Lee, Jintae
|
|
33.
|
A Computational Model for the Acquisition and Use of Phonological Knowledge Yip, Kenneth - Sussman, Gerald Jay
|
|
34.
|
Qualitative and Quantitative Knowledge in Classical Mechanics Kleer, Johan De
|
|
35.
|
The Design and Implementation of a Corporate Householding Knowledge Processor to Improve Data Quality Madnick, Stuart - Wang, Richard - Xian, Xiang
|
|
36.
|
Learning Commonsense Categorical Knowledge in a Thread Memory System Stamatoiu, Oana L.
|
|
37.
|
Spatial Knowledge Kuipers, Benjamin
|
|
38.
|
Meta-Rules: Reasoning About Control Davis - Randall
|
|
39.
|
Exemplifying Business Opportunities for Improving Data Quality From Corporate Household Research Madnick, Stuart - Wang, Richard - Chettayar, Krishna - Dravis, Frank - Funk, James - Katz-Haas, Raïssa - Lee, Cindy - Lee, Yang - Xian, Xiang - Bhansali, Sumit
|
|
40.
|
The Progressive Construction of Mind Lawler, Robert W.
|
|
41.
|
On "Learnable" Representations of Knowledge: A Meaning for the Computational Metaphor diSessa, Andrea A.
|
|
42.
|
Frame-based Text Processing Rosenberg, Steven T.
|
|
43.
|
Using English For Indexing and Retrieving Katz, Boris
|
|
44.
|
Reasoning from Incomplete Knowledge in a Procedural Deduction System Moore, Robert Carter
|
|
45.
|
Roles of Knowledge in Motor Learning Atkeson, Christopher Granger
|
|
46.
|
Representing Knowledge of Large-Scale Space Kuipers, Benjamin J.
|
|
47.
|
Introduction to the Calculus of Knowledge Raphael, Bertram
|
|
48.
|
Knowledge Partitioning in the Inter-firm Division of Labor: the case of Automotive Product Development Takeishi, Akira
|
|
49.
|
Artificial Intelligence, Language and the Study of Knowledge Goldstein, Ira - Papert, Seymour
|
|
50.
|
Capturing Intuitive Knowledge in Procedural Description Bamberger, Jeanne
|
|
51.
|
Test Generation Guided Design for Testability Wu, Peng
|
|
52.
|
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion Forbus, Kenneth D.
|
|
53.
|
Description Logic Programs: Combining Logic Programs with Description Logic Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan
|
|
54.
|
The role of knowledge in visual shape representation Saund, Eric
|
|
55.
|
Integration of expert knowledge into computer-controlled databases in the medical domain : HEMAVID, a case study Chueh, Henry C
|
|
56.
|
Toward the 24-Hour Knowledge Factory Gupta, Amar - Seshasai, Satwik
|
|
57.
|
Toward the 24-Hour Knowledge Factory Gupta, Amar - Seshasai, Satwik
|
|
58.
|
Mapping the R&D knowledge network, Mapping the research and development knowledge network Liew, Kou-Yew, 1972-
|
|
59.
|
Understanding Understanding Mathematics Michener, Edwina Rissland
|
|
60.
|
NUDGE, A Knowledge-Based Scheduling Program Goldstein, Ira P. - Roberts, R. Bruce
|
|
61.
|
A Frame for Frames: Representing Knowledge for Recognition Kuipers, Benjamin J.
|
|
62.
|
A Comparative Analysis of Reinforcement Learning Methods Mataric, Maja
|
|
63.
|
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems Zhao, Feng
|
|
64.
|
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces Zhao, Feng
|
|
65.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
|
66.
|
Levels of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation Bullwinkle, Candace
|
|
67.
|
The Conniver Reference Manual McDermott, Drew V. - Sussman, Gerald Jay
|
|
68.
|
Thesis Progress Report: A System for Representing and Using Real-World Knowledg Fahlman, Scott E.
|
|
69.
|
Automated Acquisition of Evolving Informal Descriptions Reubenstein, Howard B.
|
|
70.
|
Generating Circuit Tests by Exploiting Designed Behavior Shirley, Mark Harper
|
|
71.
|
Toward A Model Of Children's Story Comprehension Charniak, Eugene
|
|
72.
|
A Computational Model of Skill Acquisition Sussman, Gerald J.
|
|
73.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
|
74.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
|
75.
|
City knowledge : an emergent information infrastructure for sustainable urban maintenance, management and planning Carrera, Fabio, 1961-
|
|
76.
|
Computational Structure of Human Language Ristad, Eric Sven
|
|
77.
|
Preliminary Survey of Classical Statistical Techniques for Incorporation into Adaptive Evaluation Methodology Minkoff, Alan S.
|
|
78.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
|
79.
|
Artificial Intelligence and Robotics Brady, Michael
|
|
80.
|
Supporting Organizational Problem Solving with a Workstation Barber, Gerald
|
|
81.
|
Proposal to ARPA for Continued Research on A.I. for 1973 Minsky, Marvin - Papert, Seymour
|
|
82.
|
Wusor II: A Computer Aided Instruction Program with Student Modelling Capabilities Carr, Brian
|
|
83.
|
A System for Representing and Using Real-World Knowledge Fahlman, Scott E.
|
|
84.
|
Modular knowledge integration interface for the START natural language engine, Modular knowledge integration interface for the SynTactic Analysis using Reversible Transformations natural language engine Talgar, Levent M. (Levent Mehmet), 1975-
|
|
85.
|
Improving Data Quality Through Effective Use of Data Semantics Madnick, Stuart E.
|
|
86.
|
Managing revisions of rules and guidelines used in clinical information systems : exploring a hierarchical knowledge representation model Scott-Wright, Alicia, 1949-
|
|
87.
|
A Lexical Conceptual Approach to Generation for Machine Translation Dorr, Bonnie J.
|
|
88.
|
Pose-Invariant Face Recognition Using Real and Virtual Views Beymer, David
|
|
89.
|
Growth strategies of small nations : with special reference to Ireland, Finland and Singapore Yeo, Lionel, 1972-
|
|
90.
|
Knowledge-based pitch detection
|
|
91.
|
An object-oriented signal processing environment: the knowledge-based signal processing package
|
|
92.
|
Formalizing knowledge used in spectrogram reading : acoustic and perceptual evidence from stops
|
|
93.
|
An AI Approach to English Morphemic Analysis Winograd, Terry
|
|
94.
|
Topics in Model Theory Levin, Michael
|
|
95.
|
Planner Implementation Proposal to ARPA 1972-1973 Hewitt, Carl
|
|
96.
|
Summary of MYCROFT: A System for Understanding Simple Picture Programs Goldstein, Ira P.
|
|
97.
|
Teaching the Computer to Add: An Example of Problem-Solving in an Anthropomorphic Computer Culture Solomon, Cynthia J.
|
|
98.
|
Leveraging Learning and Language Via Communication Bootstrapping Beal, Jacob
|
|
99.
|
New Progress in Artificial Intelligence Winston, Patrick H.
|
|
100.
|
Efficient Signal, Code, and Receiver Designs for MIMO Communication Systems Yao, Huan
|
