Plant, R. The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems. AIMag 1995, 16, 69.