Using a Conceptual Model to Validate KBSs. - Corinne Haouche; Inser Lamsade (EUROVAV, 1993)