Sciweavers

99 search results - page 1 / 20
» Reasoning about Topological and Positional Information in Dy...
Sort
View
FLAIRS
2008
13 years 6 months ago
Reasoning about Topological and Positional Information in Dynamic Settings
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
Marco Ragni, Stefan Wölfl
AAAI
2010
13 years 5 months ago
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...
Vaishak Belle, Gerhard Lakemeyer
EKAW
2006
Springer
13 years 6 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
SSD
2007
Springer
139views Database» more  SSD 2007»
13 years 10 months ago
Local Topological Relationships for Complex Regions
Topological relationships between spatial objects are important for querying, reasoning, and indexing of data within spatial databases. These relationships are qualitative and resp...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
KI
2005
Springer
13 years 10 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
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...
Marco Ragni, Stefan Wölfl