Symbolic and quantitative approaches to reasoning with uncertainty : 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings - Nielsen, Thomas Dyhre; Zhang, Nevin Lianwen (Lecture notes in computer science ;, 2003)