Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal


TitleValidation And Verification Of Knowledge Based Systems: Report On Eurovav99
Author(s) Trevor Bench-Capon, Robin Boswell, Frans Coenen, Juliette Dibie-Barthelemy, Barry Eaglestone, Rik Gerrits, Eric Gregoire, Luis M. Laita, Antoni Ligeza, Mieczyslaw Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca Vermesan, Nirmalie Viratunga
TypeTechnical Report, Misc
Abstractthis paper we report on EUROVAV99 the Fifth European Symposium on Veri cation and Validation of Knowledge Based Systems and Components (EUROVAV99 http://www.dnv.no/research/safekbs/eurovav99/) which was held in Oslo in the summer of 1999, and was sponsored by Det Norske Veritas and the British Computer Societys Specialist Group on Expert Systems (SGES). EUROVAV is the leading European conference dedicated to the advancement of the theory and practice of V&V of KBS. Its objective is to bring together researchers from both academia and industry, not only from Europe, but also from all over the world, encouraging all styles of V&V approaches and a variety of application areas.
EUROVAV99 was the fifth in a biannual series, with previous meetings in Cambridge, UK (91), Palma
de Mallorca, Spain (93), Chambery, France (95), Leuven, Belgium (97)
Translation No
Refereed No