Generalized Stable Models: A Semantics for Abduction