Sfoglia per Autore
Causal inference in cplint
2017 Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Abductive Logic Programming for Normative Reasoning and Ontologies
2017 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Tableau reasoning for description logics and its extension to probabilities
2018 Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
Modeling Bitcoin protocols with probabilistic logic programming
2018 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo
A Modular Inference System for Probabilistic Description Logics
2018 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina
Reasoning on Datalog± Ontologies with Abductive Logic Programming
2018 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Preface [to Inductive Logic Programming]
2018 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo
Preface [Up-and-Coming and Short Papers of ILP 2018]
2018 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo
Probabilistic inference in SWI-Prolog
2018 Riguzzi, Fabrizio; Wielemaker, Jan; Zese, Riccardo
The 4th Workshop on Probabilistic Logic Programming
2019 Theil Have, Christian; Zese, Riccardo
Probabilistic Logic Programming (PLP 2017)
2019 Theil Have, Christian; Zese, Riccardo
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
2019 Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio
Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018
2019 Lachiche, Nicolas; Vrain, Christel; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo
KRaider: A crawler for linked data
2019 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina
A Framework for Reasoning on Probabilistic Description Logics
2020 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
MAP Inference for Probabilistic Logic Programming
2020 Bellodi, E.; Alberti, M.; Riguzzi, F.; Zese, R.
Dischargeable Obligations in the ScIFF Framework
2020 Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R.
Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints
2020 Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R.
Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints
2021 Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo
Neural Network Techniques for Detecting Intra-Domestic Water Leaks of Different Magnitude
2021 Zese, R.; Bellodi, E.; Luciani, C.; Alvisi, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Causal inference in cplint | 2017 | Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo | |
| Abductive Logic Programming for Normative Reasoning and Ontologies | 2017 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| Tableau reasoning for description logics and its extension to probabilities | 2018 | Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina | |
| Modeling Bitcoin protocols with probabilistic logic programming | 2018 | Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina; Bellodi, Elena; Zese, Riccardo | |
| A Modular Inference System for Probabilistic Description Logics | 2018 | Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina | |
| Reasoning on Datalog± Ontologies with Abductive Logic Programming | 2018 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| Preface [to Inductive Logic Programming] | 2018 | Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo | |
| Preface [Up-and-Coming and Short Papers of ILP 2018] | 2018 | Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo | |
| Probabilistic inference in SWI-Prolog | 2018 | Riguzzi, Fabrizio; Wielemaker, Jan; Zese, Riccardo | |
| The 4th Workshop on Probabilistic Logic Programming | 2019 | Theil Have, Christian; Zese, Riccardo | |
| Probabilistic Logic Programming (PLP 2017) | 2019 | Theil Have, Christian; Zese, Riccardo | |
| Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach | 2019 | Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio | |
| Preface to special issue on Inductive Logic Programming, ILP 2017 and 2018 | 2019 | Lachiche, Nicolas; Vrain, Christel; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo | |
| KRaider: A crawler for linked data | 2019 | Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina | |
| A Framework for Reasoning on Probabilistic Description Logics | 2020 | Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio | |
| MAP Inference for Probabilistic Logic Programming | 2020 | Bellodi, E.; Alberti, M.; Riguzzi, F.; Zese, R. | |
| Dischargeable Obligations in the ScIFF Framework | 2020 | Alberti, M.; Gavanelli, M.; Lamma, E.; Riguzzi, F.; Satoh, K.; Zese, R. | |
| Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints | 2020 | Bellodi, E.; Bertagnon, A.; Gavanelli, M.; Zese, R. | |
| Improving the Efficiency of Euclidean TSP Solving in Constraint Programming by Predicting Effective Nocrossing Constraints | 2021 | Bellodi, Elena; Bertagnon, Alessandro; Gavanelli, Marco; Zese, Riccardo | |
| Neural Network Techniques for Detecting Intra-Domestic Water Leaks of Different Magnitude | 2021 | Zese, R.; Bellodi, E.; Luciani, C.; Alvisi, S. |
Legenda icone
- file ad accesso aperto
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile