372 search results - page 16 / 75 » Qualitative Reasoning |
KR
1998
Springer
14 years 1 days ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
AI
2000
Springer
13 years 7 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
CI
2002
13 years 7 months ago
2002
We present here a theory of motion from a topological point of view, in a symbolic perspective. Taking space-time histories of objects as primitive entities, we introduce temporal...
GEOS
2005
Springer
14 years 1 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
KI
1994
Springer
13 years 12 months ago
1994
Springer
The paper presentsa method for terminological reasoningabout spatial objects on the basis of a KL-ONE-like framework (LOOM). We apply this method to the domain of deductive geograp...