default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. EUROVAV 1993: Palma de Mallorca, Spain
- Jesús Cardeñosa Lera, Pedro Meseguer:
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. Universidad Politécnica de Madrid 1993, ISBN 84-604-5817-2 - Symposium Organization, Contents, Foreword, Index. EUROVAV 1993: 5-15
Guest Papers
- Jay Liebowitz:
Expert System Verification and Validation: Issues and U.S. Activities. EUROVAV 1993: 19-27 - Bob J. Wielinga, Hans Akkermans, Guus Schreiber:
Validation and Verification of Knowledge Models. EUROVAV 1993: 29-50
ESPRIT Projects on Validation
- Jesús Cardeñosa Lera, Natalia Juristo Juzgado:
General Overview of the VALID Project. EUROVAV 1993: 53-67 - Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez:
Validation and Verification of KADS Data and Domain Knowledge. EUROVAV 1993: 69-83 - Susan Craw, Derek H. Sleeman:
Refinement in Response to Validation. EUROVAV 1993: 85-99
Validation Methods and Techniques
- Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker:
A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 103-115 - Grigoris Antoniou, Volker Sperschneider:
On the Verification of Modular Logical Knowledge Bases. EUROVAV 1993: 117-128 - Bruno Wendler, Laurence Vignollet, Stephane Talbot:
Computing Partial Labels in KBS Validation Tools. EUROVAV 1993: 129-141 - Sophie Renault:
Validation of Stratified Logic Programs: Methodology and Practical Experience. EUROVAV 1993: 143-157
Knowledge Modelling and Validation
- Corinne Haouche, Inser Lamsade:
Using a Conceptual Model to Validate KBSs. EUROVAV 1993: 161-173 - Cuno Duursma, Ronald Schrooten, Dolores Cañamero:
Model Ontology Requirements for Domain Model Validation. EUROVAV 1993: 175-189 - Dolores Cañamero, Sabine Geldof, Agnus McIntyre:
Coupling Modeling and Validation in COMMET. EUROVAV 1993: 191-205
Formal Approaches to Validation
- Luis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez:
A Formal Study of Forward Reasoning Consistency on KBSs. EUROVAV 1993: 209-216 - Heinrich Herre:
Semantical Completeness of Model-Based Diagnosis. EUROVAV 1993: 217-229 - Pascale Hors, Marie-Christine Rousset:
Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. EUROVAV 1993: 231-245 - Dieudonné Kinielele:
On the Consistency of Fuzzy Knowledge Bases. EUROVAV 1993: 247-261
Validation and Machine Learning
- Hakim Lounis:
Knowledge-Based Systems Verification: A Machine Learning-Based Approach. EUROVAV 1993: 265-276 - Daniel Borrajo, Angélica de Antonio:
Cooperation of Machine Learning and Validation. EUROVAV 1993: 277-291
Industrial Approaches to Validation
- R. Phelps, W. Aerts, J.-M. Forêt:
Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. EUROVAV 1993: 293-309 - Catherine Vicat, Patrick Brézillon, Christian Nottola:
Knowledge Validation in the Building of a KBS. EUROVAV 1993: 311-323 - Richard Blondeau:
Towards a Validation Methodology of KBS. EUROVAV 1993: 325-336 - Laurent Gibet:
Validation of KBSs: Towards a Methodological Approach for Space Applications. EUROVAV 1993: 337-347
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 2025-03-10 20:53 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:
