Return to Article Details A Categorical Representation Language and Computational System for Knowledge-Based Robotic Task Planning Download Download PDF