Thomas Schneider's Research


Research Interests

Logic for knowledge representation and automated deduction

  • Modal, description and related logics
  • Combination of logics
  • Decision procedures, complexity
  • Modularity of logical theories

My Google Scholar and DBLP profiles – for additional information and disambiguation


Activities


Awards and grants


Valid HTML 4.01 Transitional     Valid CSS!     7 May 2013 TS