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
3 ECTS
M1 - Master's programme 1. year
Computer Science
Armin Biere
2 hpw
Johannes Kepler University Linz
Detailed information
Original study plan
Master's programme Artificial Intelligence 2020W
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.
