- Full text PDF available (3)
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.