Easy Cases of Probabilistic Satisfiability
Annals of Mathematics and Artificial Intelligence
Simplification Rules for the Coherent Probability Assessment Problem
Annals of Mathematics and Artificial Intelligence
Merging the local and global approaches to probabilistic satisfiability
International Journal of Approximate Reasoning
An anytime deduction algorithm for the probabilistic logic and entailment problems
International Journal of Approximate Reasoning
On the relationship between probabilistic logic and π-CMS
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |