https://denizaydemir.com/tags/computer-science---logic-in-computer-science/ Recent content in Computer Science - Logic in Computer Science on deniz Hugo en-us Sun, 19 Apr 2026 01:04:14 -0400 https://denizaydemir.com/graph/ologs-a-categorical-framework-for-knowledge-representation/69577303-e55c-4543-a5f1-a8850b1bee62/ Tue, 31 Jan 2012 00:00:00 +0000 https://denizaydemir.com/graph/ologs-a-categorical-framework-for-knowledge-representation/69577303-e55c-4543-a5f1-a8850b1bee62/ <p>tags:: <a rel="noopener" class="internal-link broken" data-src="graph/69577303-198c-4cdd-854e-ab9b0f55663a" title="the author has not yet made this block public">00-01</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-c86e-448c-8bbe-4c17fb2e1cbf" title="the author has not yet made this block public">18-01</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-4817-40a7-bf1b-5b6331efbbad" title="the author has not yet made this block public">68p20</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-0521-4196-9d4a-8ff463ce36a2" title="the author has not yet made this block public">68t30</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-a246-4570-8af9-853d37511711" title="the author has not yet made this block public">computer science - artificial intelligence</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-620e-47b7-9d75-75815161ecbd" title="the author has not yet made this block public">computer science - logic in computer science</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-2575-4d76-8a9b-33d3ca19ef10" title="the author has not yet made this block public">h.2.1</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-4a71-486a-a35b-713b726aefc6" title="the author has not yet made this block public">h.5.2</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-5f5f-49a4-b4a0-24d70d98736a" title="the author has not yet made this block public">mathematics - category theory</a>, <a rel="noopener" class="internal-link broken" data-src="graph/69577303-f0bd-48a3-8387-02fa83f23256" title="the author has not yet made this block public">type/external/reference</a><br> day: 2012/01/31 1102.1889 a categorical framework for knowledge representation a categorical framework for knowledge representation ONE ONE I. Spivak]], [[Robert E. Kent]] library](zotero://select/library/items/RCTMVHRL), <a href="https://www.zotero.org/users/8906706/items/RCTMVHRL" rel="noopener">Web library</a></p>