Strictness, totality, and non-standard-type inference.

Mario Coppo Ferruccio Damiani Paola Giannini

Published in: Theor. Comput. Sci. (2002)

Keyphrases

real time
belief networks
bayesian inference
multiresolution
model selection
probabilistic inference
inference engine
efficient learning