| Vol-16 © 1998 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

# Proceedings of the

# 1998 European Workshop on Validation and Verification of Knowledge-Based Systems

KR'98, IRST, Povo -- Trento, Italy
June 6 - 8, 1998
Edited by

### Frank van Harmelen Vrije Universiteit Amsterdam, The Netherlands

The contributions to the workshop are grouped in four sections:

- Applications of V&V
- V&V of Agents
- Methods & Tools for V&V
- Relations with Knowledge Representation

Click on any of the linked titles below to obtain a PDF version of the paper.

Foreword Frank van Harmelen frankh@cs.vu.nl

##

Applications of V&V

Multi-Level Verification of Clinical Protocols
Georg Duftschmid, Silvia Miksch, Yuval Shahar and Peter Johnson, georg.duftschmid@akh-wien.ac.at

Knowledge-Based Systems for power system control centers: validation and verification?
Zita Vale, Carlos Ramos, Jorge Santos, M. Fernandes, C. Rosado, A. Marques, zav@fe.up.pt

##

V&V of Agents

Inductive verification and validation of multi agent systems
Nico Jacobs. Kurt Driessens, Luc De Raedt, nico@cs.kuleuven.ac.be

Multiagent Systems Verification via Model Checking
M. Benerecetti, F. Giunchiglia and L. Serafini, bene@cs.unitn.it

Compositional Verification of Agents in Dynamic Environments: a Case Study
Catholijn Jonker, Jan Treur, Wieke de Vries, wieke@cs.vu.nl

##

Methods & Tools for V&V

Declarative Formalization of Heuristics
Josefina Sierra, jsierra@cs.stanford.edu

Verifying and Validating a Task/Method Knowledge-Base
Francky Trichet & Pierre Tchounikine, trichet@irin.univ-nantes.fr

MECORI: a method for knowledge base semantic verification based on integrity constraints
Jaime Ramirez, Angelica de Anronio

Formal methods in the development of safety critical Knowledge-Based components
Giovanna Dondossola, dondossola@pea.enel.it

##

Relations with Knowledge Representation

Extracting complete and consistent knowledge patterns from data
G. Wets, J. Vanthienen, C. Mues, H. Timmermans, geert.wets@econ.kuleuven.ac.be

Characterising approximate problem solving: by partially fulfilled pre- and postconditions.
Frank van Harmelen and Annette ten Teije, frankh@cs.vu.nl

Lower Bounds on the Size of Test Data Sets
Tim Menzies, Sam Waugh, timm@cse.unsw.edu.au

submitted by Frank van Harmelen, March, 26, 1999