default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. EUROVAV 1991: Cambridge, England, UK
- Matthew Grisoni:
Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. Logica Ltd., Cambridge, UK 1991 - Matthew Grisoni:
Foreword. EUROVAV 1991 - Peter Jenkins, Enric Plaza:
Co-Chairmen's Introduction. EUROVAV 1991
Theoretical Foundations
- Thomas Hoppe, Pedro Meseguer:
On the Terminology of VVT. EUROVAV 1991: 3-13 - Cathérine Martin-Mattei:
Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems. EUROVAV 1991: 15-29 - Luis M. Laita, Julia Couto, Luis de Ledesma:
A Formal Study of Consistency of KBSs. EUROVAV 1991: 31-38 - Rick Evertsz, Enrico Motta:
The Abstract Interpretation of Hybrid Rule/Frame-Based Systems. EUROVAV 1991: 39-53 - Danny A. Pearce:
A Model Based Approach to Validation. EUROVAV 1991: 55-67 - Stephane Talbot, Marc Ayel:
Consistency and Rules Subject to Exceptions. EUROVAV 1991: 69-75 - Lluís Belanche, Ulises Cortés:
The Nought Attributes in Knowledge-Based Systems. EUROVAV 1991: 77-102 - Maarten van Someren:
Structural and Formative Validation of Knowledge Bases. EUROVAV 1991: 103-108
Tools and Techniques
- Sylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet:
Three Pragmatic Tools for the Validation of Knowledge-Based Systems. EUROVAV 1991: 111-123 - Trevor J. M. Bench-Capon, Frans Coenen:
Two Aspects of the Validation and Verification of Knowledge Based Systems. EUROVAV 1991: 125-132 - Ole J. Mengshoel:
KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench. EUROVAV 1991: 133-146 - Faruk Polat, H. Altay Güvenir:
UVT: A Unification Based Tool for Knowledge Base Verification. EUROVAV 1991: 147-163 - Pedro Meseguer:
Structural and Performance Metrics for Rule-Based Expert Systems. EUROVAV 1991: 165-178 - Verónica Canivell Castillo, Anselmo del Moral Bueno:
Evaluation of Knowledge Bases: An Application to Pneumonia. EUROVAV 1991: 179-193 - Nigel Shadbolt:
Building Valid Knowledge Bases: An ACKnowledge Perspective. EUROVAV 1991: 195-210 - Jaume Agustí-Cullell, Enric Plaza, Carles Sierra:
Verification by Construction in MILORD. EUROVAV 1991: 211-226 - Michèle Sebag, Marc Schoenauer:
Using Examples to Refine a Redundant Knowledge Base. EUROVAV 1991: 227-236
Industrial Requirements
- Matthew Grisoni:
Building Competent Knowledge Based Systems. EUROVAV 1991: 239-245 - Paul Krause:
Can We formally Specify a Medical Decision Support System? EUROVAV 1991: 247-258 - L. Brunessaux:
A Pragmatic Approach to Validation: The Industrial Experience of ALPIN. EUROVAV 1991: 259-261 - D. Byrne, J. Dewar:
The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base. EUROVAV 1991: 279-286
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-04 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
