TY  - RPRT
TI  - Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights
AU  - Didier Dubois
AU  - Jerome Lang
AU  - Henri Prade
PY  - 2013
UR  - https://arxiv.org/abs/1304.1500
ID  - 1304.1500
ER  -