| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Susan Craw, Derek H. Sleeman |
Refinement in Response to Validation.  |
EUROVAV  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Cuno Duursma, Ronald Schrooten, Dolores Cañamero |
Model Ontology Requirements for Domain Model Validation. |
EUROVAV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bob J. Wielinga, Hans Akkermans, Guus Schreiber |
Validation and Verification of Knowledge Models. |
EUROVAV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Laurent Gibet |
Validation of KBSs: Towards a Methodological Approach for Space Applications. |
EUROVAV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez |
A Formal Study of Forward Reasoning Consistency on KBSs. |
EUROVAV |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matthew Grisoni (eds.) |
Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991 |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Peter Jenkins, Enric Plaza |
Co-Chairmen's Introduction. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Lluís Belanche, Ulises Cortés |
The Nought Attributes in Knowledge-Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matthew Grisoni |
Building Competent Knowledge Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | L. Brunessaux |
A Pragmatic Approach to Validation: The Industrial Experience of ALPIN. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Verónica Canivell Castillo, Anselmo del Moral Bueno |
Evaluation of Knowledge Bases: An Application to Pneumonia. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sylvain Petitjean, L. Brunessaux, Jean-Philippe Vaudet |
Three Pragmatic Tools for the Validation of Knowledge-Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Thomas Hoppe, Pedro Meseguer |
On the Terminology of VVT. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Nigel Shadbolt |
Building Valid Knowledge Bases: An ACKnowledge Perspective. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | D. Byrne, J. Dewar |
The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Faruk Polat, H. Altay Güvenir |
UVT: A Unification Based Tool for Knowledge Base Verification. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Jaume Agustí-Cullell, Enric Plaza, Carles Sierra |
Verification by Construction in MILORD. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pedro Meseguer |
Structural and Performance Metrics for Rule-Based Expert Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Matthew Grisoni |
Foreword. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Ole J. Mengshoel |
KVAT: A Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Cathérine Martin-Mattei |
Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Maarten van Someren |
Structural and Formative Validation of Knowledge Bases. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Paul Krause |
Can We formally Specify a Medical Decision Support System? |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Rick Evertsz, Enrico Motta |
The Abstract Interpretation of Hybrid Rule/Frame-Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luis M. Laita, Julia Couto 0001, Luis de Ledesma |
A Formal Study of Consistency of KBSs. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Stephane Talbot, Marc Ayel |
Consistency and Rules Subject to Exceptions. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Danny A. Pearce |
A Model Based Approach to Validation. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Trevor J. M. Bench-Capon, Frans Coenen |
Two Aspects of the Validation and Verification of Knowledge Based Systems. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
| 1 | Michèle Sebag, Marc Schoenauer |
Using Examples to Refine a Redundant Knowledge Base. |
EUROVAV |
1991 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license