• 
  Anca I. Vermesan, Frans Coenen (Eds.): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. Kluwer 1999 ISBN 0-7923-8645-0 [ contents ]

Conference Report (by Frans Coenen)

• 
  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 [ contents ]

• 
  Marc Ayel, Marie-Christine Rousset (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, June 1995. ADERIAS-LIA, Universite de Savoie 1995 [ contents ]

• 
  Jesús Cardeñosa, Pedro Meseguer (Eds.): Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. Universidad Politécnica de Madrid 1993 ISBN 84-604-5817-2, (Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial) [ contents ]

• 
  Matthew Grisoni (Ed.): Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991. Logica Ltd., Cambridge, UK 1991 [ contents ]

data released under the ODC-BY 1.0 license. See also our legal information page

last updated on 2013-10-16T203152 by the dblp team