3 papers
cs.DC2026
WORKSWORLD: A Domain for Integrated Numeric Planning and Scheduling of Distributed Pipelined Workflows
Taylor Paul, William Regli
This work pursues automated planning and scheduling of distributed data pipelines, or workflows. We develop a general workflow and resource graph representation that includes both…
cs.RO2024
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…
cs.AI2023
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…