@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},
)