Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A propositional probabilistic logic with discrete linear time for reasoning about evidence
Annals of Mathematics and Artificial Intelligence
Hi-index | 5.23 |