Engineering
AI and Education
AI Language and Architectures
The Butterfly(TM) Lisp System
PDFCIS: A Massively Concurrent Rule-Based System
PDFA Software and Hardware Environment for Developing AI Applications on Parallel Processors
PDFConnection Machine Stereomatching
PDFMerging Objects and Logic Programming: Relational Semantics
PDFDomains in Logic Programming
PDFComments on Kornfeld’s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy
PDF
Applications
Design and Experimentation of an Expert System for Programming In-the-Large
PDFA Knowledge-Based Framework for Design
PDFKnowledge Engineering Issues in VLSI Synthesis
PDFArtificial Intelligence and Design: A Mechanical Engineering View
PDFIntegration of Multiple Knowledge Sources in ALADIN: An Alloy Design System
PDFSaturn: An Automatic Test Generation System for Digital Circuits
PDFAn Expert System for Chorale Harmonization
PDFA Rule-Based System for Document Understanding
PDFQualitative Simulation of Semiconductor Fabrication
PDFKnowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry
PDFPlan Recognition for Airborne Tactical Decision Making
PDFApplication of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry
PDFDesigning for Manufacturability in Riveted Joints
PDFA Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions
PDFSCAT: An Automatic-Programming Tool for Telecommunications Software
PDFPIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data
PDFStarPlan II: Evolution of an Expert System
PDFSystem Integration of Knowledge-Based Maintenance Aids
PDF
Automated Reasoning
Generating Tests by Exploiting Designed Behavior
PDFEvidential Reasoning with Temporal Aspects
PDFA Framework for Evidential-Reasoning Systems
PDFPROTEAN: Deriving Protein Structure from Constraints
PDFBack to Backtracking: Controlling the ATMS
PDFKnowledge-Based Validity Maintenance for Production Systems
PDFA Parallel Self-Modifying Default Reasoning System
PDFTowards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYClN’s Therapy Selection Algorithm
PDFThe Shifting Terminological Space: An Impediment to Evolvability
PDFUsing Qualitative Reasoning to Understand Financial Arithmetic
PDF
Knowledge Acquisition
Knowledge Representation
A Knowledge Representation Technique for Systems Dealing with Hardware Configuration
PDFAGNESS: A Generalized Network-based Expert System Shell
PDFSYNTEL(TM): Knowledge Programming Using Functional Representations
PDFGBB: A Generic Blackboard Development System
PDFISCS-A Tool Kit for Constructing Knowledge-based System Configurators
PDFRecent Developments in NIKL
PDFA Hybrid Structured Object and Constraint Representation Language
PDF
Learning
A System Which Uses Examples to Learn VLSI Structure Manipulation
PDFRefining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning
PDFLearning Arithmetic Problem Solver
PDFThe Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains
PDF
Natural Language
ATRANS Automatic Processing of Money Transfer Messages
PDFRestricting Logic Grammars
PDFA Parser for Portable NL Interfaces Using Graph-Unification-Based Grammars
PDFA Chinese Natural Language Processing System Based Upon the Theory of Empty Categories
PDFAdapting MUMBLE: Experience with Natural Language Generation
PDFGenerating Medical Case Reports with the Linguistic String Parser
PDFA Relational Representation of Modification
PDFCategorical Disambiguation
PDFFocusing and Reference Resolution in PUNDIT
PDF