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