Type Inference in Z.

J. Michael Spivey Bernard Sufrin

Published in: Z User Workshop (1989)

Keyphrases

probabilistic inference
data mining
bayesian inference
inference engine
databases
image processing
bayesian networks
search algorithm
multi agent systems
inference process