Philippe Lafon
-
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering