Logic List Mailing Archive

"Spatio-Temporal Dynamics", Lisbon (Portugal), 16 or 17 August 2010

++++++++++++++FIRST CALL FOR PARTICIPATION++++++++++++++

We invite contributions for the workshop on:

         "Spatio-Temporal Dynamics"

        at ECAI 2010, Lisbon, Portugal.

URL: http://www.cosy.informatik.uni-bremen.de/events/ecai10


Important Dates
---------------------

Full paper submission: 7 May 2010
Notification of acceptance: 7 June 2010
Camera-Ready copy due: 15 June 2010


Description
---------------

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, 
characterisation 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 linked to space is time, i.e., spatial configurations change
 
over time. Spatial change may also be perceived as being spatio-temporal 
and recent work has been devoted to providing useful and well-grounded 
models to be used as high level qualitative description of spatio-temporal
 
change. Reasoning about space and spatial dynamics also 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 formal 
modelling of dynamic spatial systems and ensuing interactions between the
 
spatial reasoning domain and the field of reasoning about actions and 
change, and commonsense reasoning.

Driven by cognitive approaches that characterise 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 
conceptualisations 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.


Workshop Scope and Format
--------------------------------------

The workshop on Spatio-Temporal Dynamics at ECAI 2010 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:

 =09? Representing and reasoning about dynamic spatial systems
 =09? Non-monotonic reasoning in dynamic spatial systems
 =09? Commonsense ontologies of spatio-temporal dynamics
 =09? Abduction for knowledge discovery in spatial systems
 =09? Concurrency in the spatial domain
 =09? Unified approaches for the formal modelling of space, actions and cha
nge
 =09? Unified approaches for the formal modelling of space, actions and cha
nge
 =09? Integrated spatial and terminological reasoning
 =09? Integrated ontologies for spatial scene descriptions of indoor enviro
nments (e.g., in room-space)
 =09? Grounding of perceptual environmental data with spatial ontologies
 =09? Qualitative abstractions of low-level motion control tasks in robotic
s (e.g., in robotic grasping)

At the application-level, we encourage the submission of research that 
demonstrates the utility of well-established qualitative spatial and 
temporal calculi, tools and systems in novel domains including, but not 
limited to, the following:

 =09? Planning, explanation and simulation within dynamic spatial systems
 =09? Use of qualitative space-time methods in cognitive robotics
 =09? Qualification techniques of quantitative data sources
 =09? Qualitative spatial modelling and reasoning in ambient intelligence s
ystems
 =09? Reasoning with qualified spatio-temporal data (e.g., abduction with S
-T data streams, applications in spatial/architectural design, sketch recog
nition and understanding)
 =09? Exploting qualitative spatio-temporal continuity (e.g., in learning b
ehaviour from video)

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.

We encourage interested authors to contact the organisers if in doubt 
about the scope or the relevance of a potential submission.


Workshop Keynote
-------------------------

Speaker: Antony Galton
University of Exeter
United Kingdom

A title and summary for the invited talk will be advertised on the 
workshop website in due time.


Submission Requirements
----------------------------------

Electronic submissions are solicited in PDF format. Papers should be 
submitted using the Easychair Online submission system. Contributions 
should be no longer than 6 pages, formatted as per the guidelines 
applicable to ECAI 2010 -- please look up ECAI 10 Formatting Guidelines 
(or look up the workshop site for a direct link). 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.


Program and Advisory Committee
--------------------------------------------

 =09? Christophe Claramunt (Naval Academy Research Institute, France)
 =09? Debasis Mitra (Florida Institute of Technology, USA)
 =09? Ernest Davis (New York University, USA)
 =09? Hans Guesgen (Massey University, New Zealand)
 =09? John Stell (University of Leeds, UK)
 =09? Kathleen-Stewart Hornsby (University of Iowa, USA)
 =09? Mehul Bhatt (University of Bremen, Germany)
 =09? Nico van de Weghe (Ghent University, Belgium)
 =09? Paolo Santos (Technical University FEI, Brazil)
 =09? Shyamanta Hazarika (Tezpur University, India)
 =09? Stefan Woelfl (University of Freiburg, Germany)
 =09? Thomas Bittner (SUNY at Buffalo, USA)


Workshop Co-Chairs
----------------------------

Mehul Bhatt (primary contact)
SFB/TR 8 Spatial Cognition
Universitt Bremen
P.O. Box 330 440, 28334 Bremen, GERMANY
bhatt (@) informatik.uni-bremen.de

Hans W. Guesgen
School of Engineering and Advanced Technology
Massey University, Private Bag 11222
Palmerston North, NEW ZEALAND
h.w.guesgen (@) massey.ac.nz

Shyamanta M Hazarika
Computer Science and Engineering
School of Engineering, Tezpur University
Tezpur - 784028, Assam, INDIA
smh (@) tezu.ernet.in