After successful completion of the course, students are able to...
We use selected chapters of Proceedings of major AI Conferences (e.g. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning) to gain an overview of current research in the field.
Scientific work in the area of formal AI (in particular, written elaboration and presentation of a topic in AI research)
Students, in agreement with the lecturers, select a topic in AI and starting from the conference proceedings of a major AI conference perform a literature research on that topic. They work out an overview on the state-of-the-art of the topic and give a oral presentation on that topic in the seminar (in a zoom meeting).
The seminar can be done either in German or English.ECTS Breakdown:
The assessment takes into account the
Not necessary