Commonsense Reasoning and Argumentation 2017/2018 
This is the course page of the course Commonsense Reasoning and Argumentation 2017/2018. The information below will be continuously updated during period 3.
 Lectures (HC): (date in red: first hour mandatory exercise.)
lecture  date  topics, reading + exercises  slides 
HC 1  Wed 0702  Introduction / Default logic 1: Antoniou sections 1, 2.12.3. 

HC 2  Fri 0902  Default logic 2: Antoniou sections 2.42.5, 3.1. Exercises: reader 2.1.12.1.6 

HC 3  Wed 1402  Default logic 3 /Circumscription 1:
Antoniou sections 3,6 reader Ch. 1, sections 1.11.3. Exercises: reader 2.1.72.1.14, 2.2.12.2.2 

HC 4  Fri 1602  Circumscription 2 reader Ch. 1. Exercises: 2.2.32.2.8 

HC 5  Wed 2102  Abstract argumentation  semantics 1.
reader Ch. 3, sections 4.14.4. Exercises: 3.2.1, 4.8.1, 4.8.74.8.11 

HC 6  Fri 2302  Abstract argumentation  semantics 2.
reader Ch. 4. Exercises: 4.8.24.8.6, 4.8.124.8.15 

HC 7  Wed 2802  Abstract argumentation  proof theory.
reader Ch. 5. Exercises: 5.4.15.4.7 

HC 8  Fri 0203  Structured argumentation (1)
reader sections 6.1, 6.2, 6.3.16.3.3, 6.4.1. Exercises: 6.8.16.8.4, 6.8.6 (arguments and attacks), 6.8.7 

HC 9  Wed 703  Structured argumentation (2)
reader sections 6.3.4, 6.4.16.4.3. Exercises: 6.8.16.8.4, 6.8.6 (defeats and evaluation), 6.8.86.8.12 

HC 10  Fri 0903  Structured argumentation (3) reader sections 6.4.46.4.7, 6.5. Exercises: 6.8.12  6.8.15. 

HC 11  Wed 1403  Structured argumentation (4), Argumentation as dialogue(1); Reader Chapter 6, Sections 8.18.3. Exercises: all exercises Chapter 6. 

HC 12  Fri 1603  Argumentation as dialogue (2);
Reader Sections 8.18.4.1. Exercises 8.6.18.6.6. 

HC 13  Wed 2103  Argumentation as dialogue (3) / Legal Argumentation (1)
Reader Sections 8.4.28.5; Prakken & Sartor (2015) sections 1, 2.6, 3, 4.1. Exercises 8.6.78.6.10. 

HC 14  Fri 2303  Legal Argumentation (2)
Reading: Prakken (2015), Prakken (2017a) Exercises on legal argumentation (Prakken 2017b) 

HC 15  Wed 2803  Concluding remarks, question time. 
 Mandatory exercises
The two exercises during the lectures take 45 minutes.
event  date  Mandatory exercises (first hour of lecture) 
During HC 6  Fri 2302  On HC 15 
During HC 12  Fri 1603  On HC 510 
The third mandatory exercise is a homework exercise with deadline Tuesday 3 April, 10:00.