Image of Thomas Schneider

Thomas Schneider

Prof. Dr. Thomas Schneider
Visitors: Room 1.56, Cartesium, Enrique-Schmidt-Str. 5
Tel.:  ++49 421 218-64432
Email:  thomas.schneider [ÄT]
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

All activities and awards

Valid HTML 4.01 Transitional     Valid CSS!     24 Mar 2019 TS