Type inference for datalog with complex type hierarchies.

Max Schäfer Oege de Moor

Published in: POPL (2010)

Keyphrases

complex systems
neural network
real world
learning algorithm
high level
probabilistic model
bayesian inference
dynamic bayesian networks