1 citations · 3 across the 5 of their papers we have counts for
5 papers
Automating Transfer of Robot Task Plans using Functorial Data Migrations
Angeline Aguinaldo, Evan Patterson, William Regli
This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Fun…
GATlab: Modeling and Programming with Generalized Algebraic Theories
Owen Lynch, Kris Brown, James Fairbanks +1
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathemat…
A Compositional Framework for First-Order Optimization
Tyler Hanks, Matthew Klawonn, Evan Patterson +2
Optimization decomposition methods are a fundamental tool to develop distributed solution algorithms for large scale optimization problems arising in fields such as machine learnin…
The diagrammatic presentation of equations in categories
Kevin Arlin, James Fairbanks, Tim Hosgood +1
Lifts of categorical diagrams against discrete opfibrations can be interpreted as presenting solutions to systems…
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…