SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

ZESE, Riccardo

ZESE, Riccardo  

Dipartimento di Scienze chimiche, farmaceutiche ed agrarie  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.039 secondi).
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.
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