Stav dette: Symbolic and quantitative approaches to reasoning and uncertainty :