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.

 

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

Relation path embedding in knowledge graphs., , , , и . Neural Comput. Appl., 31 (9): 5629-5639 (2019)Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem., , , и . J. Autom. Reason., 19 (3): 319-346 (1997)Reasoning Theories., , и . J. Autom. Reason., 26 (3): 291-331 (2001)FUR: Understanding functional reasoning., , , и . Int. J. Intell. Syst., 4 (4): 431-457 (1989)ML Systems: A Proof Theory for Contexts., и . J. Log. Lang. Inf., 11 (4): 471-518 (2002)A New Method for Testing Decision Procedures in Modal Logics., , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 264-267. Springer, (1997)SAT vs. translation based decision procedures for modal logics: a comparative evaluation., , , и . J. Appl. Non Class. Logics, 10 (2): 145-172 (2000)Classifying concepts via visual properties., и . CoRR, (2021)Introduction to the Special Issue on Semantic Web Data Management., , , , и . Inf. Syst., 37 (4): 291-293 (2012)Property-Based Semantic Similarity Criteria to Evaluate the Overlaps of Schemas., , , , , , , и . Algorithms, 14 (8): 241 (2021)