Validation and Verification of Knowledge Based Systems by Anca Vermesan