Predicate transformers for extended probability and non-determinism.

Klaus Keimel Gordon D. Plotkin

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

first order logic
probability distribution
neural network
machine learning
information retrieval
case study
three dimensional
multi agent systems
probabilistic model
cross entropy