Elena Bellodi

Elena Bellodi's photo
Assistant Professor
DE: Department of Engineering, University of Ferrara,
Blocco A, Polo Scientifico Tecnologico
Via Saragat 1, 44122, Ferrara, Italy
Tel: +39 0532 974882 Fax: +39 0532 974882
E-Mail: elena.bellodi@unife.it
University Home Page

Publications

Latest Publications

[5] Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese. Improving the efficiency of euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints. In Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, and Mauro Vallati, editors, IPS-RCRA 2020, Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 2745 of CEUR Workshop Proceedings, pages 1--15, Aachen, Germany, 2020. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[4] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A framework for reasoning on probabilistic description logics. In Giuseppe Cota, Marilena Daquino, and Gian Luca Pozzato, editors, Applications and Practices in Ontology Design, Extraction, and Reasoning, volume 49 of Studies on the Semantic Web, pages 127--144. IOS Press, © Akademische Verlagsgesellschaft AKA GmbH, Berlin, 2020. [ bib | DOI ]
[3] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, pages 1--32, 2020. [ bib | DOI | .pdf ]
[2] Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. MAP inference for probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):641–655, © Cambridge University Press, 2020. [ bib | DOI | http | .pdf ]
[1] Damiano Azzolini, Elena Bellodi, Alessandro Brancaleoni, Fabrizio Riguzzi, and Evelina Lamma. Modeling bitcoin lightning network by logic programming. In Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, and Fabrizio Riguzzi, editors, Proceedings of the 36th International Conference on Logic Programming (Technical Communications), pages 258--260, Waterloo, Australia, 2020. © by the authors, Open Publishing Association. [ bib | DOI | http | http ]