On Using Model Checking for the Certification of Iterated Belief Changes.

Kai Sauerwald, Philip Heltweg

Browse the full KI paper archive.