@article(AlbBelCot17-IA-IJ, author = {Marco Alberti and Elena Bellodi and Giuseppe Cota and Fabrizio Riguzzi and Riccardo Zese}, year = {2017}, title = {\texttt{cplint} on {SWISH}: Probabilistic Logical Inference with a Web Browser}, journal = {Intelligenza Artificiale}, volume = {11}, number = {1}, pages = {47--64}, doi = {10.3233/IA-170105}, ) @article(azzolini2019studying, author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma}, year = {2019}, title = {Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming}, journal = {Information}, volume = {10}, number = {11}, pages = {335}, doi = {10.3390/info10110335}, ) @article(AzzRigLam21-AIJ-IJ, author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma}, year = {2021}, title = {A Semantics for Hybrid Probabilistic Logic Programs with Function Symbols}, journal = {Artificial Intelligence}, volume = {294}, pages = {103452}, doi = {10.1016/j.artint.2021.103452}, ) @inproceedings(AzzRigLamMas19-AIXIA-IC, author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma and Franco Masotti}, year = {2019}, title = {A Comparison of {MCMC} Sampling for Probabilistic Logic Programming}, editor = {Mario Alviano and Gianluigi Greco and Francesco Scarcello}, booktitle = {Proceedings of the 18th Conference of the Italian Association for Artificial Intelligence ({AI*IA2019}), Rende, Italy 19-22 November 2019}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Heidelberg, Germany}, doi = {10.1007/978-3-030-35166-3\_2}, ) @inproceedings(10.1007/978-3-030-58449-8_1, author = {Vaishak Belle}, year = {2020}, title = {Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains}, editor = {Jesse Davis and Karim Tabia}, booktitle = {Scalable Uncertainty Management}, publisher = {Springer International Publishing}, address = {Cham}, pages = {3--16}, doi = {10.1007/978-3-030-58449-8\_1}, ) @book(chow2012probability, author = {Y.S. Chow and H. Teicher}, year = {2012}, title = {Probability Theory: Independence, Interchangeability, Martingales}, series = {Springer Texts in Statistics}, publisher = {Springer}, ) @article(cozman2017semantics, author = {Fabio Gagliardi Cozman and Denis Deratani Mau{\'a}}, year = {2017}, title = {On the Semantics and Complexity of Probabilistic Logic Programs}, journal = {Journal of Artificial Intelligence Research}, volume = {60}, pages = {221--262}, doi = {10.1613/jair.5482}, ) @article(DBLP:journals/ml/RaedtK15, author = {De Raedt, Luc and Angelika Kimmig}, year = {2015}, title = {Probabilistic (Logic) Programming Concepts}, journal = {Machine Learning}, volume = {100}, number = {1}, pages = {5--47}, doi = {10.1007/s10994-015-5494-z}, ) @inproceedings(DBLP:conf/ijcai/RaedtKT07, author = {{De Raedt}, Luc and Angelika Kimmig and Hannu Toivonen}, year = {2007}, title = {{ProbLog}: A Probabilistic {Prolog} and Its Application in Link Discovery}, editor = {Manuela M. Veloso}, booktitle = {20th International Joint Conference on Artificial Intelligence (IJCAI 2007)}, volume = {7}, publisher = {AAAI Press/IJCAI}, pages = {2462--2467}, url = {http://www.ijcai.org/papers07/Papers/IJCAI07-396.pdf}, ) @inproceedings(DBLP:conf/ilp/GutmannJR10, author = {Bernd Gutmann and Manfred Jaeger and {De Raedt}, Luc}, year = {2011}, title = {Extending ProbLog with Continuous Distributions}, editor = {Paolo Frasconi and Francesca A. Lisi}, booktitle = {20th International Conference on Inductive Logic Programming (ILP 2010)}, series = {LNCS}, volume = {6489}, publisher = {Springer}, pages = {76--91}, doi = {10.1007/978-3-642-21295-6\_12}, ) @article(TLP:8688161, author = {Muhammad Asiful Islam and CR Ramakrishnan and IV Ramakrishnan}, year = {2012}, title = {Inference in probabilistic logic programs with continuous random variables}, journal = {Theory and Practice of Logic Programming}, volume = {12}, pages = {505--523}, doi = {10.1017/S1471068412000154}, ) @article(DBLP:journals/ai/MichelsHLV15, author = {Steffen Michels and Arjen Hommersom and Peter J. F. Lucas and Marina Velikova}, year = {2015}, title = {A new probabilistic constraint logic programming language based on a generalised distribution semantics}, journal = {Artificial Intelligence}, volume = {228}, pages = {1--44}, doi = {10.1016/j.artint.2015.06.008}, ) @inproceedings(Muggleton00, author = {Stephen Muggleton}, year = {2000}, title = {Learning Stochastic Logic Programs}, editor = {Lise Getoor and David Jensen}, booktitle = {Learning Statistical Models from Relational Data, Papers from the 2000 {AAAI} Workshop}, series = {{AAAI} Workshops}, volume = {{WS-00-06}}, publisher = {AAAI Press}, pages = {36--41}, ) @incollection(NguRig17-IMAKE-BC, author = {{Nguembang Fadja}, Arnaud and Fabrizio Riguzzi}, year = {2017}, title = {Probabilistic Logic Programming in Action}, editor = {Andreas Holzinger and Randy Goebel and Massimo Ferri and Vasile Palade}, booktitle = {Towards Integrative Machine Learning and Knowledge Extraction}, series = {LNCS}, volume = {10344}, publisher = {Springer}, doi = {10.1007/978-3-319-69775-8\_5}, ) @article(DBLP:journals/ai/Poole97, author = {David Poole}, year = {1997}, title = {The Independent Choice Logic for Modelling Multiple Agents Under Uncertainty}, journal = {Artificial Intelligence}, volume = {94}, number = {1-2}, pages = {7--56}, doi = {10.1016/S0004-3702(97)00027-1}, ) @article(Rig13-FI-IJ, author = {Fabrizio Riguzzi}, year = {2013}, title = {{MCINTYRE}: A {Monte Carlo} System for Probabilistic Logic Programming}, journal = {Fundamenta Informaticae}, volume = {124}, number = {4}, pages = {521--541}, doi = {10.3233/FI-2013-847}, ) @article(Rig16-IJAR-IJ, author = {Fabrizio Riguzzi}, year = {2016}, title = {The Distribution Semantics for Normal Programs with Function Symbols}, journal = {International Journal of Approximate Reasoning}, volume = {77}, pages = {1--19}, doi = {10.1016/j.ijar.2016.05.005}, ) @book(Rig18-BKaddress, author = {Fabrizio Riguzzi}, year = {2018}, title = {Foundations of Probabilistic Logic Programming}, publisher = {River Publishers}, address = {Gistrup, Denmark}, ) @article(RigBelLam16-SPE-IJ, author = {Fabrizio Riguzzi and Elena Bellodi and Evelina Lamma and Riccardo Zese and Giuseppe Cota}, year = {2016}, title = {Probabilistic Logic Programming on the Web}, journal = {Software: Practice and Experience}, volume = {46}, number = {10}, pages = {1381--1396}, doi = {10.1002/spe.2386}, ) @article(RigSwi13-TPLP-IJ, author = {Fabrizio Riguzzi and Terrance Swift}, year = {2013}, title = {Well\--Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics}, journal = {Theory and Practice of Logic Programming}, volume = {13}, number = {2}, pages = {279--302}, doi = {10.1017/S1471068411000664}, ) @inproceedings(DBLP:conf/iclp/Sato95, author = {Taisuke Sato}, year = {1995}, title = {A Statistical Learning Method for Logic Programs with Distribution Semantics}, editor = {Leon Sterling}, booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995}, publisher = {MIT Press}, pages = {715--729}, ) @article(well-founded, author = {Van Gelder, A. and K. A. Ross and J. S. Schlipf}, year = {1991}, title = {The Well-founded Semantics for General Logic Programs}, journal = {Journal of the ACM}, volume = {38}, number = {3}, pages = {620--650}, doi = {10.1145/116825.116838}, ) @article(DBLP:journals/tplp/VennekensDB09, author = {J. Vennekens and Marc Denecker and Maurice Bruynooghe}, year = {2009}, title = {{CP}-logic: A language of causal probabilistic events and its relation to logic programming}, journal = {Theory and Practice of Logic Programming}, volume = {9}, number = {3}, pages = {245--308}, doi = {10.1017/S1471068409003767}, ) @inproceedings(VenVer04-ICLP04-IC, author = {Joost Vennekens and Sofie Verbaeten and Maurice Bruynooghe}, year = {2004}, title = {Logic Programs With Annotated Disjunctions}, editor = {Bart Demoen and Vladimir Lifschitz}, booktitle = {20th International Conference on Logic Programming (ICLP 2004)}, series = {LNCS}, volume = {3131}, publisher = {Springer}, pages = {431--445}, doi = {10.1007/978-3-540-27775-0\_30}, ) @article(DBLP:journals/corr/abs-1807-00614, author = {{Zuidberg Dos Martires}, Pedro and Anton Dries and {De Raedt}, Luc}, year = {2018}, title = {Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming}, journal = {CoRR}, volume = {abs/1807.00614}, )