Publisher
Springer Nature Switzerland
Reference23 articles.
1. Bisset, K.R., Chen, J., Deodhar, S., Feng, X., Ma, Y., Marathe, M.V.: Indemics: an interactive high-performance computing framework for data-intensive epidemic modeling. ACM Trans. Model. Comput. Simul. 24(1), 4:1–4:32 (2014). https://doi.org/10.1145/2501602
2. Carnap, R.: Logical Foundations of Probability. University of Chicago Press, Chicago (1950)
3. Dalvi, N.N., Suciu, D.: The dichotomy of probabilistic inference for unions of conjunctive queries. J. ACM 59(6), 30:1–30:87 (2012). https://doi.org/10.1145/2395116.2395119
4. Doan, A., Niu, F., Ré, C., Shavlik, J., Zhang, C.: User manual of Tuffy 0.3. Stanford University (2011). http://i.stanford.edu/hazy/tuffy/doc/tuffy-manual.pdf
5. Halpern, J.Y.: An analysis of first-order logics of probability. Artif. Intell. 46(3), 311–350 (1990). https://doi.org/10.1016/0004-3702(90)90019-V