TY - CPAPER AU - L. Cholvy BT - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009 CY - Verona; Italy DA - 1-3 July 2009 LA - eng PP - Verona; Italy PY - 2009 T2 - 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2009 TI - Using logic to understand relations between DSmT and Dempster-Shafer theory ER -