Abstract is missing.
- Co-Chairmen s IntroductionPeter Jenkins, Enric Plaza.
- ForewordMatthew Grisoni.
- On the Terminology of VVTThomas Hoppe, Pedro Meseguer. 3-13
- Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based SystemsCathérine Martin-Mattei. 15-29
- A Formal Study of Consistency of KBSsLuis M. Laita, Julia Couto, Luis de Ledesma. 31-38
- The Abstract Interpretation of Hybrid Rule/Frame-Based SystemsRick Evertsz, Enrico Motta. 39-53
- A Model Based Approach to ValidationDavid Pearce. 55-67
- Consistency and Rules Subject to ExceptionsStephane Talbot, Marc Ayel. 69-75
- The Nought Attributes in Knowledge-Based SystemsLluís Belanche, Ulises Cortés. 77-102
- Structural and Formative Validation of Knowledge BasesMaarten van Someren. 103-108
- Three Pragmatic Tools for the Validation of Knowledge-Based SystemsSylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet. 111-123
- Two Aspects of the Validation and Verification of Knowledge Based SystemsTrevor J. M. Bench-Capon, Frans Coenen. 125-132
- KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering WorkbenchOle J. Mengshoel. 133-146
- UVT: A Unification Based Tool for Knowledge Base VerificationFaruk Polat, H. Altay Güvenir. 147-163
- Structural and Performance Metrics for Rule-Based Expert SystemsPedro Meseguer. 165-178
- Evaluation of Knowledge Bases: An Application to PneumoniaVerónica Canivell Castillo, Anselmo del Moral Bueno. 179-193
- Building Valid Knowledge Bases: An ACKnowledge PerspectiveNigel Shadbolt. 195-210
- Verification by Construction in MILORDJaume Agustí-Cullell, Enric Plaza, Carles Sierra. 211-226
- Using Examples to Refine a Redundant Knowledge BaseMichèle Sebag, Marc Schoenauer. 227-236
- Building Competent Knowledge Based SystemsMatthew Grisoni. 239-245
- Can We formally Specify a Medical Decision Support System?Paul Krause. 247-258
- A Pragmatic Approach to Validation: The Industrial Experience of ALPINL. Brunessaux. 259-261
- The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge BaseD. Byrne, J. Dewar. 279-286