19. – 24. April 2020, Dagstuhl-Seminar 20172

POSTPONED Representing and Solving Spatial Problems

Due to the Covid-19 pandemic, this seminar is postponed indefinitely.


Pedro Cabalar (University of Coruña, ES)
Christian Freksa (Universität Bremen, DE)
Paulo E. Santos (Flinders University – Adelaide, AU)
Thora Tenbrink (Bangor University, GB)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


Everyday life takes place in space and time, and spatial experience lies at the heart of our existence. Understanding how we conceive of spatial relationships, and how we solve spatio-temporal problems, is therefore key to understanding human cognition. Spatial cognition research has advanced considerably over the past decades, with major successes particularly in computational implementations of knowledge representation and reasoning methods. Still, a range of key issues continue to pose major challenges. The goal of this seminar is to discuss the various options for the formalisation, implementation, and automated solution of spatial problems including the following issues: the identification and specification of relevant concepts as expressed in human language; the development of a module for automated understanding of domain descriptions; the use of spatial structures and affordances for direct spatial problem solving; and, the development of an efficient planning system capable of providing feasible solutions to spatial problems. In this context, this Dagstuhl Seminar is going to address four major themes:

  1. Conceptualisation. How do humans conceptualise and mentally represent spatial problems? What is the role of high-level spatio-temporal structures for perceiving spatial problems, for manipulating spatial configurations, and for commonsense spatial problem solving? 

  2. Formalisation. What would be a suitable formalism for commonsense problem solving that allows an accurate, flexible, and readable knowledge representation for spatio-temporal effects of actions performed by an intelligent agent? 

  3. Description. In contrast to the formal representation investigated on Item 2, the present topic deals with the development of human readable descriptions of the inputs, reasoning steps and solutions of spatial problems. In particular, we want to investigate whether (and to what extent) it would be possible to develop high-level representations or interfaces for dealing with natural language and/or diagrammatic constructions that allow specifying both the input knowledge and the output conclusions in terms of descriptions of spatial problems. 

  4. Problem solving. What are the commonsense problem-solving capabilities involving spatio-temporal features including temporal explanation and planning under physical/geometric qualitative or semi-quantitative constraints? This issue also includes the investigation of appropriate problem-solving algorithms and their potential applications to real-world domains that could be of interest to industry.

Motivation text license
  Creative Commons BY 3.0 DE
  Pedro Cabalar, Christian Freksa, Paulo E. Santos, and Thora Tenbrink


  • Artificial Intelligence / Robotics
  • Modelling / Simulation
  • Semantics / Formal Methods


  • Knowledge representation
  • Problem Solving
  • Spatial Reasoning
  • Language analysis and cognitive processes


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.