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.

2021W, VU, 3.0h, 4.5EC
Lecture TubeTUWEL

Properties

  • Semester hours: 3.0
  • Credits: 4.5
  • Type: VU Lecture and Exercise
  • LectureTube course
  • Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to

  • explain the fundamental concepts of formal argumentation
  • apply the methodology of formal argumentation to select reserach topics
  • apply established methods from the field of knowledge representation to a new formalism
  • contribute to scientific research within a team of experts

 

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

Teaching methods

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.

Mode of examination

Immanent

Additional information

Hybridmodus im WS 2021: 
The kick-off meeting will held be online via zoom. If course particitpants are interested the lectures can be on-site (with additional streaming or recording of the lectures). Alternativley we can have ZOOM meetings for the lecture part. The meetings for the individual projects can be online or on-site (up to the student and project-supervisor).

 

ECTS breakdown: 4.5 ECTS = 112.5 Hours

0.5h Kick-Off meeting

18h Lectures incl. final discussions

19h Exercises

75h Project

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu13:30 - 14:1528.10.2021 Zoom: https://tuwien.zoom.us/j/91790339039?pwd=L3UrVGllTXIrSU9nRkJGYnR1MnBNUT09Kick-off (via Zoom)
Thu13:30 - 15:3011.11.2021 - 16.12.2021FAV Hörsaal 2 Vorlesung
Thu10:00 - 12:0018.11.2021FAV Hörsaal 2 Vorlesung
Thu13:30 - 15:3002.12.2021Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Abstract Argumentation - Single appointments
DayDateTimeLocationDescription
Thu28.10.202113:30 - 14:15 Zoom: https://tuwien.zoom.us/j/91790339039?pwd=L3UrVGllTXIrSU9nRkJGYnR1MnBNUT09Kick-off (via Zoom)
Thu11.11.202113:30 - 15:30FAV Hörsaal 2 Vorlesung
Thu18.11.202110:00 - 12:00FAV Hörsaal 2 Vorlesung
Thu25.11.202113:30 - 15:30FAV Hörsaal 2 Vorlesung
Thu02.12.202113:30 - 15:30Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Thu09.12.202113:30 - 15:30FAV Hörsaal 2 Vorlesung
Thu16.12.202113:30 - 15:30FAV Hörsaal 2 Vorlesung

Examination modalities

Elaboration of the practical part & exam at the end of the course.

Course registration

Begin End Deregistration end
21.09.2021 00:00 31.10.2021 00:59 14.11.2021 23:59

Curricula

Literature

No lecture notes are available.

Previous knowledge

The course adresses advanced students in knowledge representation. There are no formal prerequisites for this course. However, students will profit from preknowledge in the following subjects.

  1. Basic complexity theory: Knowledge of the fundamental concepts of complexity theory, e.g.: complexity classes; reductions; classes P and NP;

    If you successfully completed one of the following courses you probably have these skills.
    185.291 4.0 VU Formal Methods in Computer Science,
    181.142 2.0 VU Complexity Theory,
    184.215 2.0 VU Complexity Analysis

  2. SAT-Solving OR Answer Set Programming (ASP): Ability to formalize a combinatorial problem in SAT or ASP and solve it with state-of-the-art systems.

    If you successfully completed one of the following courses you probably have these skills:
    184.090 2.0 VU SAT Solving,
    184.143 2.0 VL Logic-oriented Programming,
    184.176 1.0 LU Introduction to Knowledge-based Systems

 

Language

English