Symbolic and quantitative approaches to reasoning and uncertainty European conference, ECSQARU '95, Fribourg, Switzerland, July 3 - 5, 1995 ; proceedings (Springer, 1995)