Consistency-based abduction with extended disjunctive logic programs