Preface
VALID: An environment for validation of KBS
Validation and verification of KADS data and domain knowledge
Refinement in response to validation
On the verification of modular logical knowledge bases
Coupling modeling and validation in COMMET
Consistency of structured knowledge: A formal framework based on description logics
Knowledge-based systems verification: A machine learning-based approach
Knowledge validation in the building of a knowledge-based system
NTIS section
Editorial: Software survey section