Gamble R. Eighth Workshop on the Validation and Verification of Knowledge-Based Systems. AIMag [Internet]. 1996Mar.15 [cited 2024Apr.26];17(2):105. Available from: https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1226