Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less.

Published in: SEFM (2009)

Keyphrases

expert systems
rule sets
rule extraction
database
model checking
knowledge base
association rules
domain knowledge
knowledge representation
condition monitoring
rule based systems
learning classifier systems
inference engine
human experts
database systems
data mining
databases