Antoniou, Grigoris, Frank van Harmelen, Robert Plant, and Jan Vanthienen. “Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events”. AI Magazine 19, no. 3 (September 15, 1998): 123. Accessed April 19, 2024. https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1400.