Αποστολή με SMS: Semantics and Complexity of Abduction from Default Theories