Proof-Carrying Plans: a Resource Logic for AI Planning

Open in new window