This course will teach you the basics of using formal argumentation to model dynamic knowledge and reason with them.
Dr. Bruno Yun
Send your queries by email. For a face-to-face meeting, contact me by email to arrange one.
This part of the course will have ~15 hours of lectures, 4.5 hours of tutorials, and 10.5 hours of practicals.
The teaching timetable is split into three sessions as follows.
Session 1 (4th of September 2026):
Lecture 1A: Argumentation theory and extension-based semantics(1.5 hours)
Lecture 1B: Labelling semantics and links to extension-based semantics (1.5 hours)
TD1: Computing extensions, labellings, and dialogues (1.5 hours)
Session 2 (11th of September 2026):
Lecture 2A: Further into admissibility and Serialization (2 hours)
Session 3 (18th of September 2026) + CC1:
Lecture 3A: Principle-based approach and ranking-based semantics (1.5 hours)
Lecture 3B: Logic-based argumentation and fallacies (1.5 hours)
TD3: Ranking-based semantics, ASPIC-, and fallacies (1 hours)
Session 4 (25th of September 2026):
Lecture 4A: Assumption-based argumentation and complexity (1.5 hours)
Session 5 (2rd of October 2026):
Lecture 5A: Graph Neural Networks for Extension-based semantics (1.5 hours)
Lecture 5B: Learning gradual semantics and enforcement problems (1.5 hours)
Session 6 (9th of October 2026):
Lecture 6: Dealing with Natural Language Arguments (2 hours)
Practical 2: Implementing an ASPIC- generator (2 hours)
Practical 3: Using semantics on argumentation graphs (1.5 hours)
Practical 4: RBAM with Natural Language Arguments (1.5 hours)
Session 7 (16th of October 2026):
This session will be used to assist you for the project you will have to submit for you continuous assessment. The details of this project are accessible below.
Your group will be displayed on TOMUSS. If you do not have a group after the deadline or would like to change group, contact me by email ASAP.