Title: Symbolic and Quantitative Approaches to Uncertainty