Methods for Coherent and Exact Inference