Symbolic and Quantitative Approaches to Reasoning and Uncertainty: A two-stage approach to first order default reasoning