Title: Validation & Verification of Knowledge-Based Systems
Subjects: Expert systems (computer science)