Didier Dubois, Jérôme Lang, Henri Prade. Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. In IJCAI. pages 984-986, 1987.
@inproceedings{DuboisLP87,
title = {Theorem Proving Under Uncertainty - A Possibility Theory-based Approach},
author = {Didier Dubois and Jérôme Lang and Henri Prade},
year = {1987},
tags = {rule-based, systematic-approach},
researchr = {https://researchr.org/publication/DuboisLP87},
cites = {0},
citedby = {0},
pages = {984-986},
booktitle = {IJCAI},
}