S. K. Michael Wong;Dan Wu
-;-
A symbolic method for structure verification in multiply sectioned Bayesian networks
Design and application of hybrid intelligent systems