Login / Signup
Rule-Based Modelling, Symmetries, Refinements.
Vincent Danos
Jérôme Feret
Walter Fontana
Russell Harmer
Jean Krivine
Published in:
FMSB (2008)
Keyphrases
</>
expert systems
data driven
rule based systems
artificial intelligence
decision making
databases
data mining
computer vision
three dimensional
hidden markov models
dynamic programming
global constraints