Proof-Carrying Plans: a Resource Logic for AI Planning.

Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick

Browse the full PPDP paper archive.