%0 Conference Paper %1 conf/ijcai/DuboisLP87 %A Dubois, Didier %A Lang, Jérôme %A Prade, Henri %B IJCAI %D 1987 %E McDermott, John P. %I Morgan Kaufmann %K dblp %P 984-986 %T Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai87.html#DuboisLP87

@inproceedings{conf/ijcai/DuboisLP87, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dubois, Didier and Lang, Jérôme and Prade, Henri}, biburl = {https://www.bibsonomy.org/bibtex/2dbdf32a9fe698ffb734a7dcab93d75ac/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1987}, editor = {McDermott, John P.}, ee = {http://ijcai.org/Proceedings/87-2/Papers/084.pdf}, interhash = {e866bc6a8dbc9d1ea67c31b9aabd6221}, intrahash = {dbdf32a9fe698ffb734a7dcab93d75ac}, keywords = {dblp}, pages = {984-986}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:54:46.000+0200}, title = {Theorem Proving Under Uncertainty - A Possibility Theory-based Approach.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai87.html#DuboisLP87}, year = 1987 }