Knowledge Base Verification

This publication has 2 references indexed in Scilit:

• Validation of knowledge-based systems
  Published by American Institute of Aeronautics and Astronautics (AIAA) ,1987
• A program testing assistant
  Communications of the ACM, 1982