Theorem Proving Under Uncertainty - A Possibility Theory-based Approach

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/DuboisLP87, title={Theorem Proving Under Uncertainty - A Possibility Theory-based Approach}, pages={984-986}, year={1987}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai87.html#DuboisLP87}, author={Didier Dubois and Jérôme Lang and Henri Prade} }\end{bibtex}