Type Inference in Mathematics.

Published in: Bull. EATCS (2012)

Keyphrases

computer science
bayesian inference
neural network
genetic algorithm
bayesian networks
inference engine
databases
decision making
decision trees
evolutionary algorithm
probabilistic inference
random fields
probabilistic reasoning
multiple types