Carvalho, Rommel N.; Laskey, Kathryn B.; Costa, Paulo C. G. PR-OWL - a language for defining probabilistic ontologies. (English) Zbl 1419.68141 Int. J. Approx. Reasoning 91, 56-79 (2017). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{R. N. Carvalho} et al., Int. J. Approx. Reasoning 91, 56--79 (2017; Zbl 1419.68141) Full Text: DOI
Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio A model-learner pattern for Bayesian reasoning. (English) Zbl 1301.68179 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 403-416 (2013). MSC: 68Q60 68N30 68Q87 68T05 PDFBibTeX XMLCite \textit{A. D. Gordon} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 403--416 (2013; Zbl 1301.68179) Full Text: DOI
Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc The magic of logical inference in probabilistic programming. (English) Zbl 1222.68060 Theory Pract. Log. Program. 11, No. 4-5, 663-680 (2011). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{B. Gutmann} et al., Theory Pract. Log. Program. 11, No. 4--5, 663--680 (2011; Zbl 1222.68060) Full Text: DOI arXiv