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

@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

Acknowlegement: The information on this page was contributed by Hendrik Decker

Last update Fri May 25 05:59:47 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page