Book One
Automated Reasoning
A Self-Modifying Theorem Prover
PDFFocusing in Plan Recognition
PDFA Forward Inference Engine to Aid in Understanding Specifications
PDFTowards a Better Understanding of Bidirectional Search
PDFQualitative Reasoning With Higher-Order Derivatives
PDFA Theory of Action for MultiAgent Planning
PDFNon-Monotonic Reasoning Using Dempster’s Rule
PDFDiagnosing Circuits With State: An Inherently Underconstrained Problem
PDFMeta-Level Control Through Fault Detection and Diagnosis
PDFA General Bottom-up Procedure for Searching And/Or Graphs
PDFHow to Cope With Anomalies in Parallel Approximate Branch-and-Bound
PDFD-Node Retargeting in Bidirectional Heuristic Search
PDFQualitative Modeling in the Turbojet Engine Domain
PDFKnowledge Inversion
PDFA Mechanical Solution of Schubert’s Steamroller by Many-Sorted Resolution
PDFThe Use of Continuity in a Qualitative Physics
PDFGeneralization Heuristics for Theorems Related to Recursively Defined Functions
PDFChoices Without Backtracking
PDF
Learning
Maintaining Diversity in Genetic Search
PDFConstraint-Based Generalization: LeaMing Game-Playing Plans from Single Examples
PDFGeneralization for Explanation-Based Schema Acquisition
PDFLeaming Operator Transformations
PDFConstraint Limited Generalization: Acquiring Procedures from Examples
PDFLearning Problem Classes by Means of Experimentation and Generalization
PDFLearning About Systems that Contain State Variables
PDFTowards Chunking as a General Leaming Mechanism John E. Laird, Paul S. Rosenbloom, and Allen Newell, Carnegie Mellon University
PDF
Robotics
Perception
Reconstructing a Visible Surface
PDFA System of Plans for Connected Speech Recognition
PDFDomain Independent Object Description and Decomposition
PDFA Representation for Image Curves
PDFShading Into Texture
PDFEfficient Multiresolution Algorithms for Computing Lightness, Shape-from-Shading, and Optical Flow
PDFThe Shape of Subjective Contours
PDFFingerprints Theorems
PDF
Expert Systems
Personal Construct Theory and the Transfer of Human Expertise
PDFClassification Problem Solving William J. Clancey, Stanford University
PDFYES/MVS: A Continuous Real Time Expert System
PDFSelf-Explanatory Financial Planning Models
PDFSelective Abstraction of Al System Activity
PDFContinuous Belief Functions for Evidential Reasoning
PDF
Knowledge Representation
The Tractability of Subsumption in Frame-Based Description Languages
PDFLikelihood, Probability, and Knowledge
PDFA Logic of Implicit and Explicit Belief
PDFA Self-Organizing Retrieval System for Graphs
PDFA Set-Theoretic Framework for the Processing of Uncertain Knowledge
PDFExpressiveness of Languages
PDFProcessing Entailments and Accessing Facts in a Uniform Frame System
PDFConstraint Equations: A Concise Compilable Representation for Quantified Constraints in Semantic Networks
PDFImplicit Ordering of Defaults in Inheritance Systems
PDFVery-High-Level Programming of Knowledge Representation Schemes
PDF