Alasdair Hill
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2021
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICFP | Actions you can handle: dependent types for AI plans. | Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick |
| 2020 | PPDP | Proof-Carrying Plans: a Resource Logic for AI Planning. | Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick |
| 2019 | PADL | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |