|Place:||Building C72, seminar room (1.12)|
|Time:||Tue 10-12, Thu 10-12|
This course provides knowledge about phenomena, formalisms and methods in natural-language semantics, which form the basis for deep semantic processing and provide the theoretical background for semantic processing in general. 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