Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick. Proof-Carrying Plans: a Resource Logic for AI Planning. In PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020. ACM, 2020. [doi]
Abstract is missing.