ZESE, Riccardo
ZESE, Riccardo
Dipartimento di Scienze chimiche, farmaceutiche ed agrarie
A Description Logics Tableau Reasoner in Prolog
file con accesso da definire2013 Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases
file con accesso da definire2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo
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 Novel Cephalometric Tool Enhanced by AI Assistance
file con accesso da definire2023 Zese, R.; Lombardo, L.; De Maio, M.; Tamascelli, M.; Cremonini, F.
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 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 Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
2022 Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina
BUNDLE: A reasoner for probabilistic ontologies
file con accesso da definire2013 Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
Causal inference in cplint
2017 Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Computing instantiated explanations in OWL DL
file con accesso da definire2013 Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo
cplint on SWISH: Probabilistic Logical Inference with a Web Browser
2017 Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo
Dischargeable obligations in abductive logic programming
file con accesso da definire2017 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; 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 non-DL-Safe Probabilistic Hybrid Knowledge Bases | 2017 | Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo | 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 Novel Cephalometric Tool Enhanced by AI Assistance | 2023 | Zese, R.; Lombardo, L.; De Maio, M.; Tamascelli, M.; Cremonini, F. | 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 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 Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols | 2022 | Alberti, Marco; Zese, Riccardo; Riguzzi, Fabrizio; Lamma, Evelina | |
BUNDLE: A reasoner for probabilistic ontologies | 2013 | Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo | file con accesso da definire |
Causal inference in cplint | 2017 | Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo | |
Computing instantiated explanations in OWL DL | 2013 | Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo | file con accesso da definire |
cplint on SWISH: Probabilistic Logical Inference with a Web Browser | 2017 | Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo | |
Dischargeable obligations in abductive logic programming | 2017 | Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo | file con accesso da definire |