Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Antonucci, Alessandro (Springer International Publishing, 2020)