2022.bib

@inproceedings{AzzBelRig22-abdPASP-NC,
  title = {Abduction in (Probabilistic) Answer Set Programming},
  author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
  year = {2022},
  editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini},
  booktitle = {Proceedings of the 37th Italian Conference on Computational Logic (CILC2022)},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Bologna, Italy},
  volume = {3204},
  pages = {90--103},
  pdf = {http://ceur-ws.org/Vol-3204/paper_9.pdf}
}
@inproceedings{AzzRigLam22-hybridSummary-IW,
  title = {Semantics for Hybrid Probabilistic Logic Programs with Function Symbols: Technical Summary},
  author = {Azzolini, Damiano and Riguzzi, Fabrizio and Lamma, Evelina},
  year = {2022},
  editor = {JoaquĆ­n Arias and Roberta Calegari and Luke Dickens and Wolfgang Faber and Jorge Fandinno and Gopal Gupta and Markus Hecher and Daniela Inclezan and Emily LeBlanc and Michael Morak and Elmer Salazar and Jessica Zangari},
  booktitle = {Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022)},
  series = {CEUR Workshop Proceedings},
  publisher = {Sun {SITE} Central Europe},
  address = {Aachen, Germany},
  issn = {1613-0073},
  venue = {Haifa, Israel},
  volume = {3193},
  pages = {1--5},
  pdf = {http://ceur-ws.org/Vol-3193/short1PLP.pdf}
}
@inproceedings{AzzBellRig2022-PASTA-IC,
  author = {Azzolini, Damiano and Bellodi, Elena and Riguzzi, Fabrizio},
  editor = {Gottlob, Georg and Inclezan, Daniela and Maratea, Marco},
  title = {Statistical Statements in Probabilistic Logic Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning},
  year = {2022},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {43--55},
  isbn = {978-3-031-15707-3},
  doi = {10.1007/978-3-031-15707-3_4},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-15707-3_4},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AzzBellRig2022PASTA.pdf}
}
@inproceedings{AzzBelFerRigZes22-recently-IC,
  title = {Abduction in Probabilistic Logic Programs},
  booktitle = {Proceedings of the 38th International Conference on Logic Programming (Technical Communications), Recently Published Research track},
  issn = {2075-2180},
  doi = {10.4204/EPTCS.364},
  volume = {364},
  pages = {174--176},
  series = {Electronic Proceedings in Theoretical Computer Science},
  publisher = {Open Publishing Association},
  address = {Waterloo, Australia},
  editor = {Yuliya Lierler and Jose F. Morales and Carmine Dodaro and Veronica Dahl and Martin Gebser and Tuncay Tekle},
  year = {2022},
  author = {Damiano Azzolini and Elena Bellodi and Stefano Ferilli and Fabrizio Riguzzi and Riccardo Zese},
  url = {https://arxiv.org/html/2208.02685v1/#EPTCS364.27}
}
@article{AzzBellFer2022-IJAR-IJ,
  title = {Abduction with probabilistic logic programming under the distribution semantics},
  journal = {International Journal of Approximate Reasoning},
  volume = {142},
  pages = {41-63},
  year = {2022},
  issn = {0888-613X},
  doi = {10.1016/j.ijar.2021.11.003},
  url = {https://www.sciencedirect.com/science/article/pii/S0888613X2100181X},
  author = {Damiano Azzolini and Elena Bellodi and Stefano Ferilli and Fabrizio Riguzzi and Riccardo Zese},
  keywords = {Abduction, Distribution semantics, Probabilistic logic programming, Statistical relational artificial intelligence},
  abstract = {In Probabilistic Abductive Logic Programming we are given a probabilistic logic program, a set of abducible facts, and a set of constraints. Inference in probabilistic abductive logic programs aims to find a subset of the abducible facts that is compatible with the constraints and that maximizes the joint probability of the query and the constraints. In this paper, we extend the PITA reasoner with an algorithm to perform abduction on probabilistic abductive logic programs exploiting Binary Decision Diagrams. Tests on several synthetic datasets show the effectiveness of our approach.},
  scopus = {2-s2.0-85119493622}
}
@inproceedings{AzzRigBelLam22-BSCT-IW,
  title = {A Probabilistic Logic Model of Lightning Network},
  author = {Azzolini, Damiano and Riguzzi, Fabrizio and Bellodi, Elena and Lamma, Evelina},
  booktitle = {Business Information Systems Workshops},
  year = {2022},
  editor = {Abramowicz, Witold and Auer, S{\"o}ren and Str{\'o}{\.{z}}yna, Milena},
  pages = {321--333},
  series = {Lecture Notes in Business Information Processing (LNBIP)},
  publisher = {Springer International Publishing},
  address = {Cham, Switzerland},
  eventdate = {June 14-17, 2021},
  doi = {10.1007/978-3-031-04216-4_28},
  url = {https://link.springer.com/chapter/10.1007/978-3-031-04216-4_28},
  pdf = {http://ml.unife.it/wp-content/uploads/Papers/AzzRigBelLam22-BSCT-IW.pdf}
}
@article{AzzRig2022-CRYPT-IJ,
  author = {Azzolini, Damiano and Riguzzi, Fabrizio},
  title = {Probabilistic Logic Models for the Lightning Network},
  journal = {Cryptography},
  volume = {6},
  year = {2022},
  number = {2},
  article-number = {29},
  url = {https://www.mdpi.com/2410-387X/6/2/29},
  pdf = {https://www.mdpi.com/2410-387X/6/2/29/pdf?version=1655360685},
  issn = {2410-387X},
  doi = {10.3390/cryptography6020029}
}

This file was generated by bibtex2html 1.98.