LT World

Sections

Personal tools

Log in

Skip to content. | Skip to navigation

	Information & Knowledge	Players & Teams	IPR & Products	Resources & Tools	Communication & Events
The Knowledge Portal of	Information Sources Technologies Abbreviations	People Projects Organisations	Commercial Services Patents Products	Language Data Language Descriptions Language Tools	Blogs Events News

General Information

Supporters

provided by

with support by

through

as well as by

through

You are here: Home › kb › Players & Teams › People › Michael Kohlhase

Michael Kohlhase

Search for Kohlhase in the ACL Anthology Searchbench

affiliated with organisation(s):

University of Bremen
Carnegie Mellon University (CMU)

participated in project(s):

A mathematical assistant (OMEGA)
Collaborative Research Center 378 (SFB 378)
OMDoc
MBase

person discipline:
Higher-Order Reasoning; Logics and calculi for partial functions; Natural language semantics;

personName:
Michael Kohlhase

title(s):
Prof. Dr.;

subaffiliated with organisation(s):

German Research Center for Artificial Intelligence Bremen (SKS)
Fachbereich Informatik
School of Computer Science
Knowledge Adaptation and Reasoning for Content
Forschungsgruppe Computerlinguistik (infko)

url:
http://kwarc.info/kohlhase/