Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events