Constraining rule-based dynamics with types.

Vincent Danos Russell Harmer Glynn Winskel

Published in: Math. Struct. Comput. Sci. (2013)

Keyphrases

expert systems
rule based systems
genetic algorithm
decision trees
multiscale
wide range
multiresolution
data model
data driven
temporal evolution