Education
ICR teaches several courses in the areas of knowledge representation and multi-agent systems within the Bachelor and the Master of Computer Science. The emphasis is on the master program which is part of the intelligent systems specialization. The Bachelor courses give an introduction to the area of logic and artificial intelligence, the master courses provide an in-depth specialization which forms the base of a master thesis, or a doctoral study. The ICR also contributes to several international summer schools and completes its educational outreach by organizing talks at different levels about current research.
Courses
- BECS2, Spring 2008: Mathematics for Computer Science: Discrete mathematics including a first encounter with propositional and first order logic, and training in mathematical proofs.
- BECS6, Spring 2008: Introduction to Artificial Intelligence: A broad overview of major areas in AI.
- MICS1, 2008: Intelligent Systems III: Introduction to formal propositional and first-order logic with applications in logic-based agent and knowledge systems.
- MICS2, Spring 2008: Knowledge Representation: Dynamic epistemic logic and belief revision
- MICS3, Spring 2007: Selected Topics in AI: Advanced course based on recent research literature with active student involvement.
- MICS3, Spring 2008: Argumentation: Abstract argumentation frameworks.
Teaching Material
Theses
We welcome students who want to write their thesis (bachelor, master, or PhD) at ICR. While the subject should fit our research priorities, we are willing to take into account the ideas and preferences of the students. Candidates may contact Leon van der Torre or any lecturer for further information. Specific thesis subjects will be announced on this page. At the CSC, we currently supervise
- 1 MSc thesis : Attribution of knowledge to agents
- 4 PhD projects
Quality assurance
Each course is evaluated using a student questionnaire to support further improvement. The accessibility of the lecturers and the continuous dialogue with the students allow in addition for more immediate feedback. Critical discussions of teaching contents and styles among ICR members are a part of our group culture.