Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.

Didier Dubois, Jrme Lang, Henri Prade

Browse the full IJCAI paper archive.