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.

2012W, VU, 3.0h, 4.5EC

Properties

  • 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.

Prerequisites:

  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

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue09:30 - 10:0016.10.2012Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
Tue14:00 - 17:0008.01.2013 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Tue13:00 - 16:0015.01.2013 - 29.01.2013 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Abstract Argumentation - Single appointments
DayDateTimeLocationDescription
Tue16.10.201209:30 - 10:00Seminarraum FAV EG C (Seminarraum Gödel) Kick-Off Meeting
Tue08.01.201314:00 - 17:00 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Tue15.01.201313:00 - 16:00 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Tue22.01.201313:00 - 16:00 Besprechungsraum Menger (Favoritenstr. 3rd floor, staircase 3)Abstract Argumentation
Tue29.01.201313:00 - 16:00 Besprechungsraum Menger (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
listeners16.10.2012 13:0029.01.2013 23:59

Curricula

Literature

No lecture notes are available.

Language

English