IEEE Transactions on Knowledge and Data Engineering
An alternative proof method for possibilistic logicand its application to terminological logics
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |