Logical representation and reasoning
The exercise consists of a theoretical and practical part with programming examples.
ECTS-Breakdown:
25 h Lecure+ Exercise25 h Preparation of exercises23 h Preparation for exam 2 h Written exam------75 h = 3 ECTS
Preliminary discussion on 7.10.2013 16:00
Oral exam.
Patrick Blackburn, Johan Bos, Representation and Inference for Natural Language. A First Course in Computational Semantics, CSLI, 2005
Chris Manning, Hinrich Schütze, Foundations of Statistical Natural Language Processing, MIT Press, 1999
Knowledge of first-order logic
Basic knowledge in logic programming