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
• Luc De Raedt: Machine Learning for Verification and Validation. 4

V&V Theory and Techniques

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

Putting V&V into Practice

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

Formal Specification, Part I

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

V&V of Modular Systems

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

V&V and Knowledge Discovery

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

Knowlege Revision

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

Formal Specification, Part II (O-O)

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