Adam Pease | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Josef Urban
55 publications
Chad Brown
2 publications

research

∙ 05/13/2023

Translating SUMO-K to Higher-Order Set Theory

We describe a translation from a fragment of SUMO (SUMO-K) into higher-o...

0 Chad Brown, et al. ∙

research

∙ 03/02/2023

Converting the Suggested Upper Merged Ontology to Typed First-order Form

We describe the translation of the Suggested Upper Merged Ontology (SUMO...

0 Adam Pease, et al. ∙