Foundations of Reasoning under Uncertainty