Site Network: Cognitive Systems | SFB/TR 8 Spatial Cognition | Fachbereich 03 | Universität Bremen

Diedrich Wolter

Diedrich Wolter's picture

Personal Information

Title Dr. rer. nat.
Function Principal Investigator, Akademischer Rat
Office 3.13
Phone 64181
eMail dwolter

Profession

About me

I am a postdoctoral researcher working at the Cognitive Systems group at university Bremen and principal investigator in the Spatial Cognition research center, project Q-Shape. Most of my research is dedicated to investigating spatial and temporal knowledge representations and ‘breathing algorithmic life’ into their formal theories. I am particularly involved with the aim of enabling intelligent cognitive agents.

Interests

My research can be characterized by two sub-areas of Artificial Intelligence, namely knowledge representations and cognitive agents. I investigate representations that allow cognitive agents (e.g., our mobile robots), assistance systems, of software agents) to represent their environment and to reason about it. Dealing with coarse, uncertain, and even conflicting knowledge is of key interest to me. I take a broad interpretation of the term reasoning to encompass all rational tasks required by a cognitive agent, in particular planning and recognition of context, actions, and events as well as learning and deduction. I am developing the spatial reasoning toolbox SparQ and I am likewise interested in beautiful theories and efficient algorithms. So far, I have contributed to these research areas:

  • Qualitative spatial and temporal reasoning
  • Knowledge Representation, symbolic reasoning
  • Shape retrieval in computer vision
  • Cognitive robotics
  • Mobile robot localization, mapping, and navigation
Research Projects

SFB/TR 8 R3-[Q-Shape]: Qualitative Reasoning about Paths, Shapes, and Configurations

Teaching
summer 2012
Qualitative Spatial and Temporal Reasoning (internal StudIP link)
CoSy graduate seminar
winter 2011/2012
Praktische Informatik 3 (functional programming, Haskell); Folien zur Organisation vom 1. Tuturiumstermin
CoSy graduate seminar
summer 2011
Technische Informatik I, research seminar ‘reasoning’
winter 2010/2011
Praktische Informatik 3 (functional programming, Haskell); Folien zur Organisation vom 1. Tuturiumstermin
winter 2008/2009 – summer 2010:
project “Atlantis”
summer 2009
course: Qualitative Spatial and Temporal Reasoning
winter 2008/2009
seminar: Spatial Cognition
summer 2007
Course: Qualitative Spatial and Temporal Reasoning

Publications

To Appear

2011

2010

2009

  • .
    2009
    .
    A Qualitative Approach to Localization and Navigation Based on Visibility Information
    .
    Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009 Proceedings
    .
    Lecture Notes in Computer Science
    .
    vol. 5756
    .
    ed. Kathleen Stewart Hornsby, Christophe Claramunt, Michel Denis, Gérard Ligozat
    .
    Springer-Verlag Berlin Heidelberg

2008

2007

2006

2005

  • .
    2005
    .
    Incremental Multi-Robot Mapping
    .
    Proceedings of IROS-2005
  • .
    2005
    .
    Partial Optimal Shape Similarity
    .
    Image and Vision Computing Journal
    .
    vol. 23
    .
    2
    .
    pages 227 – 236
  • .
    2005
    .
    Incremental Multi-Robot Mapping
    .
    Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems
    .
    pages 3846–3851
  • .
    2005
    .
    Geometric Robot Mapping
    .
    Proceedings of the 12th International Conference on Discrete Geometry for Computer Imagery ({DGCI}), Poitiers, France
    .
    Lecture Notes in Computer Science
    .
    vol. 3429 / 2005
    .
    pages 11-22
    .
    Springer

2004

  • .
    2004
    .
    Schematized Aspect Maps for Robot Guidance
    .
    Proceedings of the ECAI Workshop Cognitive Robotics (CogRob)
  • .
    2004
    .
    Shape Matching for Robot Mapping
    .
    Proceedings of 8th Pacific Rim International Conference on Artificial Intelligence
    .
    ed. Chengqi Zhang, Hans W. Guesgen, Wai K. Yeap
  • .
    2004
    .
    Shape-Based Robot Mapping
    .
    Proceedings of the 27th German conference on artificial in telligence (KI-2004)
  • .
    2004
    .
    Building Polygonal Maps from Laser Range Data
    .
    Proceedings of the workshop cognitive robotics (CogRob)
    .
    ed. Patrick Doherty
  • .
    2004
    .
    Construction of Global Maps with Polygonal Objects from Laser Range Data
    .
    In Proceedings of IASTED International Conference on Robotics and Applications (RA 2004)

2003

  • .
    2003
    .
    Shape Similarity and Visual Parts
    .
    Proceedings of the 11th International Conference on Disrecte Geometry for Computer Imagery (DGCI), Naples, Italy

2001

  • .
    2001
    .
    A Feature-Based Approach for Matching Laser Range Scans to Schematic Maps
    .
    Proceedings of the 3d British Conference on Autonomous Mobile Robotics and Autonomous Systems
    .
    Technical Report Series, Dept. of Computer Science,University of Manchester

2000

  • .
    2000
    .
    Formrepräsentation - Architekturvorschlag für Anwendungen in einem Robotikkontext
  • .
    2000
    .
    Qualitative Spatial Reasoning about Line Segments
    .
    Proceedings of the 14th European Conference on Artificial Intelligence (ECAI00)
    .
    ed. W. Horn
    .
    IOS Press
    .
    Amsterdam
    .
    http://www.cosy.informatik.uni-bremen.de/spp/SPP_onlines/ProjektL/ecai00.ps.gz