Scientific work in the area of logic (in particular, written summary and presentation)
We will use the proceeding of the "13th International Conference on Principles of Knowledge Representation and Reasoning" - see http://www.aaai.org/ocs/index.php/KR/KR12/schedConf/presentations or http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr2012.html - to get an overview on recent trends in the area of Knowledge Representation.
The seminar can be done either in German or English.
10h Talks
65h Preparation of presentation
Not necessary