7 search results - page 2 / 2 » On Spatial Conjunction as Second-Order Logic |
IANDC
2007
13 years 4 months ago
2007
We investigate the complexity and expressive power of a spatial logic for reasoning about graphs. This logic was previously introduced by Cardelli, Gardner and Ghelli, and provide...
KRDB
2003
13 years 6 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...