[ 993TARKPRAU20 ] UE Planning and Reasoning in Artificial Intelligence

Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Computational Mathematics 2023W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS M1 - Master's programme 1. year Computer Science Martina Seidl 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Artificial Intelligence 2021W
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.
Criteria for evaluation
Language English
Changing subject? No
Corresponding lecture 201COMACALU18: UE Computer Algebra (1.5 ECTS)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment