BELLODI, Elena
BELLODI, Elena
Dipartimento di Ingegneria
A Description Logics Tableau Reasoner in Prolog
file con accesso da definire2013 Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
A Distribution Semantics for Probabilistic Ontologies
file con accesso da definire2011 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; S., Albani
A Framework for Reasoning on Probabilistic Description Logics
2020 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
A History of Probabilistic Inductive Logic Programming
file con accesso da definire2014 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo
A Modular Inference System for Probabilistic Description Logics
2018 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina
A probabilistic logic model of Lightning Network
2022 Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
A Scalable Approach to Probabilistic Compliance in Declarative Process Mining
2025 Vespa, Michela; Bellodi, Elena
A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
2017 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina
A Synthesis Toolflow for the Predictable Implementation of High-Performance Bundled-Data Asynchronous NoCs on FPGA
2025 Chessa, Giuseppe; Bellodi, Elena; Favalli, Michele; Zoni, Davide; Bertozzi, Davide
A web application for reasoning on probabilistic description logics knowledge bases
2023 Zese, R.; Bellodi, E.
A web system for reasoning with probabilistic OWL
2017 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo; Cota, Giuseppe
Abduction in (Probabilistic) Answer Set Programming
2022 Azzolini, D.; Bellodi, E.; Riguzzi, F.
Abduction in Probabilistic Logic Programs
file con accesso da definire2022 Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
Abduction with probabilistic logic programming under the distribution semantics
2022 Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R.
Abductive logic programming for Datalog+/- ontologies
2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Abductive Logic Programming for Normative Reasoning and Ontologies
2017 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence
2025 Andjelkovic, Marko; Syed, Rizwan Tariq; Veronesi, Alessandro; Vargas, Fabian; Ulbricht, Markus; Poehls, Leticia Bolzani; Krstic, Milos; Bertozzi, Davide; Jones, Edward G.; Rhodes, Oliver; Zese, Riccardo; Favalli, Michele; Bizzarri, Alice; Lamma, Evelina; Gavanelli, Marco; Bellodi, Elena; Peric, Zoran; Nikolic, Jelena; Dincic, Milan; Jovanovic, Aleksandra; Ciric, Dejan; Vucic, Nikola; Peric, Sofija; Jovanovic, Jelena; Stojanovic, Milica; Nikolic, Tatjana; Nikolic, Goran; Nedeljkovic, Jelena; Dankovic, Danijel; Zivanovic, Emilija; Marjanovic, Milos; Veljkovic, Sandra; Mitrovic, Nikola; Predic, Bratislav; Milovanovic, Tamara
An Abductive Framework for Datalog± Ontologies
2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
An Expectation Maximization Algorithm for Probabilistic Logic Programs
file con accesso da definire2011 Bellodi, Elena; Riguzzi, Fabrizio
Appropriateness of repeated execution of laboratory examinations: a CDSS approach
file con accesso da definire2014 Gallerani, Massimo; Pelizzola, Dario; Pivanti, Marcello; Boni, Michela; Lamma, Evelina; Bellodi, Elena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Description Logics Tableau Reasoner in Prolog | 2013 | Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio | file con accesso da definire |
| A Distribution Semantics for Probabilistic Ontologies | 2011 | Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; S., Albani | file con accesso da definire |
| A Framework for Reasoning on Probabilistic Description Logics | 2020 | Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio | |
| A History of Probabilistic Inductive Logic Programming | 2014 | Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo | file con accesso da definire |
| A Modular Inference System for Probabilistic Description Logics | 2018 | Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina | |
| A probabilistic logic model of Lightning Network | 2022 | Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina | |
| A Scalable Approach to Probabilistic Compliance in Declarative Process Mining | 2025 | Vespa, Michela; Bellodi, Elena | |
| A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics | 2017 | Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina | |
| A Synthesis Toolflow for the Predictable Implementation of High-Performance Bundled-Data Asynchronous NoCs on FPGA | 2025 | Chessa, Giuseppe; Bellodi, Elena; Favalli, Michele; Zoni, Davide; Bertozzi, Davide | |
| A web application for reasoning on probabilistic description logics knowledge bases | 2023 | Zese, R.; Bellodi, E. | |
| A web system for reasoning with probabilistic OWL | 2017 | Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo; Cota, Giuseppe | |
| Abduction in (Probabilistic) Answer Set Programming | 2022 | Azzolini, D.; Bellodi, E.; Riguzzi, F. | |
| Abduction in Probabilistic Logic Programs | 2022 | Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R. | file con accesso da definire |
| Abduction with probabilistic logic programming under the distribution semantics | 2022 | Azzolini, D.; Bellodi, E.; Ferilli, S.; Riguzzi, F.; Zese, R. | |
| Abductive logic programming for Datalog+/- ontologies | 2015 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| Abductive Logic Programming for Normative Reasoning and Ontologies | 2017 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| AIDA4Edge: Twinning for Excellence in Adaptive Edge Artificial Intelligence | 2025 | Andjelkovic, Marko; Syed, Rizwan Tariq; Veronesi, Alessandro; Vargas, Fabian; Ulbricht, Markus; P...oehls, Leticia Bolzani; Krstic, Milos; Bertozzi, Davide; Jones, Edward G.; Rhodes, Oliver; Zese, Riccardo; Favalli, Michele; Bizzarri, Alice; Lamma, Evelina; Gavanelli, Marco; Bellodi, Elena; Peric, Zoran; Nikolic, Jelena; Dincic, Milan; Jovanovic, Aleksandra; Ciric, Dejan; Vucic, Nikola; Peric, Sofija; Jovanovic, Jelena; Stojanovic, Milica; Nikolic, Tatjana; Nikolic, Goran; Nedeljkovic, Jelena; Dankovic, Danijel; Zivanovic, Emilija; Marjanovic, Milos; Veljkovic, Sandra; Mitrovic, Nikola; Predic, Bratislav; Milovanovic, Tamara | |
| An Abductive Framework for Datalog± Ontologies | 2015 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| An Expectation Maximization Algorithm for Probabilistic Logic Programs | 2011 | Bellodi, Elena; Riguzzi, Fabrizio | file con accesso da definire |
| Appropriateness of repeated execution of laboratory examinations: a CDSS approach | 2014 | Gallerani, Massimo; Pelizzola, Dario; Pivanti, Marcello; Boni, Michela; Lamma, Evelina; Bellodi, ...Elena | file con accesso da definire |