Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Destercke; Denoeux, Thierry (Springer International Publishing, 2015)