Hakim Lounis. Knowledge-Based Systems Verification: A Machine Learning-Based Approach. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 265-276, Universidad Politécnica de Madrid, 1993.
Abstract is missing.