Validation and verification of knowledge-based systems: report on EUROVAV99 | Publicación