Theorem Proving Under Uncertainty - A Possibility Theory-Based Approach

Dubois et al. "Theorem Proving Under Uncertainty - A Possibility Theory-Based Approach." International Joint Conference on Artificial Intelligence, 1987.

[Dubois et al. "Theorem Proving Under Uncertainty - A Possibility Theory-Based Approach." International Joint Conference on Artificial Intelligence, 1987.](https://mlanthology.org/ijcai/1987/dubois1987ijcai-theorem/)

@inproceedings{dubois1987ijcai-theorem,
  title     = {{Theorem Proving Under Uncertainty - A Possibility Theory-Based Approach}},
  author    = {Dubois, Didier and Lang, Jérôme and Prade, Henri},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {984-986},
  url       = {https://mlanthology.org/ijcai/1987/dubois1987ijcai-theorem/}
}