An alternative verification and validation technique for an alternative knowledge representation and acquisition technique

This publication has 18 references indexed in Scilit:

• Verification and validation with ripple-down rules
  International Journal of Human-Computer Studies, 1996
• Peirs: A pathologist-maintained expert system for the interpretation of chemical pathology reports
  Pathology, 1993
• A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools
  Knowledge Acquisition, 1992
• Principles and practice in verifying rule-based systems
  The Knowledge Engineering Review, 1992
• Logic programs with exceptions
  New Generation Computing, 1991
• A philosophical basis for knowledge acquisition
  Knowledge Acquisition, 1990
• LEARNING NESTED DIFFERENCES OF INTERSECTION-CLOSED CONCEPT CLASSES
  Published by Elsevier ,1989
• A decision-table-based processor for checking completeness and consistency in rule-based expert systems
  International Journal of Man-Machine Studies, 1987
• Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design
  IEEE Expert, 1986
• The knowledge level
  Artificial Intelligence, 1982