61 citations · 61 across the 2 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
A Categorical Representation Language and Computational System for Knowledge-Based Planning
Angeline Aguinaldo, Evan Patterson, James Fairbanks +2
Classical planning representation languages based on first-order logic have preliminarily been used to model and solve robotic task planning problems. Wider adoption of these repre…
cs.AI2021
Encoding Compositionality in Classical Planning Solutions
Angeline Aguinaldo, William Regli
Classical AI planners provide solutions to planning problems in the form of long and opaque text outputs. To aid in the understanding transferability of planning solutions, it is n…