Αποστολή με SMS: Symbolic and Quantitative Approaches to Reasoning with Uncertainty