Complexity of Model Checking for Cardinality-Based Belief Revision Operators.

Nadia Creignou, Rada Ktari, Odile Papini

Browse the full ECSQARU paper archive.