Conferences in DBLP

European Symposium on Validation and Verification of Knowledge Based Systems (EUROVAV) (eurovav)
1995 (conf/eurovav/1995)

1. Marc Ayel, Ruth Stalker
   Mutants in the KBS Testing Process. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:7-18 [Conf]
   
2. Amar Bendou
   CT-DATAGEN: A Constraint Based Test Data Generator. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:19-29 [Conf]
   
3. R. Lounis, Marc Ayel
   Completeness of Knowledge-based Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:31-46 [Conf]
   
4. Spyros Xanthakis, W. Rabot
   Using Conventional Testing Techniques for KBS: An Overview. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:47-58 [Conf]
   
5. B. S. Todd
   Idempotency as a Correctness Property of Rule Bases. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:59-75 [Conf]
   
6. Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan
   Validating Rule-Based Systems that Operate with Incomplete Data. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:77-90 [Conf]
   
7. James G. Schmolze, Wayne Snyder
   A Tool for Testing Confluence of Production Rules. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:91-104 [Conf]
   
8. J. Hoelter, C. Rittano, G. Velay
   Verification and Validation Tools in JHExpert. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:105-116 [Conf]
   
9. Á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. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1995, pp:117-127 [Conf]
   
10. John Domingue
    Software Visualization Based KBS Validation. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:129-139 [Conf]
    
11. Grigoris Antoniou
    Verification and Correctness Issues for Nonmonotonic Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:141-153 [Conf]
    
12. Jan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets
    A Modeling Approach to KBS Verification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:155-171 [Conf]
    
13. Bruno Wendler, Marc Ayel
    Verifying Coherence in Modular Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:173-187 [Conf]
    
14. Jan Treur, Mark Willems
    Formal Notions for Verification of Dynamics of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:189-199 [Conf]
    
15. Gareth J. Palmer, Susan Craw
    Utilising Explanation to Assist the Refinement of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:201-211 [Conf]
    
16. Knut Hinkelmann, Otto Kühn
    Revising and Updating a Corporate Memory. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:213-223 [Conf]
    
17. Fatma Bouali, Stéphane Loiseau
    Rule Base Diagnosis for Debugging: the KB-DIAGO2 System. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:225-239 [Conf]
    
18. P. Boulitreau-Lefevre, Gilles Kassel
    Modelling Validation Seen as a Set of Problem Solving Tasks. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:241-251 [Conf]
    
19. Remco Straatman, Pascal Beys
    A Performance Model for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:253-263 [Conf]
    
20. Anca I. Vermesan, Sigurd Meldal
    An Algebraic Approach to Refinement of KBS Specification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:265-276 [Conf]
    
21. Corinne Haouche, Jean Charlet
    Using a KADS Inference Structure to Test a KBS Behaviour. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1995, pp:277-290 [Conf]