Theorem Proving Under Uncertainty - A Possibility Theory-based Approach

Didier Dubois, Jérôme Lang, Henri Prade. Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. In IJCAI. pages 984-986, 1987.

Abstract

Abstract is missing.