[ 993TARKPRAV20 ] VL 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
3 ECTS M1 - Master's programme 1. year Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Artificial Intelligence 2021W
Objectives This lecture covers symbolic reasoning techniques that are used in various application domains like planning or formal verification. The underlying theory of the applied formalims is introduced and the power of the inference mechanisms offered by these formalisms is analyzed. Encodings of concrete application problems demonstrate strengths and limitations of the symbolic reasoning techniques.
Criteria for evaluation
Language English
Changing subject? No
Corresponding lecture 201COMACALV18: VL Computer Algebra (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment