Describir: Change, Choice and Inference: A Study of Belief and Revision and Nonmonotonic Reasoning.