From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

KB_Bio_101: A Challenge for TPTP First-Order Reasoners, , и . In KInAR - Knowledge Intensive Automated Reasoning Workshop at CADE-24, the 24th International Conference on Automated Deduction, Lake Placid, New York, USA, (июня 2013)Inconsistency Monitoring in a Large Scientific Knowledge Base., , , и . EKAW, том 8876 из Lecture Notes in Computer Science, стр. 66-79. Springer, (2014)Large-Scale Analogical Reasoning., , , , и . AAAI, стр. 359-365. AAAI Press, (2014)KB_Bio_101: a repository of graph-structured knowledge., , и . E-LKR, том 882 из CEUR Workshop Proceedings, CEUR-WS.org, (2012)KB_Bio_101: Content and Challenges., , , и . FOIS, том 267 из Frontiers in Artificial Intelligence and Applications, стр. 415-420. IOS Press, (2014)Object-Oriented Knowledge Bases in Logic Programming, , и . Technical Communications of 29th International Conference on Logic Programming (ICLP), Istanbul, Turkey, (августа 2013)Automatic Strengthening of Graph-Structured Knowledge Bases - Or: How to Identify Inherited Content in Concept Graphs., , , и . GKR, том 8323 из Lecture Notes in Computer Science, стр. 180-210. Springer, (2013)KB_Bio_101 : A Challenge for OWL Reasoners., , и . ORE, том 1015 из CEUR Workshop Proceedings, стр. 114-120. CEUR-WS.org, (2013)