Non-Monotonic Reasoning

M1 course

I was in charge of this course at Université Paris Cité.

This course, destined to students in the first year of our Master in Computer Science program (M1), introduces various questions related to non-monotonic reasoning, namely

  • inference with maximal consistent subsets,
  • default logic,
  • closed wolrd assumption,
  • logic-based argumentation,
  • belief revision, update and merging,
  • preference aggregation.

I am in charge of the lectures and tutorials. In 2023-2024, my teaching load is:

  • 15 hours of lectures,
  • 15 hours of tutorials.