AI and space
PREVISE: A knowledge-based system to support the preparation and verification of space operations procedures
SE-TC2: Telecom 2 expert system (The first expert system in a CNES Satellite Control Centre)
A use of case-based reasoning technique in building expert systems
QUATRAIN — A design support tool and a data processing sequence supervisor
Issues in practical model-based diagnosis
A common framework for reasoning on uncertainty both at symbolic and numerical levels
The elements of an open KBS infrastructure
ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems
Book announcement
Author index to volume 9 (1993)
Subject index to volume 9 (1993)
Calendar