Symbolic and quantitative approaches to reasoning with uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007 ; proceedings (Springer, 2007)