Sfoglia per Autore
cplint on SWISH: Probabilistic Logical Inference with a Web Browser
2017-01-01 Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo
Inference and Learning Systems for Uncertain Relational Data
2018-01-01 Cota, Giuseppe
Reasoning on Datalog± Ontologies with Abductive Logic Programming
2018-01-01 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
Tableau reasoning for description logics and its extension to probabilities
2018-01-01 Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
A Modular Inference System for Probabilistic Description Logics
2018-01-01 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
2018-01-01 Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
2019-01-01 Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio
KRaider: A crawler for linked data
2019-01-01 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina
A Framework for Reasoning on Probabilistic Description Logics
2020-01-01 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling
2020-01-01 Chesani, F.; Cota, G.; Gavanelli, M.; Lamma, E.; Mello, P.; Riguzzi, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| cplint on SWISH: Probabilistic Logical Inference with a Web Browser | 1-gen-2017 | Alberti, Marco; Bellodi, Elena; Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo | |
| Inference and Learning Systems for Uncertain Relational Data | 1-gen-2018 | Cota, Giuseppe | |
| Reasoning on Datalog± Ontologies with Abductive Logic Programming | 1-gen-2018 | Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe | |
| Tableau reasoning for description logics and its extension to probabilities | 1-gen-2018 | Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina | |
| A Modular Inference System for Probabilistic Description Logics | 1-gen-2018 | Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina | |
| A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning | 1-gen-2018 | Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio | |
| Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach | 1-gen-2019 | Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio | |
| KRaider: A crawler for linked data | 1-gen-2019 | Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Lamma, Evelina | |
| A Framework for Reasoning on Probabilistic Description Logics | 1-gen-2020 | Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio | |
| Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling | 1-gen-2020 | Chesani, F.; Cota, G.; Gavanelli, M.; Lamma, E.; Mello, P.; Riguzzi, F. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile