Abductive and Default Reasoning: A Computational Core