Logic List Mailing Archive

STeDy 2012: Spatio-Temporal Dynamics

27-28 Aug 2012
Montpellier, France

=================================================================
FIRST CALL FOR PAPERS

Workshop
Spatio-Temporal Dynamics (STeDy 2012)
at ECAI 2012, Montpellier, France.
http://stedy.spatialnetwork.org/
Workshop duration: Two days

Workshop Theme
Commonsense, Space, and Change

Key dates in 2012
Abstracts: June 1
Full papers: June 15
Notifications: July 10
Workshop dates: Aug 27-28

Keynote speakers

- Patrick Doherty (Linköping University, Sweden)
   On: Leveraging KR Techniques in Autonomous Unmanned Aircraft Systems

- Christian Freksa (University of Bremen, Germany)
   On: Spatial Computing for Commonsense Reasoning

- Gérard Ligozat (Paris-Sud University, France)
   On: Three decades of Qualitative Spatial and Temporal Reasoning

Format: keynotes, paper presentations, system demos, discussion sessions

Student Scholarships: Sponsored by the Spatial Cognition Research Center (SFB/TR 8). Details online.
=================================================================


================
CALL FOR PAPERS
================

We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. The workshop is co-chaired by Mehul Bhatt, Hans Guesgen, and Ernest Davis, and is driven by an international Program and Advisory Committee from diverse areas including Logic, Computer Science, Geography, Linguistics, Mathematics, and Philosophy.

Theme: STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.

Core areas being addressed include:
* Spatial Representation and Reasoning
* Commonsense Reasoning
* Qualitative Reasoning
* Reasoning about Actions and Change
* Logic-based Modelling of Dynamic Systems
* Language, Ontology, and Space
* Spatial Learning
* Cognitive Technologies and Spatial Cognition

Main topics of interest include:
* Representing and reasoning about dynamic spatial systems
* Non-monotonic reasoning in dynamic spatial systems
* Abduction for spatial knowledge discovery
* Spatio-Temporal Abduction, Causal explanation with spatio-temporal data
* Declarative spatial representation and reasoning, with:
 	- Logic Programming, Abductive Logic Programming
 	- Constraint Logic Programming
 	- Answer-Set Programming
* Qualitative Reasoning
* Spatial representation and reasoning
* Visual and diagrammatic reasoning
* Spatial and physical reasoning
* Concurrency in the spatial domain
* Integrated approaches for modelling and reasoning about space, actions and change
* Event-based Modelling
* Spatio-Temporal Narratives
* Spatio-Temporal Query Languages
* Commonsense ontologies of spatio-temporal dynamics
* Integrated spatial and ontological reasoning
* Ontologies for spatial scene descriptions (e.g., indoor environments, room-space)
* Grounding processes for perceptual environmental data with spatial ontologies
* Space, Motion, Natural Language
* Mapping of NL to spatial representation and reasoning
* Geometric Space, Mereology, Mereogeometry
* Commonsense and Qualitative models of visibility
* Learning of commonsensical, qualitative spatial representations
* Qualitative abstractions for Machine Learning
* Planning, explanation, simulation, and learning within dynamic spatial systems

Application Areas:
* Spatial Computing for Design (e.g., diagnosis, requirement consistency)
* Cognitive Robotics (e.g., high-level spatial planning & control)
* Geospatial Dynamics (e.g., reasoning with events and processes in GIS)
* Behaviour and Activity Interpretation
* Ambient Intelligence and Smart Environments
* Computer-Aided Learning (CAL) (e.g., question-answering, NLU applications)
* Computer-Aided Design (CAD)
* Sketch Recognition and Understanding
* Location-based Services
* Real-time Systems (e.g., traffic, transportation)
* Assistive technologies dealing with spatio-temporal Information
* Commonsense notions of space & change in biology, physics, and chemistry
* Hybrid Intelligent Sytems with a Spatial, Temporal or Spatio-Temporal component

Format:
We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.

Scholarships:
Competitive Student Scholarships sponsored by the Spatial Cognition Research Center (SFB/TR 8) will be awarded. Eligibility criteria and application procedure have been announced on the workshop website.

Key Dates:
* Title, abstract, author registration: June 1
* Full Contributions Due: June 15
* Notications: July 10
* Revised Camera-Ready: July 18
* Final Confirmation of Acceptance: July 20

Programme Committee:
* Alia Abdelmoty (Cardiff University, UK)
* Andrew Lovett (Northwestern University, USA)
* Antony Galton (University of Exeter, UK)
* Christophe Claramunt (Naval Academy Research Institute, FR)
* Diedrich Wolter (University of Bremen, DE)
* Ernest Davis (New York University, USA)
* Esra Ardem (Sabanci University, TR)
* Frank Dylla (University of Bremen, Germany)
* Gerhard Lakemeyer (Aachen University of Technology, DE)
* Hans Guesgen (Massey University, NZ)
* Inderjeet Mani (Children's Organization of Southeast Asia)
* Jean-Francois Condotta (University of Artois, FR)
* John Stell (University of Leeds, UK)
* Joohyung Lee (Arizona State University, USA)
* Kathleen-Stewart Hornsby (University of Iowa, USA)
* Matt Klenk (PARC, USA)
* Mehul Bhatt (University of Bremen, DE)
* Nico Van de Weghe (Ghent University, BE)
* Paulo E. Santos (Technical University FEI, BR)
* Philippe Muller (Université Paul Sabatier, FR)
* Reinhard Moratz (University of Maine, USA)
* Shyamanta Hazarika (Tezpur University, IN)
* Stefan Woelfl (University of Freiburg, DE)
* Vinay Chaudhri (SRI International, USA)

Organising Committee:
* Mehul Bhatt (University of Bremen, DE)
* Hans Guesgen (Massey University, NZ)
* Ernest Davis (New York University, USA)

Details information can be accessed at:
STeDy URL. http://stedy.spatialnetwork.org/

Queries may be addressed to:
{bhatt@informatik.uni-bremen.de, h.w.guesgen@massey.ac.nz, davise@cs.nyu.edu}

************************************************************