Researcher working in knowledge representation, automated reasoning, and automated planning.
Location:Germany