3. EUROVAV 1995: Chambery, France

Marc Ayel, Marie-Christine Rousset (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995. ADERIAS-LIA, Universite de Savoie 1995

@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
Amar Bendou: CT-DATAGEN: A Constraint Based Test Data Generator. 19-29
R. Lounis, Marc Ayel: Completeness of Knowledge-based Systems. 31-46
Spyros Xanthakis, W. Rabot: Using Conventional Testing Techniques for KBS: An Overview. 47-58

Behavior Verification

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

Knowledge Engineering

J. Hoelter, C. Rittano, G. Velay: Verification and Validation Tools in JHExpert. 105-116
Á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
John Domingue: Software Visualization Based KBS Validation. 129-139

Correctness Verification

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

Revision and Debugging

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

Knowledge Modelling and Validation

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

Acknowlegement: The information on this page were contributed by Hendrik Decker and Marc Ayel

Last update Tue Feb 14 03:55:42 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page