Antoniou, G., van Harmelen, F., Plant, R. and Vanthienen, J. 1998. Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AI Magazine. 19, 3 (Sep. 1998), 123. DOI:https://doi.org/10.1609/aimag.v19i3.1400.