We present the SLDNFA procedure, which integrates two important nonmonotonic paradigms, negation as failure and abduction. The main diierence between SLDNFA and existing approaches is the improved treatment of non-ground abductive goals. We present an extension for temporal reasoning based on Abductive Event Calculus. We show the power of the approach by… (More)
Sablon and Bruynooghe 94] Gunther Sablon and Maurice Bruynooghe. Using the event calculus to integrate planning and learning in an intelligent autonomous agent. In C.