Sciweavers

48 search results - page 4 / 10
» Topological Spatio-Temporal Reasoning and Representation
Sort
View
KR
2010
Springer
13 years 10 months ago
Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...
Ronen I. Brafman, Francesca Rossi, Domenico Salvag...
GIS
2007
ACM
14 years 7 months ago
Topological maps from signals
We discuss the task of reconstructing the topological map of an environment based on the sequences of locations visited by a mobile agent ? this occurs in systems neuroscience, wh...
Yu. Dabaghian, Anthony G. Cohn, L. Frank
QUACON
2009
Springer
14 years 18 days ago
Establishing Similarity across Multi-granular Topological-Relation Ontologies
Within the Geospatial Semantic Web, selecting a different ontology for a spatial data set will enable that data’s analysis in a different context. Analyses of multiple data sets,...
Matthew P. Dube, Max J. Egenhofer
DAGSTUHL
2006
13 years 7 months ago
Hierarchies Relating Topology and Geometry
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
Walter G. Kropatsch, Yll Haxhimusa, Pascal Lienhar...
CORR
2010
Springer
106views Education» more  CORR 2010»
13 years 6 months ago
Spatial logics with connectedness predicates
Abstract. We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological c...
Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter...