Specification and verification of knowledge-based systems (1996)

by D Fensel, A Schoenegge, R Groenboom, B Wielinga
Venue:In Proc. Workshop on Validation, Verification, and Refinement of Knowledge-Based Systems, 12th European Conf. on Artifical Intelligence (ECAI ´96