Seol mar théacs é seo: Semantics and Complexity of Abduction from Default Theories