Seol mar théacs é seo: Symbolic and quantitative approaches to reasoning with uncertainty :