Book One
Automated Reasoning
Diagnosing Circuits With State: An Inherently Underconstrained Problem
PDFThe Use of Continuity in a Qualitative Physics
PDFA Mechanical Solution of Schubert’s Steamroller by Many-Sorted Resolution
PDFKnowledge Inversion
PDFQualitative Modeling in the Turbojet Engine Domain
PDFD-Node Retargeting in Bidirectional Heuristic Search
PDFHow to Cope With Anomalies in Parallel Approximate Branch-and-Bound
PDFA General Bottom-up Procedure for Searching And/Or Graphs
PDFMeta-Level Control Through Fault Detection and Diagnosis
PDFNon-Monotonic Reasoning Using Dempster’s Rule
PDFA Theory of Action for MultiAgent Planning
PDFQualitative Reasoning With Higher-Order Derivatives
PDFTowards a Better Understanding of Bidirectional Search
PDFA Forward Inference Engine to Aid in Understanding Specifications
PDFFocusing in Plan Recognition
PDFA Self-Modifying Theorem Prover
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