4. EUROVAV 1997:
Leuven, Belgium
Jan Vanthienen, Frank van Harmelen (Eds.):
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.
Katholieke Universiteit Leuven, Belgium 1997 
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
Putting V&V into Practice
Formal Specification, Part I
V&V of Modular Systems
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
Formal Specification, Part II (O-O)
Acknowlegement:
The information on this page was contributed by Hendrik Decker
Last update Sat May 18 18:29:15 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
