Two aspects of the validation and verification of knowledge-based systems | IEEE Journals & Magazine | IEEE Xplore