Symbolic and Quantiative Approaches to Resoning with Uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings - Linda C. Gaag ((Lecture Notes in Computer Science))