„topological semantics“

Suchergebnisse

14 Treffer

• Enriching the semantics of the directed polyline–polygon topological relationships: the $$\mathcal {DLP}$$ DLP -intersection matrix
  Formica, A. ; Mazzei, M. ; Pourabbas, E. ; Rafanelli, M.
• Logical Foundations of Computer Science – International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
  Artemov, Sergej N. ; Nerode, Anil 2015 Springer International Publishing
• Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
  Castañeda, Armando ; van Ditmarsch, Hans ; Kuznets, Roman ; Moses, Yoram ; Schmid, Ulrich
• Inductive Inference and Epistemic Modal Logic (Invited Talk)
  Gierasimczuk, Nina 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Closure Hyperdoctrines
  Castelnovo, Davide ; Miculan, Marino 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Qualitative Spatial Augmentation of the Simple Feature Access Model
  Stephen, Shirly ; Hahmann, Torsten 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Duality in Computer Science (Dagstuhl Seminar 13311)
  Gehrke, Mai ; Pin, Jean-Eric ; Selivanov, Victor ; Spreen, Dieter
• Big data integration theory – theory and methods of database mappings, programming languages, and semantics
  Majkić, Zoran 2014 Springer International Publishing
• S4.3 and hereditarily extremally disconnected spaces
  Bezhanishvili, Guram ; Bezhanishvili, Nick ; Lucero-Bryan, Joel ; van Mill, Jan
• General meanings for German an, auf, in and unter Towards a (neo)classical semantics of topological prepositions
  Nüse, Ralf
• Identification of gene biomarkers for brain diseases via multi-network topological semantics extraction and graph convolutional network
  Zhang, Ping ; Zhang, Weihan ; Sun, Weicheng ; Xu, Jinsheng ; Hu, Hua ; Wang, Lei ; Wong, Leon
• Some Connections between Topological and Modal Logic
  Engesser, Kurt
• Topological Aspects of Branching-Time Semantics
  Sabbadin, Michela ; Zanardo, Alberto
• Topological representation of geometric theories
  Forssell, Henrik