After successful completion of the course, students are able to...
We use selected chapters of Proceedings of major conferences (e.g. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning) and recent handbooks in the field to gain an overview of current research in the field.
Scientific work in the area logic in CS (in particular, written elaboration and presentation of a topic in AI research).
Students, in agreement with the lecturers, select a topic and starting from the conference proceedings of a major 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.
ECTS Breakdown:
The assessment takes into account the
Not necessary
Participants are expected to have some (basic) knowledge in mathematical logic.