Automated reasoning using possibilistic logic: semantics, belief revision, and variable certainty weights (1994)

by D Dubois, J Lang, H Prade
Venue:IEEE Trans. on Knowledge and Data Engineering