172 citations · 234 across the 38 of their papers we have counts for
Showing 2011 · cs.LOShow all
3 papers · 2 filters
cs.LO2011
The Standard Aspect of Dialectical Logic
Robert E. Kent
Dialectical logic is the logic of dialectical processes. The goal of dialectical logic is to introduce dynamic notions into logical computational systems. The fundamental notions o…
cs.LO2011
A KIF Formalization for the IFF Category Theory Ontology
Robert E. Kent
This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper…
cs.LO2011★ 172 cited
Ologs: a categorical framework for knowledge representation
David I. Spivak, Robert E. Kent
In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulat…