Abstract is missing.
- Mutants in the KBS Testing ProcessMarc Ayel, Ruth Stalker. 7-18
- CT-DATAGEN: A Constraint Based Test Data GeneratorAmar Bendou. 19-29
- Completeness of Knowledge-based SystemsR. Lounis, Marc Ayel. 31-46
- Using Conventional Testing Techniques for KBS: An OverviewSpyros Xanthakis, W. Rabot. 47-58
- Idempotency as a Correctness Property of Rule BasesB. S. Todd. 59-75
- Validating Rule-Based Systems that Operate with Incomplete DataAlun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan. 77-90
- A Tool for Testing Confluence of Production RulesJames G. Schmolze, Wayne Snyder. 91-104
- Verification and Validation Tools in JHExpertJ. Hoelter, C. Rittano, G. Velay. 105-116
- An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance ProceduresÁlvaro Rabelo, Ana Regina Rocha, Agnaldo D. de Souza, Antonio A. Ximenes, Nelson Lobo, Dulcineia Carvalho, João Werther C. S. Filho, Káthia Marçal de Oliveira, Luiz Agnaldo de Souza, Vera Werneck. 117-127
- Software Visualization Based KBS ValidationJohn Domingue. 129-139
- Verification and Correctness Issues for Nonmonotonic Knowledge BasesGrigoris Antoniou. 141-153
- A Modeling Approach to KBS VerificationJan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets. 155-171
- Verifying Coherence in Modular Knowledge BasesBruno Wendler, Marc Ayel. 173-187
- Formal Notions for Verification of Dynamics of Knowledge-Based SystemsJan Treur, Mark Willems. 189-199
- Utilising Explanation to Assist the Refinement of Knowledge-Based SystemsGareth J. Palmer, Susan Craw. 201-211
- Revising and Updating a Corporate MemoryKnut Hinkelmann, Otto Kühn. 213-223
- Rule Base Diagnosis for Debugging: the KB-DIAGO2 SystemFatma Bouali, Stéphane Loiseau. 225-239
- Modelling Validation Seen as a Set of Problem Solving TasksP. Boulitreau-Lefevre, Gilles Kassel. 241-251
- A Performance Model for Knowledge-Based SystemsRemco Straatman, Pascal Beys. 253-263
- An Algebraic Approach to Refinement of KBS SpecificationAnca I. Vermesan, Sigurd Meldal. 265-276
- Using a KADS Inference Structure to Test a KBS BehaviourCorinne Haouche, Jean Charlet. 277-290