@inproceedings{BelBerGavZes20-AIXIA-IC,
author = {Elena Bellodi and
Alessandro Bertagnon and
Marco Gavanelli and
Riccardo Zese},
editor = {Matteo Baldoni and
Stefania Bandini},
title = {Improving the Efficiency of Euclidean {TSP} Solving in Constraint
Programming by Predicting Effective Nocrossing Constraints},
booktitle = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
Conference of the Italian Association for Artificial Intelligence,
Virtual Event, November 25-27, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12414},
pages = {318--334},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-77091-4\_20},
doi = {10.1007/978-3-030-77091-4\_20},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/BellodiBGZ20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{BelBerGavZes20-RCRA-IW,
title = {Improving the Efficiency of Euclidean {TSP} Solving in {Constraint Programming} by Predicting Effective Nocrossing Constraints},
booktitle = {IPS-RCRA 2020, Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion},
year = 2020,
author = {Elena Bellodi and Alessandro Bertagnon and Marco Gavanelli and Riccardo Zese},
editor = {Riccardo De Benedictis and Marco Maratea and Andrea Micheli and Enrico Scala and Ivan Serina and Alessandro Umbrico and Mauro Vallati},
volume = {2745},
series = {CEUR Workshop Proceedings},
publisher = {Sun {SITE} Central Europe},
address = {Aachen, Germany},
issn = {1613-0073},
venue = {Online Event},
eventdate = {November 25-27, 2020},
copyright = {by the authors},
url = {http://ceur-ws.org/Vol-2745/paper6.pdf},
pages = {1-15}
}
@incollection{CotZesBelLamRig20-SSWS-BC,
title = {A Framework for Reasoning on Probabilistic Description Logics},
author = {Cota, Giuseppe and Zese, Riccardo and Bellodi, Elena and Lamma, Evelina and Riguzzi, Fabrizio},
booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning},
series = {Studies on the Semantic Web},
volume = {49},
editor = {Cota, Giuseppe and Daquino, Marilena and Pozzato, Gian Luca},
isbn = {978-1-64368-142-9},
doi = {10.3233/SSW200040},
language = {English},
pages = {127-144},
year = {2020},
publisher = {{IOS} Press},
abstract = {While there exist several reasoners for Description Logics, very few of them can cope with uncertainty. BUNDLE is an inference framework that can exploit several OWL (non-probabilistic) reasoners to perform inference over Probabilistic Description Logics.
In this chapter, we report the latest advances implemented in BUNDLE. In particular, BUNDLE can now interface with the reasoners of the TRILL system, thus providing a uniform method to execute probabilistic queries using different settings. BUNDLE can be easily extended and can be used either as a standalone desktop application or as a library in OWL API-based applications that need to reason over Probabilistic Description Logics.
The reasoning performance heavily depends on the reasoner and method used to compute the probability. We provide a comparison of the different reasoning settings on several datasets.
},
copyright = {Akademische Verlagsgesellschaft AKA GmbH, Berlin}
}
@article{BelAlbRig20-TPLP-IJ,
author = {Elena Bellodi and Marco Alberti and Fabrizio Riguzzi and Riccardo Zese},
title = {{MAP} Inference for Probabilistic Logic Programming},
journal = {Theory and Practice of Logic Programming},
publisher = {Cambridge University Press},
copyright = {Cambridge University Press},
year = {2020},
url = {https://arxiv.org/abs/2008.01394},
volume = {20},
doi = {10.1017/S1471068420000174},
pdf = {https://arxiv.org/pdf/2008.01394.pdf},
number = {5},
pages = {641--655}
}
@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}
}
This file was generated by bibtex2html 1.98.