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

Open in new window