Abducing through negation as failure: stable models within the independent choice logic