400 search results - page 17 / 80 » Singularities in Qualitative Reasoning |
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
KI
1994
Springer
14 years 24 days 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...
CASCON
2007
13 years 10 months ago
2007
Static analysis tools tend to generate more alerts than a development team can reasonably examine without some form of guidance. In this paper, we propose a technique for leveragi...
GEOS
2005
Springer
14 years 2 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
2002
Springer
13 years 8 months ago
2002
Springer
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...