Special Session on
Draft paper submission deadline is extended to May20 2009.
A Special Session on Spatial and Temporal Reasoning will be held during the 4th Indian International Conference on Artificial Intelligence (IICAI-09). The session invites papers in all areas of spatial and temporal representation and reasoning.
The field of qualitative spatial representation and reasoning has evolved as a sub-division in its own right within the broader field of Artificial Intelligence -- recent years have witnessed remarkable advances in some of the long-standing 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 such as the emergence of integrated spatio-temporal calculi and the importing of non-monotonic techniques for dealing with various aspects intrinsic to dynamic spatial systems. Inextricably lined to space is time, i.e., spatial configurations change over time. Spatial change may also be perceived as being spatio-temporal and a lot of recent work is being devoted to providing useful and well-grounded models to be used as high level qualitative description of spatio-temporal change. 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 potential interactions between the spatial reasoning domain and the field of reasoning about actions and change.
Driven by cognitive approaches that characterize the processing of spatial information within qualitative spatial reasoning, there has been considerable influx of people from other areas within AI such as computer vision, robotics etc, working on qualitative representation and reasoning about spatial change, spatio-temporal interactions, and the formal modelling of dynamic spatial systems in general. Qualitative conceptualizations of space and tools/techniques for efficiently reasoning with them being well-established, there is now a clear felt need within the community to utilise the tools and formalisms that have been constructed in the recent years in novel application scenarios and, gauging by the content of upcoming events, even a focus on evaluation standards and benchmarking problems for qualitative formalisms.
Session Scope and Format:
This proposed special session at IICAI aims to achieve a balance between both theory and application-centric research in the spatial and temporal reasoning area. At the foundational level, of special interest to this session is research that focusses on the integration of the specialisation of qualitative spatial reasoning with general logic-based approaches for reasoning about action and change. Some of the topics deemed important include:
Although the content of the proposals that are submitted is open-ended, the session categorically invites submission of papers highlighting prototypical and complete systems. It is expected that the proposed systems, or parts thereof, in this category will involve spatial and/or temporal reasoning in some form. Of special interest to the aims of the session are systems where the application of formal qualitative spatial calculi or the application of existing reasoning tools is highlighted. In addition to the thematic requirements, selections will be made on the basis of how closely the illustrated techniques utilize existing formalizations developed in the area of qualitative spatial representation and reasoning.
Attendance and Publication:
Interested authors should submit their paper in PDF or PostScript format by email to Mehul Bhatt. Please use 'IICAI-09 S-T' in the subject-line of your email. The papers *MUST* use the Springer Lecture Notes style for formatting the paper. The relevant LaTeX2e templates are avalable here: LNCS LaTeX2e, but make sure to utilise the latest templates directly from the Springer website.
Please feel free to contact the organisers if in doubt about any aspect of the session or its requirements or if your submission is not acknowledged .
Mehul Bhatt (primary contact)
Shyamanta M Hazarika
Amitabha Mukerjee (IITK, India)