Applications include fault diagnosis, plan formation and default reasoning.
Negation as failure in logic programming can both be given an abductive interpretation and also can be used to implement abduction. The abductive semantics of negation as failure leads naturally to an argumentation-theoretic interpretation of default reasoning in general.
[Better explanation? Example?]
["Abductive Inference", John R. Josephson
See also:FOLDOC, used with permission. Modify if needed.