Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Springer Berlin Heidelberg, 2020)