- Ackerman, N., Freer, C., Roy, D. On the computability of conditional probability. arXiv 1005.3014, 2013.Google Scholar
- Arora, N.S., Russell, S., Sudderth, E. NET-VISA: Network processing vertically integrated seismic analysis. Bull. Seism. Soc. Am. 103 (2013).Google Scholar
- Bacchus, F. Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990. Google ScholarDigital Library
- Breese, J.S. Construction of belief and decision networks. Comput. Intell. 8 (1992) 624--647.Google ScholarCross Ref
- Claret, G., Rajamani, S.K., Nori, A.V., Gordon, A.D., Borgström, J. Bayesian inference using data flow analysis. In FSE-13 (2013). Google ScholarDigital Library
- Dalvi, N.N., Ré, C., Suciu, D. Probabilistic databases. CACM 52, 7 (2009), 86--94. Google ScholarDigital Library
- Fischer, B., Schumann, J. AutoBayes: A system for generating data analysis programs from statistical models. J. Funct. Program 13 (2003). Google ScholarDigital Library
- Gaifman, H. Concerning measures in first order calculi. Israel J. Math. 2 (1964), 1--18.Google ScholarCross Ref
- Gaifman, H. Concerning measures on Boolean algebras. Pacific J. Math. 14 (1964), 61--73.Google ScholarCross Ref
- Gilks, W.R., Thomas, A., Spiegelhalter, D.J. A language and program for complex Bayesian modelling. The Statistician 43 (1994), 169--178.Google ScholarCross Ref
- Goodman, N.D., Mansinghka, V.K., Roy, D., Bonawitz, K., Tenenbaum, J.B. Church: A language for generative models. In UAI-08 (2008).Google Scholar
- Hailperin, T. Probability logic. Notre Dame J. Formal Logic 25, 3 (1984), 198--212.Google ScholarCross Ref
- Halpern, J.Y. An analysis of first-order logics of probability. AIJ 46, 3 (1990), 311--350. Google ScholarDigital Library
- Howson, C. Probability and logic. J. Appl. Logic 1, 3--4 (2003), 151--165. Google ScholarDigital Library
- Hur, C.-K., Nori, A.V., Rajamani, S.K., Samuel, S. Slicing probabilistic programs. In PLDI-14 (2014). Google ScholarDigital Library
- Jain, D., Kirchlechner, B., Beetz, M. Extending Markov logic to model probability distributions in relational domains. In KI-07 (2007). Google ScholarDigital Library
- Koller, D., McAllester, D.A., Pfeffer, A. Effective Bayesian inference for stochastic programs. In AAAI-97 (1997). Google ScholarDigital Library
- Li, L., Wu, Y., Russell, S. SWIFT: Compiled inference for probabilistic programs. Tech. Report EECS-2015-12, UC Berkeley, 2015.Google Scholar
- McCallum, A., Schultz, K., Singh, S. FACTORIE: Probabilistic programming via imperatively defined factor graphs. In NIPS 22 (2010).Google Scholar
- Milch, B. Probabilistic models with unknown objects. PhD thesis, UC Berkeley, 2006. Google ScholarDigital Library
- Milch, B., Marthi, B., Sontag, D., Russell, S.J., Ong, D., Kolobov, A. BLOG: Probabilistic models with unknown objects. In IJCAI-05 (2005). Google ScholarDigital Library
- Milch, B., Russell, S.J. General-purpose MCMC inference over relational structures. In UAI-06 (2006).Google Scholar
- Nilsson, N.J. Probabilistic logic. AIJ 28 (1986), 71--87. Google ScholarDigital Library
- Paskin, M. Maximum entropy probabilistic logic. Tech. Report UCB/CSD-01-1161, UC Berkeley, 2002. Google Scholar
- Pasula, H., Marthi, B., Milch, B., Russell, S.J., Shpitser, I. Identity uncertainty and citation matching. In NIPS 15 (2003).Google Scholar
- Pasula, H., Russell, S.J. Approximate inference for first-order probabilistic languages. In IJCAI-01 (2001). Google ScholarDigital Library
- Pearl, J. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, 1988. Google ScholarDigital Library
- Pfeffer, A. IBAL: A probabilistic rational programming language. In IJCAI-01 (2001). Google ScholarDigital Library
- Poole, D. First-order probabilistic inference. In IJCAI-03 (2003). Google ScholarDigital Library
- Richardson, M., Domingos, P. Markov logic networks. Machine Learning 62, 1--2 (2006), 107--136. Google ScholarDigital Library
- Russell, S.J. Expressive probability models in science. In Discovery Science (Tokyo, 1999). Google ScholarDigital Library
- Van den Broeck, G. Lifted Inference and Learning in Statistical Relational Models. PhD thesis, Katholieke Universiteit Leuven, 2013.Google Scholar
Index Terms
- Unifying logic and probability
Recommendations
Unifying probability
UTP'06: Proceedings of the First international conference on Unifying Theories of ProgrammingWe demonstrate a new unification of probability with standard computation in which a nonzero chance of disaster is treated as disaster. Laws and a Galois connection with the more traditional probabilistic model are provided. Reversibility in the ...
A Summary on Fuzzy Probability Theory
GRC '10: Proceedings of the 2010 IEEE International Conference on Granular ComputingFuzzy probability theory is an extension of probability theory to dealing with mixed probabilistic/non-probabilistic uncertainty. It provides a theoretical basis to model uncertainty which is only partly characterized by randomness and defies a pure ...
Uncertainty about probability: a reconciliation with the subjectivist viewpoint
The use of probability distributions to represent uncertainty about probabilities (rather than events) has long been a subject of controversy among theorists. Many have concluded that it is inherently meaningless to be uncertain about a probability, ...
Comments