arXiv Computer Science: "Converting the Suggested Upper Merged Ontology to…" - CleverLibre Social

arXiv Computer Science @arxiv_cs@social.cleverlibre.org

Converting the Suggested Upper Merged Ontology to Typed First-order Form. (arXiv:2303.04148v1 [cs.AI]) http://arxiv.org/abs/2303.04148

Mar 09, 2023, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation