Verification of Multi-Level Rule-Based Expert Systems.

Published in: AAAI (1991)

Keyphrases

rule based expert systems
expert systems
rule based systems
knowledge engineering
rule base
knowledge representation
model checking
knowledge acquisition
signature verification
verification method
neural network
case based reasoning
knowledge based systems