KWARC » kohlhase » teaching

Michael Kohlhase: Teaching

Carnegie Mellon University

Spring 2003 11-728 Formal Knowledge Representation for Natural Language Processing
Fall 2002 11-724 Topics in Formal Semantics (Semantics II) (with Mandy Simons)
Spring 2002 11-723 Formal and Computational Semantics of Natural Language (with Mandy Simons)
Fall 2001 11-728 Formal Knowledge Representation for Natural Language Processing
Fall 2000 11-727 Natural Language Semantics and Inference

SS 2000 Vorlesung Automatisches Beweisen in Oz, mit Joachim Niehren
SS 2000 Vorlesung Deduktionssysteme>, mit Prof. Jörg Siekmann
WS 1999/2000 Vorlesung Formale Mathematik für den Computer (FB Informatik und Mathematik)
SS 1999 Vorlesung " Logische Grundlagen der Semantik natüurlicher Sprache"
SS 1997 Vorlesung "Rationales Schließen"
WS 1995/96 Vorlesung "Deduktionssysteme" (with Prof. Dr. Jörg Siekmann)
SS 1995 Vorlesung "Dynamische Logiken"
WS 1994/95 Vorlesung "Deduktionssysteme höherer Stufe"

August 1998 Course "Computational logic" on ESSLLI-98 (with Prof. Dr. Jörg Siekmann)
October 1998 Course Higher-Order Unification with Natural Language Applications on the Autumn School of the Onderzoekschool Logica at Nunspeet, the Netherlands