Book One
AI Architectures
Recent Developments in Butterfly(TM) Lisp
PDFCCLISP(TM) on the iPSC(TM) Concurrent Computer
PDFA Parallel Resolution Procedure Based on Connection Graph
PDFAchieving Flexibility, Efficiency, and Generality in Blackboard Architectures
PDFForward Chaining Logic Programming with the ATMS
PDFIntegrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture
PDFA Multiprocessor Architecture for Production System Matching
PDFTREAT: A Better Match Algorithm for AI Production Systems
PDFJoshua: Uniform Access to Heterogeneous Knowledge Structures, or, Why Joshing Is Better than Conniving or Planning
PDFCP as a General-Purpose Constraint-Language
PDFNon-Deterministic Lisp with Dependency-Directed Backtracking
PDF
AI and Education
Automated Reasoning
Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report
PDFA Model of Two-Player Evaluation Functions
PDFProof Analogy in Interactive Theorem Proving: A Method to Express and Use It Via Second Order Pattern Matching
PDFComparing Minimax and Product in a Variety of Games
PDFRemoving Redundancies in Constraint Networks
PDFComputational Costs versus Benefits of Control Reasoning
PDFFilming a Terrain under Uncertainty Using Temporal and Probabilistic Reasoning
PDFOn the Expressiveness of Rule-Based Systems for Reasoning with Uncertainty
PDFInferring Formal Software Specifications from Episodic Descriptions
PDFReal-Time Heuristic Search: First Results
PDFReasoning in the Presence of Inconsistency
PDFA New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts
PDFSynthesizing Algorithms with Performance Constraints
PDFThe Deductive Synthesis of Imperative LISP Programs
PDFPath Dissolution: A Strongly Complete Rule of Inference
PDFRevised Dependency-directed Backtracking for Default Reasoning
PDFEfficiency Analysis of Multiple-Context TMSs in Scene Representation
PDFA Parallel Implementation of Iterative-Deepening-A*
PDF
Planning
Reasoning about Exceptions during Plan Execution Monitoring
PDFIncremental Causal Reasoning
PDFAn Investigation into Reactive Planning in Complex Domains
PDFOn Stratified Autoepistemic Theories
PDFPossible Worlds and the Qualification Problem
PDFSimple Causal Minimizations for Temporal Persistence and Projection
PDFUsing Goal Interactions to Guide Planning
PDFCompiling Plan Operators from Domains Expressed in Qualitative Process Theory
PDFModels of Axioms for Time Intervals
PDFLocalized Representation and Planning Methods for Parallel Domains
PDFA Model for Concurrent Actions Having Temporal Extent
PDFThe Consistent Labeling Problem in Temporal Reasoning
PDFThe Satisfiability of Temporal Constraint Networks
PDFValidating Generalized Plans in the Presence of Incomplete Information
PDF
Cognitive Modeling
Rules for the Implicit Acquisition of Knowledge about the User
PDFCase-Based Problem Solving with a Large Knowledge Base of Learned Cases
PDFMaterial Handling: A Conservative Domain for Neural Connectivity and Propagation
PDFAQUA: Asking Questions and Understanding Answers
PDFInformation Retrieval from Never-Ending Stories
PDFAnalogical Processing: A Simulation and Empirical Corroboration
PDFGoal-Based Generation of Motivational Expressions in a Learning Environment
PDFPengi: An Implementation of a Theory of Activity
PDFCompare and Contrast: A Test of Expertise
PDFModular Learning in Neural Networks
PDFReducing Indeterminism in Consultation: A Cognitive Model of User/Librarian Interactions
PDFA Mechanism for Early Piagetian Learning
PDF
Default Reasoning
Incremental Inference: Getting Multiple Agents to Agree on What to Do Next
PDFAn Approach to Default Reasoning Based on a First-Order Conditional Logic
PDFCounterfactual Reasoning with Direct Models
PDFMore on Inheritance Hierarchies with Exceptions: Default Theories and Inferential Distance
PDFA Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks
PDFCircumscriptive Theories: A Logic-Based Framework for Knowledge Representation, Preliminary Report
PDFEmbracing Causality in Formal Reasoning
PDFThe Logic of Representing Dependencies by Directed Graphs
PDFDefault Reasoning through Belief Revision Strategy
PDFA Theory of Default Reasoning
PDF
Knowledge Representation
Intention = Choice + Commitment
PDFTAXI: A Taxonomic Assistant
PDFComplexity in Classificatory Reasoning
PDFAll I Know: An Abridged Report
PDFAlgorithm Synthesis through Problem Reformulation
PDFCuring Anomalous Extensions
PDFSemantically Sound Inheritance for a Formally Defined Frame Language with Defaults
PDFAssimilation: A Strategy for Implementing Self-Reorganizing Knowledge Bases
PDFThe Goal/Subgoal Knowledge Representation for Real-Time Process Monitoring
PDFPartial Compilation of Strategic Knowledge
PDFRepresenting Databases in Frames
PDF
Machine Learning and Knowledge Acquisition
Optimizing the Predictive Value of Diagnostic Decision Rules
PDFLearning to Control a Dynamic Physical System
PDFImproving Inference through Conceptual Clustering
PDFLearning Conjunctive Concepts in Structural Domains
PDFAn Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis
PDFFormulating Concepts According to Purpose
PDFDefining Operationality for Explanation-Based Learning
PDFA KNACK for Knowledge Acquisition
PDFPROLEARN: Towards a Prolog Interpreter that Learns
PDFKnowledge Level Learning in Soar
PDFA Declarative Approach to Bias in Concept Learning
PDFLearning and Representation Change
PDFBAGGER: An EBL System that Extends and Generalizes Explanations
PDF
Natural Language
Interpreting Clues in Conjunction with Processing Restrictions in Arguments and Discourse
PDFUNITRAN: An Interlingual Approach to Machine Translation
PDFRecovering from Erroneous Inferences
PDFInterpretation in Generation
PDFWord-Order Variation in Natural Language Generation
PDFPorting and Extensible Natural Language Interface: A Case History
PDFInference in Text Understanding
PDFThe Acquisition of Conceptual Structure for the Lexicon
PDFAmbiguity Procrastination
PDFMemory-Based Reasoning Applied to English Pronunciation
PDFNondestructive Graph Unification
PDF
Engineering Problem Solving
Making Partial Choices in Constraint Reasoning Problems
PDFPROMPT: An Innovative Design Tool
PDFReasoning about Discontinuous Change
PDFHierarchical Reasoning about Inequalities
PDFPiecewise Linear Reasoning
PDFProbabilistic Semantics for Qualitative Influences
PDFExtracting Qualitative Dynamics from Numerical Experiments
PDFReasoning about Fluids via Molecular Collections
PDFExtending the Mathematics in Qualitative Process Theory
PDFTroubleshooting: When Modeling Is the Trouble
PDFExplanation-Based Failure Recovery
PDFShape and Function in Mechanical Devices
PDFCritical Hypersurfaces and the Quantity Space
PDFAbstraction by Time-Scale in Qualitative Simulation
PDFReasoning with Orders of Magnitude and Approximate Relations
PDF
Robotics
Vision
Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow
PDFRegularization Uses Fractal Priors
PDFEnergy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion
PDFShadow Stereo–Locating Object Boundaries Using Shadows
PDFPerceptual Significance Hierarchy: A Computer Vision Theory for Color Separation
PDFVisual Estimation of 3-D Line Segments from Motion–A Mobile Robot Vision System
PDFThe Sensitivity of Motion and Structure Computations
PDFUsing Generic Geometric Models for Intelligent Shape Extraction
PDFDetecting Runways in Aerial Images
PDFHypothesis Testing in a Computational Theory of Visual Word Recognition
PDFAn Integrated System that Unifies Multiple Shape from Texture Algorithms
PDFSimilitude-lnvariant Pattern Recognition Using Parallel Distributed Processing
PDFRange Image Interpretation of Mail Pieces with Superquadrics
PDFClosed Form Solution to the Structure from Motion Problem from Line Correspondences
PDF
Expert Systems
Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation
PDFMU: A Development Environment for Prospective Reasoning Systems
PDFDiagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation
PDFCAMEX–An Expert System for Process Planning on CNC Machines
PDFA Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits
PDFKADBASE–A Prototype Expert System-Database Interface for Integrated CAE Environments
PDFAn Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process
PDFTEST: A Model-Driven Application Shell
PDFScript-Based Reasoning for Situation Monitoring
PDFAssessing the Maintainability of XCON-in-RlME: Coping with the Problems of a VERY Large Rule-Base
PDFDesign as Refinement Plus Constraint Propagation: The VEXED Experience
PDF