Salem Benferhat Didier Dubois Henri Prade Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge. 70-75 1997 AAAI/IAAI db/conf/aaai/aaai97.html#BenferhatDP97