conftrace_

theory integration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

network of theories (1) formal ontology (1) distributed ontology language (1) ontology network (1) knowledge representation (1)

Papers

Orchestrating a Network of Mereotopological Theories: An Abridged Report IJCAI 2018