Une unification des algorithmes d'inférence de Pearl et de Jensen.

Olfa Ben Naceur-Mourali Christophe Gonzales

Published in: Rev. d'Intelligence Artif. (2004)

Keyphrases

higher order
theorem proving
covariance matrices
conditional independence
theorem prover
causal models
belief revision
belief change
junction tree
knuth bendix
equational theories
machine learning
learning algorithm
pairwise
relational databases