Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables | IEEE Conference Publication | IEEE Xplore