Staff

All Staff Members

Arne Kreutzmann

Research Assistant

Universität Bremen
CARTESIUM, R. 3.57
Enrique-Schmidt-Str. 5
28359 Bremen

+49 (0)421 218-64290

kreutzma[@]informatik.uni-bremen[.]de




About me


I am a doctoral researcher in the Cognitive Systems group at the University of Bremen  and part of the R3-[QShape]  project of the SFB/TR-8 Spatial Cognition.
I am captivated by the questions: what kind of qualitative spatial inferences are needed to drive applications, how to support the acquisition of the required knowledge, and how to ensure that the knowledge meets the individual requirements?
My thesis: model checking can provide inferences needed in applications and qualitative spatial representations are at the foundation of a new modal logic that individual applications can extend into domain dependent languages.

Interests


Qualitative Spatial Reasoning, Knowledge Representation,  Knowledge Engineering, Modal Logic, Artificial Intelligence, Computer Vision, General Game Playing, Embedded Systems

Research Projects


R3-[QShape]

Further Links


cosy.informatik.uni-bremen.de/staff/arne-kreutzmann


<< back