SLDNFA: an abductive procedure for normal abductive programs
Marc Denecker, Danny De Schreye · Lirias · 1992
A family of extensions of SLDNF-resolution for normal abductive programs is presented. The main difference between our approach and existing procedures is the treatment of non-ground abductive goals. A completion semantics is given and the soundness and completeness of the procedures has been proven. The research presented here, provides a simple framework of abductive procedures, in which a number of parameters can be set, in order to fit the abduction procedure to the application under consideration.