research
∙
05/26/2023
A Categorical Representation Language and Computational System for Knowledge-Based Planning
Classical planning representation languages based on first-order logic h...
share
research
∙
07/13/2021
Encoding Compositionality in Classical Planning Solutions
Classical AI planners provide solutions to planning problems in the form...
research
∙
02/01/2019
