| Lecturer: | Stefan Thater |
| Place: | Building C72, seminar room (1.12) |
| Time: | Tue 10-12, Thu 10-12 |
| Starts: | 2013-04-16 |
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:
There will be several take-home exercises, and you have to achieve a certain number of points to be admitted to the final exam. More details can be found here.
Familiarity with first-order predicate logic
Gamut, Logic, Language, and Meaning, Vol. 2, University of Chicago Press, 1991
Kamp/Reyle, From Discourse to Logic, Kluwer, 1993
M.Sc.: Required course for specialisation “computational linguistics,” 6 LP