1. EUROVAV 1991: Cambridge, England, UK

@proceedings{DBLP:conf/eurovav/1991,
  editor    = {Matthew Grisoni},
  title     = {Proceedings of the European Workshop on the Verification and
               Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College,
               Cambridge, England, July 22-24, 1991},
  booktitle = {EUROVAV},
  publisher = {Logica Ltd., Cambridge, UK},
  year      = {1991},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Matthew Grisoni: Foreword.
• Peter Jenkins, Enric Plaza: Co-Chairmen's Introduction.

Theoretical Foundations

• Thomas Hoppe, Pedro Meseguer: On the Terminology of VVT. 3-13
• Cathérine Martin-Mattei: Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems. 15-29
• Luis M. Laita, Julia Couto, Luis de Ledesma: A Formal Study of Consistency of KBSs. 31-38
• Rick Evertsz, Enrico Motta: The Abstract Interpretation of Hybrid Rule/Frame-Based Systems. 39-53
• David Pearce: A Model Based Approach to Validation. 55-67
• Stephane Talbot, Marc Ayel: Consistency and Rules Subject to Exceptions. 69-75
• Lluís Belanche, Ulises Cortés: The Nought Attributes in Knowledge-Based Systems. 77-102
• Maarten van Someren: Structural and Formative Validation of Knowledge Bases. 103-108

Tools and Techniques

• Sylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet: Three Pragmatic Tools for the Validation of Knowledge-Based Systems. 111-123
• Trevor J. M. Bench-Capon, Frans Coenen: Two Aspects of the Validation and Verification of Knowledge Based Systems. 125-132
• Ole J. Mengshoel: KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench. 133-146
• Faruk Polat, H. Altay Güvenir: UVT: A Unification Based Tool for Knowledge Base Verification. 147-163
• Pedro Meseguer: Structural and Performance Metrics for Rule-Based Expert Systems. 165-178
• Verónica Canivell Castillo, Anselmo del Moral Bueno: Evaluation of Knowledge Bases: An Application to Pneumonia. 179-193
• Nigel Shadbolt: Building Valid Knowledge Bases: An ACKnowledge Perspective. 195-210
• Jaume Agustí-Cullell, Enric Plaza, Carles Sierra: Verification by Construction in MILORD. 211-226
• Michèle Sebag, Marc Schoenauer: Using Examples to Refine a Redundant Knowledge Base. 227-236

Industrial Requirements

• Matthew Grisoni: Building Competent Knowledge Based Systems. 239-245
• Paul Krause: Can We formally Specify a Medical Decision Support System? 247-258
• L. Brunessaux: A Pragmatic Approach to Validation: The Industrial Experience of ALPIN. 259-261
• D. Byrne, J. Dewar: The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base. 279-286