GATAS Lab, University Florida
About
Members
Seminars
Current Work
Blog
A Categorical Representation Language and Computational System for Knowledge-Based Planning