Michael Kohlhase
title(s): Prof. Dr.;
homepage: http://kwarc.info/kohlhase/
person discipline: Higher-Order Reasoning; Logics and calculi for partial functions; Natural language semantics;
subaffiliated with:
- Forschungsgruppe Computerlinguistik (infko)
- Fachbereich Informatik
- Knowledge Adaptation and Reasoning for Content
- School of Computer Science
- German Research Center for Artificial Intelligence Bremen (SKS)
affiliated with organisation(s):
- Carnegie Mellon University (CMU)
- University of Bremen
participated in project(s):
- MBase
- Collaborative Research Center 378 (SFB 378)
- A mathematical assistant (OMEGA)
- OMDoc