Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Artificial Intelligence 2024W vorhanden.
Workload
Education level
Study areas
Responsible person
Hours per week
Coordinating university
1,5 ECTS
M1 - Master's programme 1. year
Computer Science
Armin Biere
1 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Artificial Intelligence 2020W
Objectives
In these exercises, the students realize small projects exploiting different symbolic AI technology and will use modern reasoning tools to implement the concepts presented in the lecture. The exercise performance is used as basis to assess the lecture performance too. Additional make-up exams covering both lecture and exercises are offered as well.
