Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings - Thomas Dyhre Nielsen, Nevin Lianwen Zhang ((Lecture Notes in Computer Science))