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
PDFIntegration of Multiple Knowledge Sources in ALADIN: An Alloy Design System
PDFArtificial Intelligence and Design: A Mechanical Engineering View
PDFKnowledge Engineering Issues in VLSI Synthesis
PDFA Knowledge-Based Framework for Design
PDFSCAT: An Automatic-Programming Tool for Telecommunications Software
PDFSystem Integration of Knowledge-Based Maintenance Aids
PDFStarPlan II: Evolution of an Expert System
PDFPIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data
PDFSaturn: An Automatic Test Generation System for Digital Circuits
PDFA Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions
PDFDesigning for Manufacturability in Riveted Joints
PDFApplication of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry
PDFPlan Recognition for Airborne Tactical Decision Making
PDFKnowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry
PDFQualitative Simulation of Semiconductor Fabrication
PDFA Rule-Based System for Document Understanding
PDFAn Expert System for Chorale Harmonization
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
Restricting 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
PDFATRANS Automatic Processing of Money Transfer Messages
PDF