Specification and verification of knowledge-based systems (0)

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