- Thomas D. Nielsen, Nevin Lianwen Zhang, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings. Volume 2711 of Lecture Notes in Computer Science, Springer, 2003.