MELLO, Paola
MELLO, Paola
Dipartimento di Ingegneria
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
A System for Abductive Learning of Logic Programs
file con accesso da definire1998 Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio
A system for monotoring nosocomial infections
file con accesso da definire2000 Lamma, Evelina; Manservigi, M; Mello, Paola; Riguzzi, Fabrizio; Serra, R; Storari, Sergio
A System for Monotoring Nosocomial Infections
file con accesso da definire2000 Lamma, Evelina; Manservigi, M; Mello, Paola; Serra, R; Storari, Sergio; Riguzzi, Fabrizio
An application of machine learning and statistics to defect detection
file con accesso da definire2000 Cucchiara, Rita; Mello, Paola; Piccardi, Massimo; Riguzzi, Fabrizio
An Expert System for Microbiological Data Validation and Surveillance
file con accesso da definire2001 Lamma, Evelina; Mello, Paola; Nanetti, A; Poli, G; Riguzzi, Fabrizio; Storari, Sergio
An intelligent medical system for microbiological data validation and nosocomial infection surveillance
file con accesso da definire2002 Lamma, Evelina; Modestino, G.; Riguzzi, Fabrizio; Storari, Sergio; Mello, Paola; Nanetti, A.
Compliance Checking of Execution Traces to Business Rules: an Approach based on Logic Programming
file con accesso da definire2008 F., Chesani; Mello, Paola; M., Montali; Riguzzi, Fabrizio; Storari, Sergio
Cooperation of abduction and induction in logic programming
file con accesso da definire2000 Esposito, F.; Ferilli, S.; Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio; Semeraro, G.
Coordinating the safe execution of tasks in a constrained multi-agent system
file con accesso da definire2002 Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina
Design and formulation of Eudragit-coated zein/pectin nanoparticles for the colon delivery of resveratrol
2020 Contado, C.; Caselotto, L.; Mello, P.; Maietti, A.; Marvelli, L.; Marchetti, N.; Dalpiaz, A.
Integrating induction and abduction in logic programming
file con accesso da definire1999 Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio
Performance measurement of interactive CSP search algorithms
file con accesso da definire2000 Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Milano, Michela
Probabilistic Compliance in Declarative Process Mining
file con accesso da definire2024 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
The automatic discovery of alarm rules for the validation of microbiological data
file con accesso da definire2001 Lamma, Evelina; Manservigi, M; Mello, Paola; Nanetti, A; Riguzzi, Fabrizio; Storari, Sergio
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 | |
A System for Abductive Learning of Logic Programs | 1998 | Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio | file con accesso da definire |
A system for monotoring nosocomial infections | 2000 | Lamma, Evelina; Manservigi, M; Mello, Paola; Riguzzi, Fabrizio; Serra, R; Storari, Sergio | file con accesso da definire |
A System for Monotoring Nosocomial Infections | 2000 | Lamma, Evelina; Manservigi, M; Mello, Paola; Serra, R; Storari, Sergio; Riguzzi, Fabrizio | file con accesso da definire |
An application of machine learning and statistics to defect detection | 2000 | Cucchiara, Rita; Mello, Paola; Piccardi, Massimo; Riguzzi, Fabrizio | file con accesso da definire |
An Expert System for Microbiological Data Validation and Surveillance | 2001 | Lamma, Evelina; Mello, Paola; Nanetti, A; Poli, G; Riguzzi, Fabrizio; Storari, Sergio | file con accesso da definire |
An intelligent medical system for microbiological data validation and nosocomial infection surveillance | 2002 | Lamma, Evelina; Modestino, G.; Riguzzi, Fabrizio; Storari, Sergio; Mello, Paola; Nanetti, A. | file con accesso da definire |
Compliance Checking of Execution Traces to Business Rules: an Approach based on Logic Programming | 2008 | F., Chesani; Mello, Paola; M., Montali; Riguzzi, Fabrizio; Storari, Sergio | file con accesso da definire |
Cooperation of abduction and induction in logic programming | 2000 | Esposito, F.; Ferilli, S.; Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio; Seme...raro, G. | file con accesso da definire |
Coordinating the safe execution of tasks in a constrained multi-agent system | 2002 | Ciampolini, Anna; Mello, Paola; Torroni, Paolo; Lamma, Evelina | file con accesso da definire |
Design and formulation of Eudragit-coated zein/pectin nanoparticles for the colon delivery of resveratrol | 2020 | Contado, C.; Caselotto, L.; Mello, P.; Maietti, A.; Marvelli, L.; Marchetti, N.; Dalpiaz, A. | |
Integrating induction and abduction in logic programming | 1999 | Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio | file con accesso da definire |
Performance measurement of interactive CSP search algorithms | 2000 | Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Milano, Michela | 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 | file con accesso da definire |
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 |
The automatic discovery of alarm rules for the validation of microbiological data | 2001 | Lamma, Evelina; Manservigi, M; Mello, Paola; Nanetti, A; Riguzzi, Fabrizio; Storari, Sergio | 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 |