Corinne Haouche, Jean Charlet. Using a KADS Inference Structure to Test a KBS Behaviour. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 277-290, ADERIAS-LIA, Universite de Savoie, 1995.
Abstract is missing.