Verifying Resource Requirements for Distributed Rule-Based Systems.

Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib

Published in: RuleML (2008)

Keyphrases

rule based systems
resource requirements
resource allocation
rule base
security systems
rule based expert systems
knowledge representation
expert systems
knowledge based systems
formal models
real time
procedural semantics
backward chaining
control system
data analysis
natural language
pattern recognition