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.

 

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

Reasoning with Forest Logic Programs and f-hybrid knowledge bases., и . Theory Pract. Log. Program., 13 (3): 395-463 (2013)Guarded Hybrid Knowledge Bases, , , , и . CoRR, (2007)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)Semantic validation of the use of SNOMED CT in HL7 clinical documents., , и . J. Biomed. Semant., (2011)Guarded Open Answer Set Programming with Generalized Literals., , и . FoIKS, том 3861 из Lecture Notes in Computer Science, стр. 179-200. Springer, (2006)Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming., , , и . CLIMA, том 4371 из Lecture Notes in Computer Science, стр. 20-40. Springer, (2006)Guarded Open Answer Set Programming., , и . LPNMR, том 3662 из Lecture Notes in Computer Science, стр. 92-104. Springer, (2005)Extending Conceptual Logic Programs with Arbitrary Rules., , и . Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)Intelligence Analysis Using Quantitative Preferences., , и . Answer Set Programming, том 142 из CEUR Workshop Proceedings, CEUR-WS.org, (2005)Large-Scale Analogical Reasoning., , , , и . AAAI, стр. 359-365. AAAI Press, (2014)