Computational Linguistics & Phonetics Computational Linguistics & Phonetics Fachrichtung 4.7 Universität des Saarlandes

Semantic Theory

Vorlesung mit Übung: Computerlinguistik, M.Sc.

Leitung: Pinkal, Thater
Ort: Geb. C 7.2, Seminarraum
Zeit: V: Di 10-12 Uhr; Ü: Do 10-12 Uhr
Beginn: 19.04.2011
Geeignet für: M.Sc.

This course teaches the prevalent formalisms and methods in natural-language semantics and their applications in natural language understanding systems. The students acquire the background knowledge necessary for an understanding of the current literature, and are acquainted with phenomena and methods in the semantics of words, sentences and texts, together with their formal modelling, as well as with the modelling of the syntax semantics interface and the interface to logic-based inference systems.

Topics of this course include:

  • Sentence semantics: Montague-style type-theoretical representations; semantics construction; scope ambiguities; underspecification
  • Discourse semantics: Anaphora; discourse representation theory (DRT)
  • Lexical semantics: Events; thematic roles; frames; lexical resources

Zur Homepage des Kurses


  • Gamut, Logic, Language, and Meaning, Vol. 2, University of Chicago Press, 1991
  • Kamp/Reyle, From Discourse to Logic, Kluwer, 1993.

Prerequisite: Familiarity with first-order predicate logic

Stellung im Studienplan
M.Sc. Program:
Core course
Area: L (Linguistics)
Standard time slot 2nd semester. Diplomstudiengang Computerlinguistik: Pflicht ;Wahlpflichtveranstaltung für MA-NF

6 CP