William Regli

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Oriented Programming

Theoretic Framework

Classical Planning

Top Venues

IEEE Internet Comput.

IEEE Trans Autom. Sci. Eng.

Publications

Angeline Aguinaldo, Evan Patterson, William Regli
Automating Transfer of Robot Task Plans using Functorial Data Migrations. CoRR (2024)
Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
William Gasarch, Nathan Hayes, Emily Kaplitz, William Regli
Alternative Paradigms of Computation. CoRR (2021)
Angeline Aguinaldo, William Regli
Encoding Compositionality in Classical Planning Solutions. CoRR (2021)
William Regli
Wanted: toolsmiths. Commun. ACM 60 (4) (2017)
William Regli
Past as Prolog(ue): Humans, Machines, and 20 Years of Internet Computing. IEEE Internet Comput. 21 (3) (2017)