Cited By
View all- Hill AKomendantskaya EDaggitt MPetrick RKo HOrchard D(2021)Actions you can handle: dependent types for AI plansProceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3471875.3472990(1-13)Online publication date: 18-Aug-2021
- Hill AKomendantskaya EPetrick RGabbrielli MAbel ACheney J(2020)Proof-Carrying Plans: a Resource Logic for AI PlanningProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming10.1145/3414080.3414094(1-13)Online publication date: 8-Sep-2020