A Sound and Complete Proof System for Probabilistic Processes.

Fernando Cuartero David de Frutos-Escrig Valentín Valero Ruiz

Published in: ARTS (1997)

Keyphrases

probabilistic model
bayesian networks
generative model
context sensitive
data driven
information theoretic
modal logic
computational models
machine learning
evolutionary algorithm
process model
belief networks
probabilistic reasoning