Login / Signup
Incremental Verification of Rule-Based Expert Systems.
Pedro Meseguer
Published in:
ECAI (1992)
Keyphrases
</>
rule based expert systems
expert systems
knowledge engineering
rule based systems
rule base
incremental learning
model checking
fuzzy logic
case study
real time
information systems
knowledge base
domain knowledge
case based reasoning
knowledge acquisition