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

Didier Dubois Jérôme Lang Henri Prade Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights. 64-71 TKDE6/P0064.pdf 1994 6 IEEE Trans. Knowl. Data Eng. 1 db/journals/tkde/tkde6.html#DuboisLP94 db/journals/tkde/DuboisLP94.html ... journals/ai/Kleer86 ... conf/ijcai/DuboisLP87 conf/iclp/DuboisLP91 ... ... ... ... ... ... journals/ai/DuboisP91 conf/ijcai/DuboisP91 conf/ecai/DuboisPT88 ... ... ... ... journals/ijmms/Hinde86 conf/ijcai/IshizukaK85 ... ... journals/jacm/Lee72 ... ... journals/ai/Nilsson86 ... ... conf/ijcai/Shapiro83 ... ... ... journals/jlp/Emden86 ... ...