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…