この資料をSMS送信: Semantics and Complexity of Abduction from Default Theories