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
Further information
Until term 2022S known as: 993TARKPRAV20 VL Planning and Reasoning in Artificial Intelligence