This course will teach you the basics of using formal argumentation to model dynamic knowledge and reason with them.

Contact

Structure of the course

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.

Final exam

Reading List