@@ -12,10 +12,11 @@ Modularity has been recognized in all FLoC-related communities as a critical met
...
@@ -12,10 +12,11 @@ Modularity has been recognized in all FLoC-related communities as a critical met
It is also extremely valuable for comparing and exchanging knowledge across communities, corpora, and tools - a challenge that is both pressing and difficult.
It is also extremely valuable for comparing and exchanging knowledge across communities, corpora, and tools - a challenge that is both pressing and difficult.
Expanding on the Tetrapod workshop at the conference on intelligent computer mathematics (CICM) 2016, this workshop brings together researchers from a diverse set of research areas in order to create a universal understanding of the challenges and solutions regarding highly structured knowledge bases.
Expanding on the Tetrapod workshop at the conference on intelligent computer mathematics (CICM) 2016, this workshop brings together researchers from a diverse set of research areas in order to create a universal understanding of the challenges and solutions regarding highly structured knowledge bases.
Of particular interest are
- foundational principles such as theory graphs and colimits
Of particular interest are
- interchange languages and module systems
* foundational principles such as theory graphs and colimits
- languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
* interchange languages and module systems
* languages and tools for representing, reasoning, computing, managing, and documenting modular knowledge bases
