Es ist eine neuere Version 2023W dieser LV im Curriculum Masterstudium Computational Mathematics 2023W vorhanden.
(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Semesterstunden
Anbietende Uni
3 ECTS
M1 - Master 1. Jahr
Informatik
Martina Seidl
2 SSt
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Masterstudium Artificial Intelligence 2021W
Ziele
(*)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.
