Lumpability Abstractions of Rule-based Systems

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

Published in: MeCBIC (2010)

Keyphrases

rule based systems
rule base
knowledge representation
security systems
high level
expert systems
knowledge based systems
rule based expert systems
backward chaining
formal models
machine learning
procedural semantics
access control
knowledge acquisition
evolutionary algorithm
computer vision
data mining