Symbolic and Quantitative Approaches to Reasoning and Uncertainty door Anthony Hunter & Simon Parsons