Conferences in DBLP

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

1. Matthew Grisoni
   Foreword. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:- [Conf]
   
2. Peter Jenkins, Enric Plaza
   Co-Chairmen's Introduction. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:- [Conf]
   
3. Thomas Hoppe, Pedro Meseguer
   On the Terminology of VVT. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:3-13 [Conf]
   
4. Cathérine Martin-Mattei
   Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:15-29 [Conf]
   
5. Luis M. Laita, Julia Couto, Luis de Ledesma
   A Formal Study of Consistency of KBSs. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:31-38 [Conf]
   
6. Rick Evertsz, Enrico Motta
   The Abstract Interpretation of Hybrid Rule/Frame-Based Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:39-53 [Conf]
   
7. David Pearce
   A Model Based Approach to Validation. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:55-67 [Conf]
   
8. Stephane Talbot, Marc Ayel
   Consistency and Rules Subject to Exceptions. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:69-75 [Conf]
   
9. Lluís Belanche, Ulises Cortés
   The Nought Attributes in Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
   EUROVAV, 1991, pp:77-102 [Conf]
   
10. Maarten van Someren
    Structural and Formative Validation of Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:103-108 [Conf]
    
11. Sylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet
    Three Pragmatic Tools for the Validation of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:111-123 [Conf]
    
12. Trevor J. M. Bench-Capon, Frans Coenen
    Two Aspects of the Validation and Verification of Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:125-132 [Conf]
    
13. Ole J. Mengshoel
    KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:133-146 [Conf]
    
14. Faruk Polat, H. Altay Güvenir
    UVT: A Unification Based Tool for Knowledge Base Verification. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:147-163 [Conf]
    
15. Pedro Meseguer
    Structural and Performance Metrics for Rule-Based Expert Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:165-178 [Conf]
    
16. Verónica Canivell Castillo, Anselmo del Moral Bueno
    Evaluation of Knowledge Bases: An Application to Pneumonia. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:179-193 [Conf]
    
17. Nigel Shadbolt
    Building Valid Knowledge Bases: An ACKnowledge Perspective. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:195-210 [Conf]
    
18. Jaume Agustí-Cullell, Enric Plaza, Carles Sierra
    Verification by Construction in MILORD. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:211-226 [Conf]
    
19. Michèle Sebag, Marc Schoenauer
    Using Examples to Refine a Redundant Knowledge Base. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:227-236 [Conf]
    
20. Matthew Grisoni
    Building Competent Knowledge Based Systems. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:239-245 [Conf]
    
21. Paul Krause
    Can We formally Specify a Medical Decision Support System? [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:247-258 [Conf]
    
22. L. Brunessaux
    A Pragmatic Approach to Validation: The Industrial Experience of ALPIN. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:259-261 [Conf]
    
23. D. Byrne, J. Dewar
    The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base. [Citation Graph (0, 0)][DBLP]
    EUROVAV, 1991, pp:279-286 [Conf]