@inproceedings{AzzRigLam20-PLP-IW,
title = {An Analysis of {Gibbs} Sampling for Probabilistic Logic Programs},
booktitle = {Workshop on Probabilistic Logic Programming (PLP 2020)},
year = 2020,
author = {Damiano Azzolini and Fabrizio Riguzzi and Evelina Lamma},
editor = {Carmine Dodaro and George Aristidis Elder and Wolfgang Faber and Jorge Fandinno and Martin Gebser and Markus Hecher and Emily LeBlanc and Michael Morak and Jessica Zangari},
volume = {2678},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
address = {Aachen, Germany},
issn = {1613-0073},
venue = {Rende, Italy},
eventdate = {September 19, 2020},
copyright = {by the authors},
url = {http://ceur-ws.org/Vol-2678/paper12.pdf},
pages = {1--13},
scopus = {2-s2.0-85092328818}
}
@inproceedings{AzzBelBraRigLam20-ICLP-IC,
title = {Modeling Bitcoin Lightning Network by Logic Programming},
booktitle = {Proceedings of the 36th International Conference on Logic Programming (Technical Communications)},
year = 2020,
author = {Damiano Azzolini and Elena Bellodi and Alessandro Brancaleoni and Fabrizio Riguzzi and Evelina Lamma},
editor = {Francesco Ricca and Alessandra Russo and Sergio Greco and Nicola Leone and Alexander Artikis and Gerhard Friedrich and Paul Fodor and Angelika Kimmig and Francesca Lisi and Marco Maratea and Alessandra Mileo and Fabrizio Riguzzi},
publisher = {Open Publishing Association},
address = {Waterloo, Australia},
issn = {2075-2180},
venue = {Rende, Italy},
eventdate = {September 18-25, 2020},
copyright = {by the authors},
url = {https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2020#EPTCS325.30},
http = {https://arxiv.org/html/2009.09158v1/#EPTCS325.30},
doi = {10.4204/EPTCS.325},
scopus = {2-s2.0-85092656765},
pages = {258--260}
}
@inproceedings{AzzRigLam20-BSCT-IW,
author = {Azzolini, Damiano and Riguzzi, Fabrizio and Lamma, Evelina},
editor = {Abramowicz, Witold and Klein, Gary},
title = {Modeling Smart Contracts with Probabilistic Logic Programming},
booktitle = {Business Information Systems Workshops},
year = {2020},
publisher = {Springer International Publishing},
series = {Lecture Notes in Business Information Processing},
volume = {394},
address = {Cham},
pages = {86--98},
isbn = {978-3-030-61146-0},
url = {http://ml.unife.it/wp-content/uploads/Papers/AzzRigLam-BSCT20.pdf},
copyright = {Springer},
doi = {10.1007/978-3-030-61146-0_7},
note = {The final publication is available at Springer via \url{http://dx.doi.org/10.1007/978-3-030-61146-0_7}}
}
This file was generated by bibtex2html 1.98.