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