Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...
+ VO-Teil: - Dungs Abstract Argumenation Frameworks - Semantiken für abstrakte Argumentation - Eigenschaften und Komplexität dieser Semantiken - Algorithmen und ASP / (Q)SAT Encodings - aktuelle Forschungsthemen in abstrakter Argumentation+ UE-Teil: - Anwendung der im Vorlesungsteil vorgestellten Konzepten.
Die LVA teilt sich in einen Vorlesungsteil und einen Übungsteil.
Hybridmodus im WS 2021:Die Vorbesprechung wird online via ZOOM abgehalten. Bei Interesse werden die Vorlesungseinheiten in Präsenz abgehalten (mit live streaming oder Aufzeichnung) andernfalls via ZOOM. Die Treffen zum UE-Projekt werden auf individueller Basis mit dem jeweiligen Betreuer als Präsenz oder online Termin vereinbart.
ECTS breakdown: 4.5 ECTS = 112.5 Hours
0.5h Vorbesprechung
18h Vorlesung incl. Abschlussdiskussion
19h Uebungsaufgaben zum Vorlesungsteil
75h UE-Projekt
Ausarbeitung des Übungsteils & Prüfung über den Vorlesungsteil.
Die LVA richtet sich insbesondere an fortgeschrittene Studierende, die anhand eines konkreten Formalismus aus dem Bereich der Wissensrepräsentation bereits erworbene Kenntnisse aus anderen Lehrveranstaltungen konkret ein- und umsetzen wollen.
Vorkenntnisse in folgenden Bereichen sind erwünscht aber nicht zwingend notwendig: