Gamble, R. Eighth Workshop on the Validation and Verification of Knowledge-Based Systems. AIMag 1996, 17, 105.