Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Kern-Isberner (Springer International Publishing, 2019)