CHESANI, Federico
CHESANI, Federico
Dipartimento di Ingegneria (attivo dal 01/01/1997 al 30/09/2012)
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
2018 Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio
An Abductive Framework for A-Priori Verification of Web Services
file con accesso da definire2006 Alberti, M.; Gavanelli, M.; Lamma, E.; Chesani, F.; Mello, P.; Montai, M.
Expressing interaction in combinatorial auction through social integrity constraints
file con accesso da definire2005 Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Michela; Torroni, Paolo
Probabilistic Compliance in Declarative Process Mining
2024 Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna
Probabilistic Traces in Declarative Process Mining
file con accesso da definire2025 Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina; Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo
Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets
2019 Cattelani, Luca; Belvederi Murri, Martino; Chesani, Federico; Chiari, Lorenzo; Bandinelli, Stefania; Palumbo, Pierpaolo
Specification and verification of agent interaction protocols in a logic-based system
file con accesso da definire2007 Alberti, M.; Chesani, F.; Daolio, D.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
Verification from declarative specifications using logic programming
file con accesso da definire2009 Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning | 2018 | Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio | |
| An Abductive Framework for A-Priori Verification of Web Services | 2006 | Alberti, M.; Gavanelli, M.; Lamma, E.; Chesani, F.; Mello, P.; Montai, M. | file con accesso da definire |
| Expressing interaction in combinatorial auction through social integrity constraints | 2005 | Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Guerri, Alessio; Lamma, Evelina; Milano, Mic...hela; Torroni, Paolo | file con accesso da definire |
| Probabilistic Compliance in Declarative Process Mining | 2024 | Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina;... Ciampolini, Anna | |
| Probabilistic Traces in Declarative Process Mining | 2025 | Vespa, Michela; Bellodi, Elena; Chesani, Federico; Loreti, Daniela; Mello, Paola; Lamma, Evelina;... Ciampolini, Anna; Gavanelli, Marco; Zese, Riccardo | file con accesso da definire |
| Risk Prediction Model for Late Life Depression: Development and Validation on Three Large European Datasets | 2019 | Cattelani, Luca; Belvederi Murri, Martino; Chesani, Federico; Chiari, Lorenzo; Bandinelli, Stefan...ia; Palumbo, Pierpaolo | |
| Specification and verification of agent interaction protocols in a logic-based system | 2007 | Alberti, M.; Chesani, F.; Daolio, D.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. | file con accesso da definire |
| Verification from declarative specifications using logic programming | 2009 | Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Eveli...na; Mello, Paola | file con accesso da definire |