3 search results - page 1 / 1 » Co-Algebraic Models for Quantitative Spatial Logics |
ENTCS
2007
13 years 4 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
ECAI
2010
Springer
13 years 2 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
DAGSTUHL
2006
13 years 6 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...