RESEARCH GROUP

THEORETICAL

COMPUTER SCIENCE

Sitemap

• Staff
  • Till Mossakowski
  • Mihai Codescu
  • Fabian Neuhaus
  • Bernd Reichel
  • Dagmar Dörge
  • Martin Glauer
• Teaching
• Research
  • Logic & Ontologies
  • Neurosymbolic integration
  • Energie
  • QSTR
• Publications