Image of Thomas Schneider

Thomas Schneider


Prof. Dr. Thomas Schneider
Visitors: Room 2.56, Cartesium, Enrique-Schmidt-Str. 5
Tel.:  ++49 421 218-64432
Email:   tschneider[ÄT]cs.uni-bremen.de
GPG public key

Postal address:
Universität Bremen
Fachbereich 03
Postfach 330440
28334 Bremen


I am 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


Recent activities

  • DFG project Conservative Extensions in Ontology Languages (CEO): Beyond Description Logics
  • Executive committee member, section Logic in Computer Science (LogInf), German Society of Computer Science (GI)
  • Chair of the WoMO steering committee
  • Programme committee co-chair of the 24th Int'l Symposium on Temporal Representation and Reasoning (TIME 2017)
  • PC member of the 30th Int'l Workshop on Description Logics (DL 2017)

All activities and awards


Valid HTML 4.01 Transitional     Valid CSS!     25 Feb 2017 TS