Vitalsource Technologies, Inc. Symbolic And Quantitative Approaches To Reasoning With Uncertainty