Title: Validating and verifying knowledge-based systems
Subjects: Expert systems (Computer science), Validation, Verification