Abductive reasoning has widespread application in natural language processing systems. For example, Guessoum, Black, and Gallagher  describe the use of abduction for pronoun resolution. Most of the existing NLP systems use linguistic constraints for eliminating candidate referents, but it is widely recognized that non-linguistic knowledge is required to resolve ambiguities in general (c.f. the textbook example `If the baby doesn't thrive on cows' milk, boil it'). More interesting for our testbed is the work of Quaresma and Lopes  on abduction of plans and intentions in dialogues.
Hustadt  proposes an abductive reasoning method for disjunctive logic programs that has been integrated into MOTEL.