3. EUROVAV 1995: Chambery, France

@proceedings{DBLP:conf/eurovav/1995,
  editor    = {Marc Ayel and
               Marie-Christine Rousset},
  title     = {Proceedings of the European Symposium on the Validation and Verification
               of Knowledge-Based Systems, EUROVAV '95, Chamb{\'e}ry, June
               1995},
  booktitle = {EUROVAV},
  publisher = {ADERIAS-LIA, Universite de Savoie},
  year      = {1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Testing

• Marc Ayel, Ruth Stalker: Mutants in the KBS Testing Process. 7-18 BibTeX
• Amar Bendou: CT-DATAGEN: A Constraint Based Test Data Generator. 19-29 BibTeX
• R. Lounis, Marc Ayel: Completeness of Knowledge-based Systems. 31-46 BibTeX
• Spyros Xanthakis, W. Rabot: Using Conventional Testing Techniques for KBS: An Overview. 47-58 BibTeX

Behavior Verification

• B. S. Todd: Idempotency as a Correctness Property of Rule Bases. 59-75 BibTeX
• Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan: Validating Rule-Based Systems that Operate with Incomplete Data. 77-90 BibTeX
• James G. Schmolze, Wayne Snyder: A Tool for Testing Confluence of Production Rules. 91-104 BibTeX

Knowledge Engineering

• J. Hoelter, C. Rittano, G. Velay: Verification and Validation Tools in JHExpert. 105-116 BibTeX
• Á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: An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance Procedures. 117-127 BibTeX
• John Domingue: Software Visualization Based KBS Validation. 129-139 BibTeX

Correctness Verification

• Grigoris Antoniou: Verification and Correctness Issues for Nonmonotonic Knowledge Bases. 141-153 BibTeX
• Jan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets: A Modeling Approach to KBS Verification. 155-171 BibTeX
• Bruno Wendler, Marc Ayel: Verifying Coherence in Modular Knowledge Bases. 173-187 BibTeX
• Jan Treur, Mark Willems: Formal Notions for Verification of Dynamics of Knowledge-Based Systems. 189-199 BibTeX

Revision and Debugging

• Gareth J. Palmer, Susan Craw: Utilising Explanation to Assist the Refinement of Knowledge-Based Systems. 201-211 BibTeX
• Knut Hinkelmann, Otto Kühn: Revising and Updating a Corporate Memory. 213-223 BibTeX
• Fatma Bouali, Stéphane Loiseau: Rule Base Diagnosis for Debugging: the KB-DIAGO2 System. 225-239 BibTeX

Knowledge Modelling and Validation

• P. Boulitreau-Lefevre, Gilles Kassel: Modelling Validation Seen as a Set of Problem Solving Tasks. 241-251 BibTeX
• Remco Straatman, Pascal Beys: A Performance Model for Knowledge-Based Systems. 253-263 BibTeX
• Anca I. Vermesan, Sigurd Meldal: An Algebraic Approach to Refinement of KBS Specification. 265-276 BibTeX
• Corinne Haouche, Jean Charlet: Using a KADS Inference Structure to Test a KBS Behaviour. 277-290 BibTeX