Validation and Verification of Knowledge Based Systems door Anca Vermesan