A General Explanation-Based Learning Mechanism and Its ... - DTIC
((P'Q)) --> (P',Q) V -'(PAQ). ,T-. (-,'P,\Q)) --> (pAQ) V -(PAQ). Q.E.D.: NIL ... (Precondition (Subaction 1) (Precondition 1)) (Effect (Subaction 1) (Internal 1)). 
Autres Cours:
