Antoniou, G.; van Harmelen, F.; Plant, R.; Vanthienen, J. Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events. AIMag 1998, 19, 123.