Credal Valuation Networks for Machine Reasoning Under Uncertainty