Abstract is missing.
- Symposium Organization, Contents, Foreword, Index5-15
- Expert System Verification and Validation: Issues and U.S. ActivitiesJay Liebowitz. 19-27
- Validation and Verification of Knowledge ModelsBob J. Wielinga, Hans Akkermans, Guus Schreiber. 29-50
- General Overview of the VALID ProjectJesús Cardeñosa, Natalia Juristo Juzgado. 53-67
- Validation and Verification of KADS Data and Domain KnowledgeAlain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez. 69-83
- Refinement in Response to ValidationSusan Craw, Derek H. Sleeman. 85-99
- A Mechanism for Verification of Knowledge Base Scheme SpecificationsJuan Carlos Casamayor, Francisco Marqués, Hendrik Decker. 103-115
- On the Verification of Modular Logical Knowledge BasesGrigoris Antoniou, Volker Sperschneider. 117-128
- Computing Partial Labels in KBS Validation ToolsBruno Wendler, Laurence Vignollet, Stephane Talbot. 129-141
- Validation of Stratified Logic Programs: Methodology and Practical ExperienceSophie Renault. 143-157
- Using a Conceptual Model to Validate KBSsCorinne Haouche, Inser Lamsade. 161-173
- Model Ontology Requirements for Domain Model ValidationCuno Duursma, Ronald Schrooten, Dolores Cañamero. 175-189
- Coupling Modeling and Validation in COMMETDolores Cañamero, Sabine Geldof, Agnus McIntyre. 191-205
- A Formal Study of Forward Reasoning Consistency on KBSsLuis M. Laita, Luis de Ledesma, Aurora Pérez, Betty Ramírez. 209-216
- Semantical Completeness of Model-Based DiagnosisHeinrich Herre. 217-229
- Consistency of Structured Knowledge: A Formal Framework Based on Description LogicsPascale Hors, Marie-Christine Rousset. 231-245
- On the Consistency of Fuzzy Knowledge BasesDieudonné Kinielele. 247-261
- Knowledge-Based Systems Verification: A Machine Learning-Based ApproachHakim Lounis. 265-276
- Cooperation of Machine Learning and ValidationDaniel Borrajo, Angélica de Antonio. 277-291
- Improving Validation and Verification of KBSs through Naturally Comprehensible Flow RepresentationsR. Phelps, W. Aerts, J.-M. Forêt. 293-309
- Knowledge Validation in the Building of a KBSCatherine Vicat, Patrick Brézillon, Christian Nottola. 311-323
- Towards a Validation Methodology of KBSRichard Blondeau. 325-336
- Validation of KBSs: Towards a Methodological Approach for Space ApplicationsLaurent Gibet. 337-347