SLDNFA : an abductive procedure for normalabductive

  • programsMarc Denecker, Danny De SchreyeyDepartment
  • Published 1992


The abductive procedure SLDNFA is presented for normal abductive programs. The procedure is a natural extension of SLDNF-resolution and incorporates both abduction and negation as failure. The main diierence between our approach and existing procedures is the treatment of non-ground abductive goals. The soundness of SLD-NFA wrt 3-valued completion semantics… (More)


  • Presentations referencing similar topics