Zaslat SMS: Symbolic and quantitative approaches to reasoning and uncertainty :