This workshop is intended as a forum for discussion, exchange of points of view, assessment of results and methods, and as a source of dissemination and promotion of the newest advances in the area of spatial and temporal reasoning. Recent years have witnessed remarkable advances in some of the longstanding problems of the field (for instance, new results about tractability for spatial calculi, explicit construction of models, characterization of important subclasses of relations), as well as in the development of new areas (the appearance of new integrated spatio-temporal calculi is one example, as well as the development of multi-dimensional spatial calculi). Likewise, proposals have been made to remedy some of the weak points of the symbolic approach, by introducing fuzzy versions of classical calculi, or importing non-monotonic techniques for dealing with incomplete information. Furthermore, reasoning about space also typically involves reasoning about changing spatial configurations, and in more realistic scenarios, integrated reasoning about space, actions and change. Recent work supporting this paradigm has also explicitly addressed the interactions between the spatial reasoning domain and the field of reasoning about actions and change. At the same time, leaders in AI have sounded the need for solving real problems and making the work on representation and reasoning relevant to the real world.
The workshop includes an invited talk by Kenneth D. Forbus (Northwestern University, USA). Further details about the talk will be made available in due time.
|