Certification of Iterated Belief Changes via Model Checking and its Implementation
Note: An extended version of this paper has been published at the 7th Workshop on Formal and Cognitive Reasoning, you can find it here. Our paper “Certification of Iterated Belief Changes via Model Checking and its Implementation” got accepted to the 19th International Workshop on Non-Monotonic Reasoning (NMR-2021) at the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). During the workshop I held a short presentation of the results....