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.

 

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

A Logic of Belief and a Model Checking Algorithm for Security Protocols., , , и . FORTE, том 183 из IFIP Conference Proceedings, стр. 393-408. Kluwer, (2000)Introduction to the Special Volume on Reformulation., и . Artif. Intell., 162 (1-2): 3-5 (2005)Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines.. COMPCON, стр. 124-129. IEEE Computer Society, (1987)Understanding Scene Descriptions by Integrating Different Sources of Knowledge., , , и . Int. J. Man Mach. Stud., 37 (1): 47-81 (1992)Semantic Matching., , и . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)Managing Diversity in Knowledge.. IEA/AIE, том 4031 из Lecture Notes in Computer Science, стр. 1. Springer, (2006)Semantic Schema Matching., , и . OTM Conferences (1), том 3760 из Lecture Notes in Computer Science, стр. 347-365. Springer, (2005)Reflection in Constructive and Non-constructive Automated Reasoning., и . META, стр. 123-140. MIT Press, (1988)Some Basic Mechanisms for Common Sense Reasoning About Stories Environments., , и . IJCAI, стр. 72-74. William Kaufmann, (1983)Program Tactics and Logic Tactics., и . LPAR, том 822 из Lecture Notes in Computer Science, стр. 16-30. Springer, (1994)