The aim of this course is to give an introduction to the field of abstract argumentation.It will provides an overview of semantics for abstract argumentation and their (computational) properties. The course adresses advanced students in knowledge representation (see prerequisites).
The course consists of both a lecture part, where the appropriate concepts will be presented, and a practical part. In the latter, students (in cooperation with a lecturer) are supposed to work out some theoretical results OR / AND breaking down such results to practice by respective implementations.
+ lecture part: - Dungs Abstract Argumentation Frameworks - Semantics for abstract argumentation - Properties and Complexity of argumentation - Algorithms and ASP / (Q)SAT Encodings - Generalizations of Dungs Abstract Argumentation Frameworks+ practical part: - Application of the concepts and techniques presented in the lecture
Slides Part1: http://www.dbai.tuwien.ac.at/staff/woltran/argu_introduction.pdf
Slides Part2: http://www.dbai.tuwien.ac.at/staff/woltran/argu_complexity.pdf
Slides Part3: http://www.dbai.tuwien.ac.at/staff/woltran/argu_implementation.pdf
Slides Part4: http://www.dbai.tuwien.ac.at/staff/woltran/argu_generalization.pdf
Not necessary