Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights