4. EUROVAV 1997: Leuven, Belgium

@proceedings{DBLP:conf/eurovav/1997,
  editor    = {Jan Vanthienen and
               Frank van Harmelen},
  title     = {Proceedings of the Fourth European Symposium on the Validation
               and Verification of Knowledge-Based Systems, EUROVAV'97, June
               26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium},
  booktitle = {EUROVAV},
  publisher = {Katholieke Universiteit Leuven, Belgium},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speeches

• Gertjan Beijer: Validation and Verification of Knowledge Based Systems: a Practitioner's View. 3 BibTeX
• Luc De Raedt: Machine Learning for Verification and Validation. 4 BibTeX

V&V Theory and Techniques

• Alon Y. Levy, Marie-Christine Rousset: Verification of Knowledge Bases: a Unifying Logical View. 7-18 BibTeX
• Antoni Ligeza: Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. 19-29 BibTeX
• Amar Bendou, Marc Ayel: A Symbolic Execution Based Approach for Inspecting Knowledge Bases. 31-42 BibTeX
• Frans Coenen, Paul E. Dunne: The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. 43-54 BibTeX
• Tim Menzies, Robert F. Cohen: A Graph Theoretic Optimisation of Temporal Abductive Validation. 55-68 BibTeX

Putting V&V into Practice

• Anca I. Vermesan: Knowledge-Based Systems: Verification and Validation in the view of Certification. 71-82 BibTeX
• Florence Sellini, Catalina Vargas, Pierre-Alain Yvars: Considerations About Validation of Knowledge Models in KBE Systems. 83-94 BibTeX
• Marie-Christine Rousset: Verifying the World Wide Web: a Position Statement. 95-103 BibTeX

Formal Specification, Part I

• Dieter Fensel, Arno Schönegge: Specifying and Verifying Knowledge-Based Systems with KIV. 107-116 BibTeX
• Frank van Harmelen, Annette ten Teije: Validation and Verification of Conceptual Models of Diagnosis. 117-128 BibTeX
• Frank Cornelissen, Catholijn M. Jonker, Jan Treur: Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. 129-142 BibTeX

V&V of Modular Systems

• Mysore Ramaswamy, Sumit Sarkar: Global Verification of Knowledge Based Systems via Local Verification of Partitions. 145-154 BibTeX
• Jan Vanthienen, Christophe Mues, Geert Wets: Inter-Tabular Verification in an Interactive Environment. 155-165 BibTeX

V&V and Knowledge Discovery

• Luis Talavera, Ulises Cortés: Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning. 169-179 BibTeX
• Selwyn Piramuthu: Feature Construction for Verification and Validation of Tabular Knowledge Base Systems. 181-190 BibTeX

Knowlege Revision

• Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset: Revision of Rule Bases. 193-203 BibTeX
• Gareth J. Palmer, Susan Craw: The Selection of Training Cases for Automated Knowledge Refinement. 205-215 BibTeX

Formal Specification, Part II (O-O)

• Akram I. Salah, Manal A. Ismail: Object Oriented Knowledge Engineering: A Formal Approach for Verification. 219-230 BibTeX
• Mar Marcos, Sabine Moisan, Angel P. Del Pobil: A Model-based Approach to the Verification of Program Supervision Systems. 231-241 BibTeX