Scientific work in the area of formal AI (in particular, written summary and presentation)
We use the Proceedings of the KR 2014 Conference to gain an overview about current research in the field of logic and AI.
The seminar can be done either in German or English.ECTS Breakdown:10h Talks65h Preparation of presentation
Not necessary