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

MELLO, Paola

MELLO, Paola  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.022 secondi).
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; Serra, R; Storari, Sergio; 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
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
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 Implementation for Abductive LogIc Agents 2000 Ciampolini, A; Lamma, E; Mello, P; Stefanelli, C; Torroni, P 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.
Domains as first class objects in CLP(FD) 1999 Gavanelli, M; Lamma, E; Mello, P; Milano, M file con accesso da definire
Integrating induction and abduction in logic programming 1999 Lamma, Evelina; Mello, Paola; Milano, Michela; Riguzzi, Fabrizio file con accesso da definire
Mapping Deontic Operators to Abductive Expectations 2006 Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Sartor, G.; Torroni, P. 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
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
Reflection mechanisms to combine Prolog databases 1991 Lamma, E.; Mello, P.; Natali, A. file con accesso da definire