Christoph Schwering

I'm a postdoc at UNSW Sydney. My supervisor is Maurice Pagnucco.

I studied computer science at RWTH Aachen. My PhD supervisor was Gerhard Lakemeyer.

My research is in the area of commonsense reasoning for artificial intelligence, with a focus on computationally tractable logical reasoning, in theory and in practice.

On the theoretical side, I'm looking for non-classical semantics for expressive logical languages to keep reasoning tractable.
On the practical side, I'm working on algorithms for reasoning in such languages and on their implementation.