Alasdair Hill

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Planning Problems

Top Venues

Publications

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Actions you can handle: dependent types for AI plans. TyDe@ICFP (2021)
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick
Actions You Can Handle: Dependent Types for AI Plans. CoRR (2021)
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Proof-Carrying Plans: a Resource Logic for AI Planning. CoRR (2020)
Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick
Proof-Carrying Plans: a Resource Logic for AI Planning. PPDP (2020)
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)