Book One
Program Synthesis
Question Ordering In Mixed Initiative Program Specification Dialogue
PDFSome Algorithm Design Methods
PDFAutomatic Goal-Directed Program Transformation
PDFIncremental, Informal Program Acquisition
PDFA Basis for a Theory of Program Synthesis
PDFA Program Model and Knowledge Base for Computer Aided Program Synthesis
PDF
Theorem Proving
An Efficient Relevance Criterion for Mechanical Theorem Proving
PDFOn Proving Laws of the Algebra of FP-Systems in Edinburgh LCF
PDFA Technique for Establishing Completeness Results In Theorem Proving with Equality
PDFAutomatic Generation of Semantic Attachments in FOL
PDFHCPRVR: An Interpreter for Logic Programs
PDFFirst Experiments with Rue Automated Deduction
PDF
Mathematical and Theoretical Foundations
Knowledge Acquisition
Applying General Induction Methods to the Card Game Eleusis
PDFModeling Student Acquisition of Problem-Solving Skills
PDFA Computer Model of Child Language Learning
PDFApproaches to Knowledge Acquisition: The Instructable Production System Project
PDFUsing a Matcher to Make an Expert Consultation System Behave Intelligently
PDFAn Approach to Acquiring and Applying Knowledge
PDFSelf-Correcting Generalization
PDF
Specialized Systems
Intelligent Retrieval Planning
PDFA Theory of Metric Spatial Inference
PDFDesign Sketch for a Million-Element NETL Machine
PDFPerceptual Reasoning In a Hostile Environment
PDFOverview of an Example Generation System
PDFStructure Comparison and Semantic Interpretation of Differences
PDFPerforming Inferences over Recursive Data Bases
PDFPiaget and Artificial Intelligence
PDF
Applications
R1: An Expert In the Computer Systems Domain
PDFRule-Based Models of Legal Expertise
PDFExploiting a Domain Model in an Expert Spectral Analysis Program
PDFProject EPISTLE: A System for the Automatic Analysis of Business Correspondence
PDFA Knowledge Based Design System for Digital Electronics
PDFTheory Directed Reading Diagnosis Research Using Computer Simulation
PDFA Word-Finding Algorithm with a Dynamic Lexical-Semantic Memory for Patients with Anomia Using a Speech Prosthesis
PDFTrouble-Shooting by Plausible Inference
PDFAn Application of the Prospector System to DOE’s National Uranium Resource Evaluation
PDFSome Requirements for a Computer-Based Legal Consultant
PDF