Correctness principles for rule-based expert systems

This publication has 6 references indexed in Scilit:

• The modeling issues inherent in testing and evaluating knowledge-based systems
  Expert Systems with Applications, 1990
• Formal theories of knowledge in AI and robotics
  New Generation Computing, 1985
• Projection Pursuit
  The Annals of Statistics, 1985
• Conway's Prime Producing Machine
  Mathematics Magazine, 1983
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• SLINK: An optimally efficient algorithm for the single-link cluster method
  The Computer Journal, 1973