[ 993TASMPRAU22 ] UE Planning and Reasoning in Artificial Intelligence

Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS M1 - Master's programme 1. year (*)Artificial Intelligence Martina Seidl 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Artificial Intelligence 2023W
Objectives The aim of this course is to practically apply different kinds of formalisms to solve planning and reasoning tasks.
Subject This exercise course covers symbolic reasoning techniques that are used in various application domains like planning or formal verification. Encodings of concrete application problems are realized to demonstrate strengths and limitations of the symbolic reasoning techniques.
Criteria for evaluation 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.
  • Q&A sessions / tutorials
  • Weekly exercises
  • Two encoding projects
  • Literature study/tool evaluation
Language English
Study material
  • Slides of the lecture
  • Recordings of the lectures
  • Links to recent literature
  • Solutions to some of the exercises
Changing subject? No
Corresponding lecture 201COMACALU18: UE Computer Algebra (1.5 ECTS)
Earlier variants They also cover the requirements of the curriculum (from - to)
993TARKPRAU20: UE Planning and Reasoning in Artificial Intelligence (2020W-2022S)
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment