Belief revision: from theory to practice