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
file con accesso da definire2022 Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina
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 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
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
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities
2023 Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio
Bandit-based Monte-Carlo structure learning of probabilistic logic programs
2015 Di Mauro, Nicola; Bellodi, Elena; Riguzzi, Fabrizio
BUNDLE: A reasoner for probabilistic ontologies
file con accesso da definire2013 Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
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 | file con accesso da definire |
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 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 | |
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 |
Approximate Inference in Probabilistic Answer Set Programming for Statistical Probabilities | 2023 | Azzolini, Damiano; Bellodi, Elena; Riguzzi, Fabrizio | |
Bandit-based Monte-Carlo structure learning of probabilistic logic programs | 2015 | Di Mauro, Nicola; Bellodi, Elena; Riguzzi, Fabrizio | |
BUNDLE: A reasoner for probabilistic ontologies | 2013 | Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo | file con accesso da definire |