research
∙
05/26/2023
A Categorical Representation Language and Computational System for Knowledge-Based Planning
Classical planning representation languages based on first-order logic h...
share
research
∙
02/11/2023
Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves
Algorithmicists are well-aware that fast dynamic programming algorithms ...
research
∙
06/07/2022
Compositional Exploration of Combinatorial Scientific Models
We implement a novel representation of model search spaces as diagrams o...
research
∙
02/28/2022
An Algebraic Framework for Structured Epidemic Modeling
Pandemic management requires that scientists rapidly formulate and analy...
research
∙
11/02/2021
Double pushout rewriting of C-sets
We generalize a pushout complement algorithm from graph rewriting to fin...
research
∙
06/08/2021
Categorical Data Structures for Technical Computing
Many mathematical objects can be represented as functors from finitely-p...
research
∙
05/11/2020
Compositional Scientific Computing with Catlab and SemanticModels
Scientific computing is currently performed by writing domain specific m...
research
∙
08/25/2019
Unsupervised Construction of Knowledge Graphs From Text and Code
The scientific literature is a rich source of information for data minin...
research
∙
07/01/2019