2. EUROVAV 1993: Palma de Mallorca, Spain

@proceedings{DBLP:conf/eurovav/1993,
  editor    = {Jes{\'u}s Carde{\~n}osa and
               Pedro Meseguer},
  title     = {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},
  booktitle = {EUROVAV},
  publisher = {Universidad Polit{\'e}cnica de Madrid},
  year      = {1993},
  isbn      = {84-604-5817-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Symposium Organization, Contents, Foreword, Index. 5-15 BibTeX

Guest Papers

• Jay Liebowitz: Expert System Verification and Validation: Issues and U.S. Activities. 19-27 BibTeX
• Bob J. Wielinga, Hans Akkermans, Guus Schreiber: Validation and Verification of Knowledge Models. 29-50 BibTeX

ESPRIT Projects on Validation

• Jesús Cardeñosa, Natalia Juristo Juzgado: General Overview of the VALID Project. 53-67 BibTeX
• Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez: Validation and Verification of KADS Data and Domain Knowledge. 69-83 BibTeX
• Susan Craw, Derek H. Sleeman: Refinement in Response to Validation. 85-99 BibTeX

Validation Methods and Techniques

• Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker: A Mechanism for Verification of Knowledge Base Scheme Specifications. 103-115 BibTeX
• Grigoris Antoniou, Volker Sperschneider: On the Verification of Modular Logical Knowledge Bases. 117-128 BibTeX
• Bruno Wendler, Laurence Vignollet, Stephane Talbot: Computing Partial Labels in KBS Validation Tools. 129-141 BibTeX
• Sophie Renault: Validation of Stratified Logic Programs: Methodology and Practical Experience. 143-157 BibTeX

Knowledge Modelling and Validation

• Corinne Haouche, Inser Lamsade: Using a Conceptual Model to Validate KBSs. 161-173 BibTeX
• Cuno Duursma, Ronald Schrooten, Dolores Cañamero: Model Ontology Requirements for Domain Model Validation. 175-189 BibTeX
• Dolores Cañamero, Sabine Geldof, Agnus McIntyre: Coupling Modeling and Validation in COMMET. 191-205 BibTeX

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. 209-216 BibTeX
• Heinrich Herre: Semantical Completeness of Model-Based Diagnosis. 217-229 BibTeX
• Pascale Hors, Marie-Christine Rousset: Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. 231-245 BibTeX
• Dieudonné Kinielele: On the Consistency of Fuzzy Knowledge Bases. 247-261 BibTeX

Validation and Machine Learning

• Hakim Lounis: Knowledge-Based Systems Verification: A Machine Learning-Based Approach. 265-276 BibTeX
• Daniel Borrajo, Angélica de Antonio: Cooperation of Machine Learning and Validation. 277-291 BibTeX

Industrial Approaches to Validation

• R. Phelps, W. Aerts, J.-M. Forêt: Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. 293-309 BibTeX
• Catherine Vicat, Patrick Brézillon, Christian Nottola: Knowledge Validation in the Building of a KBS. 311-323 BibTeX
• Richard Blondeau: Towards a Validation Methodology of KBS. 325-336 BibTeX
• Laurent Gibet: Validation of KBSs: Towards a Methodological Approach for Space Applications. 337-347 BibTeX