( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Qualitative Simulation Based on a Logical Formalism of Space and Time.

, , и . AAAI, стр. 679-684. AAAI Press / The MIT Press, (1992)

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.

lin A David

David A Traill

David A Lazica

David A Wuttke

David A M Goslings

 

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

Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis., , и . IEEE Trans. Pattern Anal. Mach. Intell., 35 (3): 568-581 (2013)Taxonomies of logically defined qualitative spatial relations., , и . Int. J. Hum. Comput. Stud., 43 (5-6): 831-846 (1995)Novel applications of discrete mereotopology to mathematical morphology., , , и . Signal Process. Image Commun., (2019)Qualitative Simulation Based on a Logical Formalism of Space and Time., , и . AAAI, стр. 679-684. AAAI Press / The MIT Press, (1992)Abductive Visual Perception with Feature Clouds., и . KR, стр. 352-361. AAAI Press, (2006)A Spatial Logic based on Regions and Connection., , и . KR, стр. 165-176. Morgan Kaufmann, (1992)From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax., , и . IJCAI, стр. 57-66. Morgan Kaufmann, (2001)Computing Transivity Tables: A Challenge For Automated Theorem Provers., , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 786-790. Springer, (1992)Building Large Composition Tables via Axiomatic Theories., и . KR, стр. 26-36. Morgan Kaufmann, (2002)An Interval Logic for Space Based on "Connection"., , и . ECAI, стр. 394-398. John Wiley and Sons, (1992)