Hakim Lounis. Integrating Machine-Learning Techniques in Knowledge-Based Systems Verification. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 405-414, Springer, 1993.
Abstract is missing.