Sciweavers

12 search results - page 3 / 3
» The Modular Structure of an Ontology: An Empirical Study
Sort
View
ISEMANTICS
2010
13 years 7 months ago
STEX+: a system for flexible formalization of linked data
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...
Andrea Kohlhase, Michael Kohlhase, Christoph Lange...
AI
2008
Springer
13 years 5 months ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman