184.682 Abstract Argumentation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2014W, VU, 3.0h, 4.5EC


  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VU Lecture and Exercise

Aim of course

The aim of this course is to give an introduction to the field of abstract argumentation.
It provides an overview of semantics for abstract argumentation and their (computational) properties.
The course adresses advanced students in knowledge representation (see prerequisites).

Didactic approach:

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.


  1. Basic complexity theory:
    185.291 4.0 VU Formal Methods in Computer Science OR
    181.142 2.0 VU Complexity Theory OR
    184.215 2.0 VU Complexity Analysis
  2. SAT-Solving OR Answer Set Programming (ASP):
    184.090 2.0 VU SAT Solving OR
    184.143 2.0 VL Logic-oriented Programming OR
    184.176 1.0 LU Introduction to Knowledge-based Systems

Subject of course

+ lecture part:
    - Dungs Abstract Argumentation Frameworks
    - Semantics for abstract argumentation
    - Properties and Complexity of argumentation
    - Algorithms and ASP / (Q)SAT Encodings
    - Recent developments in abstract argumentation

+ practical part:
    - Application of the concepts and techniques presented in the lecture

Additional information

ECTS breakdown: 4.5 ECTS = 112.5 Hours


0.5h Kick-Off meeting

18h Lectures incl. final discussions

19h Exercise

75h Project




Course dates

Tue15:00 - 16:0028.10.2014 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Kick-Off Meeting
Tue13:00 - 16:0013.01.2015 Besprechungsraum Hahn (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Thu15:00 - 18:0015.01.2015 Besprechungsraum Hahn (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Tue13:00 - 16:0020.01.2015 Besprechungsraum Hahn (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Thu15:00 - 18:0022.01.2015 Besprechungsraum Hahn (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation

Examination modalities

elaboration of the practical part & exam at the end of the course

Course registration

Use Group Registration to register.

Group Registration

GroupRegistration FromTo
listeners21.10.2014 13:0003.02.2015 23:59


Study CodeObligationSemesterPrecon.Info
066 011 Double degree programme "Computational Logic (Erasmus-Mundus)" Not specified
066 931 Computational Intelligence Mandatory elective


No lecture notes are available.