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