Spatio-Temporal Dynamics


The international workshops on Spatio-Temporal Dynamics (STeDy) have evolved from and are founded on the workshops on Spatial and Temporal Reasoning traditionally organised at IJCAI, ECAI and AAAI conferences. The Historical context provides an overview of the STeDy foundations.

With respect to its basic Research Topics, the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning in particular, and reaches out to all sub-disciplines within Artificial Intelligence in general.

Upcoming Events

STeDy 2021. The next edition of STeDy will be organized at the International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina.

Vision

Commonsense, Space, Change

The integration of full moon spatial representation and reasoning techniques within general commonsense reasoning frameworks in AI is an essential next-step for their applicability, e.g., in the form of spatial control and spatial planning in cognitive robotics, for spatial decision-support in intelligent systems, e.g., design assistance, wayfinding and navigation assistance, and as explanatory models in a wide-range of systems requiring the formulation of hypotheses, e.g., spatio-temporal diagnosis and abnormality detection, event recognition and behaviour interpretation, geospatial dynamics and event-based geographic information systems.

More generally, the key challenge is to broaden the initial interpretation of `spatial reasoning’ to include classical and non-classical inference patterns, as they accrue within a spatial, spatio-temporal, action and change, ontological, and commonsense reasoning context.

Specialisation and Integration

If `spatial reasoning’, both qualitative and otherwise, and commonsense notions of space and spatial change are to be embedded or utilized within practical or larger application scenarios in AI, their integration with formal AI languages, calculi, and tools to model change and high-level inference patterns need to be thoroughly investigated, i.e., from ontological, representational and computational viewpoints. Furthermore, it is necessary that the integration and the supported computational mechanisms be generic / applicable in a wide-range of application domains, very much like generic knowledge representation languages and frameworks themselves.

Space, Actions, and Change

Space and time are inextricably linked, i.e., spatial configurations change over time. Humans, robots and systems that act, and interact, are embedded in space, and this change is often the result of actions and events. Actions and events are a critical link to the external world, in a predictive as well as an explanatory sense: our anticipations of spatial reality conform to our commonsense knowledge of the effects of actions and events in the real world. Similarly, explanations of the perceived reality (e.g., by humans, robots, systems) also are established on the basis of such apriori commonsense notions.

History of the Workshop

Workshops and special sessions on spatial and temporal reasoning are regularly held at all major AI conference including IJCAI, ECAI and AAAI.

Hans Guesgen, together with Frank Anger and Johan van Benthem, organized the Workshop on Spatial and Temporal Reasoning at IJCAI-93 in Chambery, France. The workshop was originally intended to be a half-day workshop, as it was not clear in the beginning how many researchers were interested in this topic; however, it soon became apparent that there was enough interest for a full-day workshop. On the contrary, many interested and qualified researchers had to be turned away due to space limitations.

Because of the success of the IJCAI-93 workshop and encouragement from participants, Anger and Loganantharaj, together with a committee of seven, including Guesgen and Gérard Ligozat, held a similar workshop at AAAI-94 in Seattle. Again, other similar workshops were held at:

Recent events in this series have been at IJCAI-07 (Hyderabad, India), AAAI-08 (Chicago, USA) and ECAI-08 (Patras, Greece), IJCAI-09 (Pasadena, USA) and ECAI 2010 (Lisbon, Portugal). Recent workshops and other activities have been co-ordinated by Mehul Bhatt, and Hans Guesgen. The STeDy workshop and related initiatives have acquired their present form since ECAI 2010 in Lisbon, Portugal. At the follow-up at ECAI 2012 in Montpellier (France), Ernest Davis joined the organization team together with Mehul Bhatt and Hans Guesgen.

TUTORIAL AND WORKSHOP


We are please to announce a Tutorial+Workshop on Spatial and Temporal Representation and Reasoning at the Indian School on Logic and its Applications (ISLA) 2012. This event will be scheduled at the start of ISLA, starting Jan 9 2012.

Students from all disciplines of computer science and logic are welcome to participate. We encourage participants to get in contact with us before the school, should there be questions, comments, or suggestions for the inclusion of certain topics of interest.

Please note that registration and breakfast+lunch are free, and participation is subject to the general requirements for ISLA 2012. Please consult the school website for further details.

Indian School on Logic and it Applications
ISLA 2011, Manipal, India
Jan 9 - 20 2012

The Association for Logic in India (ALI) regularly organizes ISLA, a winter school on logic and applications; ISLA 2012 is based at Manipal University during January 9-20, 2012. Graduate students with a background in logic and an interest in research are welcome to apply. Active researchers and teachers of the subject may apply as well. Further details about the school may be found at the school website: http://ali.cmi.ac.in/isla2012/
Workshop and Tutorial Panel
Mehul Bhatt (University of Bremen, Germany)
Stefano Borgo (University of Bolzano, Italy)
Frank Dylla (University of Bremen, Germany)
Shyamanta Hazarika (Tezpur University, India)
Oliver Kutz (University of Bremen, Germany)
Topics / Talks (in order of presentation)
Commonsense Spatial Reasoning: Theory and Applications. by Mehul Bhatt
Qualitative Spatial Change in Classical Mereotopology. by Shyamanta Hazarika
Integrated Inductive-Abductive Reasoning about Space. by Frank Dylla
Geometries and Mereogeometries. by Stefano Borgo
Connecting Abstract Description Systems. by Oliver Kutz
Organising co-chairs:

Shyamanta Hazarika (Tezpur University, India)
Mehul Bhatt (University of Bremen, Germany)
Coming to Manipal

Instructions on how to reach Manipal may be found: Getting to Manipal
Tourist information on places to visit in the region: Tourism

STeDy Contacts

Mehul Bhatt
Cognitive Systems (CoSy)
University of Bremen
P.O. Box 330 440, Bremen 28334, Germany
Email. bhatt@informatik.uni-bremen.de

Hans W. Guesgen
School of Engineering and Advanced Technology
Massey University, Private Bag 11222
Palmerston North, New Zealand

Pleine Lune Calendrier

Pleine Lune dynamique