Lumpability abstractions of rule-based systems.

Jérôme Feret Thomas A. Henzinger Heinz Koeppl Tatjana Petrov

Published in: Theor. Comput. Sci. (2012)

Keyphrases

rule based systems
rule base
security systems
knowledge representation
expert systems
procedural semantics
high level
formal models
rule based expert systems
knowledge based systems
neural network
image processing
backward chaining
data structure
feature space
software engineering