Editorial
Classifying and detecting anomalies in hybrid knowledge-based systems
Verification of non-monotonic knowledge bases
Inference engine greediness: subsumption and suboptimality
Applying rule-base anomalies to KADS inference structures
Using goals to design and verify rule bases
A survey of tools for the validation and verification of knowledge-based systems: 1985–1995