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

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

---

Applications of V&V

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

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

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

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