Conferences in DBLP

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

1. 
   Symposium Organization, Contents, Foreword, Index. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:5-15 [Conf]
   
2. Jay Liebowitz
   Expert System Verification and Validation: Issues and U.S. Activities. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:19-27 [Conf]
   
3. Bob J. Wielinga, Hans Akkermans, Guus Schreiber
   Validation and Verification of Knowledge Models. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:29-50 [Conf]
   
4. Jesús Cardeñosa, Natalia Juristo Juzgado
   General Overview of the VALID Project. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:53-67 [Conf]
   
5. Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez
   Validation and Verification of KADS Data and Domain Knowledge. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:69-83 [Conf]
   
6. Susan Craw, Derek H. Sleeman
   Refinement in Response to Validation. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:85-99 [Conf]
   
7. Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker
   A Mechanism for Verification of Knowledge Base Scheme Specifications. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:103-115 [Conf]
   
8. Grigoris Antoniou, Volker Sperschneider
   On the Verification of Modular Logical Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:117-128 [Conf]
   
9. Bruno Wendler, Laurence Vignollet, Stephane Talbot
   Computing Partial Labels in KBS Validation Tools. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1993, pp:129-141 [Conf]
   
10. Sophie Renault
    Validation of Stratified Logic Programs: Methodology and Practical Experience. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:143-157 [Conf]
    
11. Corinne Haouche, Inser Lamsade
    Using a Conceptual Model to Validate KBSs. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:161-173 [Conf]
    
12. Cuno Duursma, Ronald Schrooten, Dolores Cañamero
    Model Ontology Requirements for Domain Model Validation. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:175-189 [Conf]
    
13. Dolores Cañamero, Sabine Geldof, Agnus McIntyre
    Coupling Modeling and Validation in COMMET. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:191-205 [Conf]
    
14. Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez
    A Formal Study of Forward Reasoning Consistency on KBSs. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:209-216 [Conf]
    
15. Heinrich Herre
    Semantical Completeness of Model-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:217-229 [Conf]
    
16. Pascale Hors, Marie-Christine Rousset
    Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:231-245 [Conf]
    
17. Dieudonné Kinielele
    On the Consistency of Fuzzy Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:247-261 [Conf]
    
18. Hakim Lounis
    Knowledge-Based Systems Verification: A Machine Learning-Based Approach. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:265-276 [Conf]
    
19. Daniel Borrajo, Angélica de Antonio
    Cooperation of Machine Learning and Validation. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:277-291 [Conf]
    
20. R. Phelps, W. Aerts, J.-M. Forêt
    Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:293-309 [Conf]
    
21. Catherine Vicat, Patrick Brézillon, Christian Nottola
    Knowledge Validation in the Building of a KBS. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:311-323 [Conf]
    
22. Richard Blondeau
    Towards a Validation Methodology of KBS. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:325-336 [Conf]
    
23. Laurent Gibet
    Validation of KBSs: Towards a Methodological Approach for Space Applications. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1993, pp:337-347 [Conf]