Validation and verification of knowledge-based systems: report on EUROVAV99

Frans Coenen, Trevor J. M. Bench-Capon, Robin Boswell, Juliette Dibie-Barthélemy, Barry Eaglestone, Rik Gerrits, Éric Grégoire, Antoni Ligeza, Luis M. Laita, Mieczyslaw L. Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga. Validation and verification of knowledge-based systems: report on EUROVAV99. Knowledge Eng. Review, 15(2):187-196, 2000. [doi]

Abstract

Abstract is missing.