Plant, R. 1995. The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems. AI Magazine. 16, 3 (Sep. 1995), 69. DOI:https://doi.org/10.1609/aimag.v16i3.1151.