981 search results - page 28 / 197 » Negation in Spatial Reasoning |
CSL
2007
Springer
14 years 4 months ago
2007
Springer
AAAI
2008
14 years 3 days ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...
COSIT
1999
Springer
14 years 2 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
JAIR
2008
13 years 9 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
KI
2005
Springer
14 years 3 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...