Optimizing Real-Time Equational Rule-Based Systems.

Yun-Hong Lee Albert Mo Kim Cheng

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

rule based systems
real time
rule base
rule based expert systems
knowledge representation
security systems
expert systems
backward chaining
formal models
artificial neural networks
knowledge based systems
procedural semantics
genetic algorithm
decision rules
theorem proving