On Using Model Checking for the Certification of Iterated Belief Changes
Our paper “On Using Model Checking for the Certification of Iterated Belief Changes” got accepted to the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) at the 44th German Conference on Artificial Intelligence (KI-2021). During the workshop I held a short presentation of the results. You can find both the paper as well as the presentation slides here. Abstract The theory of iterated belief change investigates how epistemic states are changed according to new beliefs....