Elena Bellodi

99 papers A* 1A 1B 7C 2Journal 39Unranked 44
YearRankTypeTitle / Venue / Authors
2026 J jnl
Smart and Sustainable Ice Cream Making Through Edge Machine Learning.
IEEE Trans. Ind. Informatics
Filippo Tabanelli, Simon Dahdal, Nicolas Belletti, Elena Bellodi, Franck Ngatcha, Roberto Lazzarini, Cesare Stefanelli, Mauro Tortonesi
2025 — conf
A Scalable Approach to Probabilistic Compliance in Declarative Process Mining.
ICLP Workshops
Michela Vespa, Elena Bellodi
2025 — conf
A Synthesis Toolflow for the Predictable Implementation of High-Performance Bundled-Data Asynchronous NoCs on FPGA.
ASYNC
Giuseppe Chessa, Elena Bellodi, Michele Favalli, Davide Zoni, Davide Bertozzi
2025 C conf
AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence.
DSD
Marko S. Andjelkovic, Rizwan Tariq Syed, Alessandro Veronesi, Fabian Vargas, Markus Ulbricht, Leticia Bolzani Poehls, Milos Krstic, Davide Bertozzi, Edward G. Jones, Oliver Rhodes, Riccardo Zese, Michele Favalli, Alice Bizzarri, Evelina Lamma, Marco Gavanelli, Elena Bellodi, Zoran Peric, Jelena Nikolic, Milan R. Dincic, Aleksandra Jovanovic, Dejan Ciric, Nikola Vucic, Sofija Peric, Jelena Jovanovic, Milica Stojanovic, Tatjana R. Nikolic, Goran Nikolic, Jelena Nedeljkovic, Danijel Dankovic, Emilija Zivanovic, Milos Marjanovic, Sandra Veljkovic, Nikola Mitrovic, Bratislav Predic, Tamara Milovanovic
2025 — conf
Discovery of Logic-Probabilistic Rules from COVID-19 Vaccine Antibody Response in Older People: Results from the GeroCovid VAX Study.
AIME (1)
Michela Vespa, Francesca Remelli, Elena Bellodi, Raffaele Antonelli Incalzi
2025 — conf
Investigating Edge Fine-Tuning of Large Language Models in a Federated Environment.
ITADATA
Lorenzo Colombi, Michela Vespa, Francesco Resca, Sara Cavicchi, Edoardo Di Caro, Elena Bellodi, Mauro Tortonesi, Cesare Stefanelli
2025 J jnl
Multivariate Time Series Anomaly Detection in Industry 5.0.
CoRR
Lorenzo Colombi, Michela Vespa, Nicolas Belletti, Matteo Brina, Simon Dahdal, Filippo Tabanelli, Elena Bellodi, Mauro Tortonesi, Cesare Stefanelli, Massimiliano Vignoli
2025 — conf
Probabilistic Compliance of Uncertain Traces in Declarative Process Mining.
CILC
Michela Vespa, Elena Bellodi
2025 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
Theory Pract. Log. Program.
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2024 — conf
Optimizing Industry 5.0 Machine Learning-Based Applications via Synthetic Data Generation.
CAMAD
Lorenzo Colombi, Matteo Brina, Michela Vespa, Filippo Tabanelli, Simon Dahdal, Elena Bellodi, Riccardo Venanzi, Mauro Tortonesi, Massimiliano Vignoli, Cesare Stefanelli
2024 — conf
Probabilistic Compliance in Declarative Process Mining.
PMAI@ECAI
Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini
2024 — conf
Probabilistic Traces in Declarative Process Mining.
AI*IA
Michela Vespa, Elena Bellodi, Federico Chesani, Daniela Loreti, Paola Mello, Evelina Lamma, Anna Ciampolini, Marco Gavanelli, Riccardo Zese
2024 J jnl
Solving Decision Theory Problems with Probabilistic Answer Set Programming.
CoRR
Damiano Azzolini, Elena Bellodi, Rafael Kiesel, Fabrizio Riguzzi
2023 J jnl
A web application for reasoning on probabilistic description logics knowledge bases.
Softw. Pract. Exp.
Riccardo Zese, Elena Bellodi
2023 — conf
Efficient Resource-Aware Neural Architecture Search with a Neuro-Symbolic Approach.
MCSoC
Elena Bellodi, Davide Bertozzi, Alice Bizzarri, Michele Favalli, Michele Fraccaroli, Riccardo Zese
2023 B ed.
Inductive Logic Programming - 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
ILP
Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese
2023 J jnl
Modeling opinion polarization on social media: application to Covid-19 vaccination hesitancy in Italy.
CoRR
Jonathan Franceschi, Lorenzo Pareschi, Elena Bellodi, Marco Gavanelli, Marco Bresadola
2023 J jnl
The distribution semantics in probabilistic logic programming and probabilistic description logics: a survey.
Intelligenza Artificiale
Elena Bellodi
2022 — conf
Abduction in (Probabilistic) Answer Set Programming.
CILC
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 J jnl
Abduction with probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese
2022 — conf
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — conf
Comparing Emotion and Sentiment Analysis Tools on Italian anti-vaccination for COVID-19 posts.
NL4AI@AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli
2022 B conf
Learning the Parameters of Probabilistic Answer Set Programs.
ILP
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — conf
MAP Inference in Probabilistic Answer Set Programs.
AI*IA
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 B conf
Statistical Statements in Probabilistic Logic Programming.
LPNMR
Damiano Azzolini, Elena Bellodi, Fabrizio Riguzzi
2022 — conf
Towards Smart Cities for Tourism: the POLIS-EYE Project.
ISC2
Alessandro Seravalli, Mariaelena Busani, Simone Venturi, Arianna Brutti, Carlo Petrovich, Angelo Frascella, Fabrizio Paolucci, Marco Di Felice, Michele Lombardi, Elena Bellodi, Riccardo Zese, Francesco Bertasi, Elia Balugani, Alket Cecaj, Rita Gamberini, Marco Mamei, Marco Picone
2021 — conf
A Probabilistic Logic Model of Lightning Network.
BIS (Workshops)
Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2021 — conf
Machine Learning in a Policy Support System for Smart Tourism Management.
LOD
Elena Bellodi, Riccardo Zese, Francesco Bertasi
2021 J jnl
Neural Network Techniques for Detecting Intra-Domestic Water Leaks of Different Magnitude.
IEEE Access
Riccardo Zese, Elena Bellodi, Chiara Luciani, Stefano Alvisi
2021 J jnl
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints.
CoRR
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Nonground Abductive Logic Programming with Probabilistic Integrity Constraints.
Theory Pract. Log. Program.
Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, Fabrizio Riguzzi
2021 J jnl
Probabilistic inductive constraint logic.
Mach. Learn.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, Evelina Lamma
2021 J jnl
Special Issue on Probabilistic Logic Programming (PLP 2018).
Int. J. Approx. Reason.
Elena Bellodi, Tom Schrijvers
2020 J jnl
A Framework for Reasoning on Probabilistic Description Logics.
CoRR
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — ch.
A Framework for Reasoning on Probabilistic Description Logics.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2020 — conf
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.
IPS-RCRA@AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020 — conf
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints.
AI*IA
Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, Riccardo Zese
2020 J jnl
MAP Inference for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2020 J jnl
MAP Inference for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, Riccardo Zese
2019 J jnl
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018.
Mach. Learn.
Nicolas Lachiche, Christel Vrain, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2019 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
Theory Pract. Log. Program.
Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi
2019 J jnl
Summarizing significant subgraphs by probabilistic logic programming.
Intell. Data Anal.
Elena Bellodi, Ken Satoh, Mahito Sugiyama
2018 — conf
A Modular Inference System for Probabilistic Description Logics.
SUM
Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, Evelina Lamma
2018 B ed.
Inductive Logic Programming - 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings
ILP
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2018 — conf
Modeling Bitcoin Protocols with Probabilistic Logic Programming.
PLP@ILP
Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, Riccardo Zese
2018 J jnl
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.
CoRR
Riccardo Zese, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi
2018 — ed.
Proceedings of the 5th International Workshop on Probabilistic Logic Programming, PLP 2018, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 1, 2018.
PLP@ILP
Elena Bellodi, Tom Schrijvers
2018 J jnl
Reasoning on Datalog
Fundam. Informaticae
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2018 J jnl
Tableau reasoning for description logics and its extension to probabilities.
Ann. Math. Artif. Intell.
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, Evelina Lamma
2018 — ed.
Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 2-4, 2018.
ILP Up-and-Coming / Short Papers
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2017 J jnl
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics.
Int. J. Approx. Reason.
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2017 J jnl
A web system for reasoning with probabilistic OWL.
Softw. Pract. Exp.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, Giuseppe Cota
2017 J jnl
Causal inference in cplint.
Int. J. Approx. Reason.
Fabrizio Riguzzi, Giuseppe Cota, Elena Bellodi, Riccardo Zese
2017 J jnl
Economic and organizational impact of a clinical decision support system on laboratory test ordering.
BMC Medical Informatics Decis. Mak.
Elena Bellodi, Emidia Vagnoni, Barbara Bonvento, Evelina Lamma
2017 J jnl
cplint on SWISH: Probabilistic Logical Inference with a Web Browser.
Intelligenza Artificiale
Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Constraint Logic Theories.
PLP@ILP
Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese
2016 — conf
Probabilistic Logic Programming for Natural Language Processing.
URANIA@AI*IA
Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2016 J jnl
Probabilistic logic programming on the web.
Softw. Pract. Exp.
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2016 A conf
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce.
ECAI
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma
2016 J jnl
Statistical relational learning for workflow mining.
Intell. Data Anal.
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 — conf
Abductive Logic Programming for Normative Reasoning and Ontologies.
JSAI-isAI Workshops
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
Abductive logic programming for Datalog +/- ontologies.
CILC
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 — conf
An Abductive Framework for Datalog± Ontologies.
ICLP (Technical Communications)
Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota
2015 J jnl
Bandit-based Monte-Carlo structure learning of probabilistic logic programs.
Mach. Learn.
Nicola Di Mauro, Elena Bellodi, Fabrizio Riguzzi
2015 B conf
Distributed Parameter Learning for Probabilistic Ontologies.
ILP
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2015 — conf
Learning Probabilistic Ontologies with Distributed Parameter Learning.
DC@AI*IA
Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 — conf
Logic Programming Techniques for Reasoning with Probabilistic Ontologies.
JOWO@IJCAI
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2015 J jnl
Probabilistic Description Logics under the distribution semantics.
Semantic Web
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 — ed.
Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 23-24, 2015.
DC@AI*IA
Elena Bellodi, Alessio Bonfietti
2015 A* conf
Reasoning with Probabilistic Ontologies.
IJCAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2015 B conf
Reducing Laboratory Examinations by a Computer-Aided Clinical Decision Support System.
ICTAI
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Giovanni Guerra, Michela Boni, Evelina Lamma, Elena Bellodi
2015 J jnl
Structure learning of probabilistic logic programs by searching the clause space.
Theory Pract. Log. Program.
Elena Bellodi, Fabrizio Riguzzi
2015 — conf
Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques.
DC@AI*IA
Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2014 J jnl
A History of Probabilistic Inductive Logic Programming.
Frontiers Robotics AI
Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese
2014 — conf
Appropriateness of Repeated Execution of Laboratory Examinations: A CDSS Approach.
ICHI
Massimo Gallerani, Dario Pelizzola, Marcello Pivanti, Michela Boni, Evelina Lamma, Elena Bellodi
2014 J jnl
Integration of logic and probability in inductive and terminological reasoning.
Intelligenza Artificiale
Elena Bellodi
2014 — conf
Learning Probabilistic Description Logics.
URSW (LNCS Vol.)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 — conf
Semantics and Inference for Probabilistic Description Logics.
URSW (LNCS Vol.)
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Fabiano Aguiari
2013 — conf
A Description Logics Tableau Reasoner in Prolog.
CILC
Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi
2013 — conf
BUNDLE: A Reasoner for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 — conf
Computing Instantiated Explanations in OWL DL.
AI*IA
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
Expectation maximization over binary decision diagrams for probabilistic logic programs.
Intell. Data Anal.
Elena Bellodi, Fabrizio Riguzzi
2013 — —
Integration of Logic and Probability in Terminological and Inductive Reasoning.
Elena Bellodi
2013 — conf
Learning the Parameters of Probabilistic Description Logics.
ILP (Late Breaking Papers)
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 — conf
Parameter Learning for Probabilistic Ontologies.
RR
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2013 J jnl
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space.
CoRR
Elena Bellodi, Fabrizio Riguzzi
2012 — conf
Epistemic and Statistical Probabilistic Ontologies.
URSW
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2012 J jnl
Experimentation of an expectation maximization algorithm for probabilistic logic programs.
Intelligenza Artificiale
Elena Bellodi, Fabrizio Riguzzi
2012 — conf
Parameter and Structure Learning Algorithms for Statistical Relational Learning.
DC@AI*IA
Elena Bellodi, Fabrizio Riguzzi
2012 — conf
Probabilistic Datalog+/- under the Distribution Semantics.
Description Logics
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Probabilistic Ontologies in Datalog+/-.
CILC
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma
2012 — conf
Semantics and Inference for Probabilistic Ontologies.
PAI
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
2011 — conf
A Distribution Semantics for Probabilistic Ontologies.
URSW
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Simone Albani
2011 — conf
EM over Binary Decision Diagrams for Probabilistic Logic Programs.
CILC
Elena Bellodi, Fabrizio Riguzzi
2011 B conf
Learning the Structure of Probabilistic Logic Programs.
ILP
Elena Bellodi, Fabrizio Riguzzi
2010 C conf
Probabilistic Declarative Process Mining.
KSEM
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma
2010 — conf
Probabilistic Logic-Based Process Mining.
CILC
Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma