Conferences in DBLP

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

1. Gertjan Beijer
   Validation and Verification of Knowledge Based Systems: a Practitioner's View. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:3- [Conf]
   
2. Luc De Raedt
   Machine Learning for Verification and Validation. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:4- [Conf]
   
3. Alon Y. Levy, Marie-Christine Rousset
   Verification of Knowledge Bases: a Unifying Logical View. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:7-18 [Conf]
   
4. Antoni Ligeza
   Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:19-29 [Conf]
   
5. Amar Bendou, Marc Ayel
   A Symbolic Execution Based Approach for Inspecting Knowledge Bases. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:31-42 [Conf]
   
6. Frans Coenen, Paul E. Dunne
   The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:43-54 [Conf]
   
7. Tim Menzies, Robert F. Cohen
   A Graph Theoretic Optimisation of Temporal Abductive Validation. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:55-68 [Conf]
   
8. Anca I. Vermesan
   Knowledge-Based Systems: Verification and Validation in the view of Certification. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:71-82 [Conf]
   
9. Florence Sellini, Catalina Vargas, Pierre-Alain Yvars
   Considerations About Validation of Knowledge Models in KBE Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1997, pp:83-94 [Conf]
   
10. Marie-Christine Rousset
    Verifying the World Wide Web: a Position Statement. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:95-103 [Conf]
    
11. Dieter Fensel, Arno Schönegge
    Specifying and Verifying Knowledge-Based Systems with KIV. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:107-116 [Conf]
    
12. Frank van Harmelen, Annette ten Teije
    Validation and Verification of Conceptual Models of Diagnosis. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:117-128 [Conf]
    
13. Frank Cornelissen, Catholijn M. Jonker, Jan Treur
    Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:129-142 [Conf]
    
14. Mysore Ramaswamy, Sumit Sarkar
    Global Verification of Knowledge Based Systems via Local Verification of Partitions. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:145-154 [Conf]
    
15. Jan Vanthienen, Christophe Mues, Geert Wets
    Inter-Tabular Verification in an Interactive Environment. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:155-165 [Conf]
    
16. Luis Talavera, Ulises Cortés
    Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:169-179 [Conf]
    
17. Selwyn Piramuthu
    Feature Construction for Verification and Validation of Tabular Knowledge Base Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:181-190 [Conf]
    
18. Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset
    Revision of Rule Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:193-203 [Conf]
    
19. Gareth J. Palmer, Susan Craw
    The Selection of Training Cases for Automated Knowledge Refinement. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:205-215 [Conf]
    
20. Akram I. Salah, Manal A. Ismail
    Object Oriented Knowledge Engineering: A Formal Approach for Verification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:219-230 [Conf]
    
21. Mar Marcos, Sabine Moisan, Angel P. Del Pobil
    A Model-based Approach to the Verification of Program Supervision Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1997, pp:231-241 [Conf]