Login / Signup
Alasdair Hill
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 5
Top Topics
Theorem Prover
Planning Problems
Ai Planning
Plan Generation
Top Venues
CoRR
PADL
PPDP
TyDe@ICFP
</>
Publications
</>
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)