235 search results - page 10 / 47 » Spatial Logics for Bigraphs |
BIOINFORMATICS
2007
14 years 10 months ago
2007
ENTCS
2006
14 years 10 months ago
2006
115
click to vote
ESWS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
157
click to vote
AIML
2008
14 years 11 months ago
2008
This paper presents a survey of topological spatial logics, taking as its point of departure the interpretation of the modal logic S4 due to McKinsey and Tarski. We consider the ef...
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...