Thomas Schneider

I am currently a freelance researcher. Until July 2020, I was an interim professor in the working group Theory of Artificial Intelligence at the University of Bremen. My research interests are in knowledge representation and automated reasoning, in particular:

• Modal, description and related logics
• Combination of logics
• Decision procedures, complexity
• Modularity of logical theories
• Qualitative spatio-temporal representation and reasoning

Before coming to Bremen in March 2011, I worked in

• the Programming Systems Lab at Saarland University with Gert Smolka and Mark Kaminski from 2010 to 2011,
• the IMG the School of Computer Science the University of Manchester with Uli Sattler and Bijan Parsia from 2007 to 2010,
• and the Department of Computer Science at the University of Jena, where I obtained my PhD in 2007, being supervised by Martin Mundhenk.

Recent activities

• Elected member of the DL steering committee
• Executive committee member, section Logic in Computer Science (LogInf), German Society of Computer Science (GI)
• Guest co-editor of the special issue “Ontologies and Data Management” (Part I, Part II) of the KI Journal
• PC member of the 24th European Conference on Artificial Intelligence (ECAI 2020)
• PC member of the 32nd Int'l Workshop on Description Logics (DL 2019)
• Managing guest editor for the special issue “Temporal Representation and Reasoning (TIME 2017)” of the Theoretical Computer Science journal

All activities and awards