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