doi:10.1017/S0269888900007281

Bouali F, Loiseau S and Rousset MC, 1994. “KBS correction: a proposal based on diagnosis theory”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 21–29.

Fensel C and van Harmelen F, 1994. “A comparison of languages which operationalise and formalise KADS models of expertise”. Knowledge Engineering Review9105–146.

Menzies T and Gambetta W, 1994. “Exhaustive abduction: a practical model validation tool”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp. 70–76.

Preece A, Shinghal R and Batarekh A, 1992. “Principles and practice in verifying rule-based systems”. Knowledge Engineering Review7115–141.

Treur J and Willems M., 1994. “On verification in compositional knowledge-based systems”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 4–20.

Vermesan A and Wergeland T, 1994. “A formal approach to knowledge base refinement and verification”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 42–52.

Wendler B and Vignollet L, 1994. “Verification of the coherence of modular knowledge bases”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 77–85.

Weusten M, 1994. “Validation and verification in legal knowledge based systems”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 53–69.

Zlatareva N, 1994. “Checking non-monotonic knowledge bases for inconsistencies and incompleteness”. In: Proceedings of the ECAI-94 Workshop on Validation of Knowledge-based Systems, pp 30–40.