A System for Monitoring Nosocomial Infections. - Evelina Lamma; M. Manservigi; Paola Mello; Sergio Storari; Fabrizio Riguzzi (ISMDA, 2000)

An Expert System for Microbiological Data Validation and Surveillance. - Evelina Lamma; Paola Mello; Anna Nanetti; G. Poli; Fabrizio Riguzzi; Sergio Storari (ISMDA, 2001)

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. - Evelina Lamma; L. Maestrami; Paola Mello; Fabrizio Riguzzi; Sergio Storari (RULE@PLI, 2001)

An Intelligent Medical System for Mocrobiological Data Validation and Nosocomial Infection Surveillance. - Evelina Lamma; G. Modestino; Fabrizio Riguzzi; Sergio Storari; Paola Mello; Anna Nanetti (CBMS, 2002)

Improving the SLA Algorithm Using Association Rules. - Evelina Lamma; Fabrizio Riguzzi; Andrea Stambazzi; Sergio Storari (AI*IA, 2003)

Validation of biochemical laboratory results using the DNSev expert system. - Sergio Storari; Evelina Lamma; R. Mancini; Paola Mello; R. Motta; D. Patrono; G. Canova (Expert Syst. Appl., 2003)

Discovering Validation Rules from Microbiological Data. - Evelina Lamma; Fabrizio Riguzzi; Sergio Storari; Paola Mello; Anna Nanetti (New Gener. Comput., 2003)

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm. - Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (ECAI, 2004)

Learning the Dose Adjustment for the Oral Anticoagulation Treatment. - Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari; Giuseppe Trocino (ISBMDA, 2004)

Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster. - Giacomo Gamberoni; Evelina Lamma; Sergio Storari; Diego Arcelli; Francesca Francioso; Stefano Volinia (ISBMDA, 2004)

A knowledge based system for the anticoagulant oral therapy. - Benedetta Barbieri; Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari (Intelligenza Artificiale, 2004)

Integrating knowledge-based and datamining techniques for reasoning on medical data. - Sergio Storari (2004)

Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols. - Anna Ciampolini; Paola Mello; Marco Montali; Sergio Storari (CBMS, 2005)

Bayesian Networks Learning for Gene Expression Datasets. - Giacomo Gamberoni; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari; Stefano Volinia (IDA, 2005)

An Expert System for the Oral Anticoagulation Treatment. - Benedetta Barbieri; Giacomo Gamberoni; Evelina Lamma; Paola Mello; Piercamillo Pavesi; Sergio Storari (IEA/AIE, 2005)

Protocol Specification and Verification by Using Computational Logic. - Federico Chesani; Anna Ciampolini; Paola Mello; Marco Montali; Paolo Torroni; Marco Alberti 001; Sergio Storari (WOA, 2005)

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. - Federico Chesani; Pietro De Matteis; Paola Mello; Marco Montali; Sergio Storari (ISMIS, 2006)

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. - Marco Alberti 001; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (WS-FM, 2006)

Finding biological process modifications in cancer tissues by mining gene expression correlations. - Giacomo Gamberoni; Sergio Storari; Stefano Volinia (BMC Bioinform., 2006)

Artificial Intelligence Techniques for Monitoring Dangerous Infections. - Evelina Lamma; Paola Mello; Anna Nanetti; Fabrizio Riguzzi; Sergio Storari; Gianfranco Valastro (IEEE Trans. Inf. Technol. Biomed., 2006)

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari (AIME, 2007)

Inducing Declarative Logic-Based Models from Labeled Traces. - Evelina Lamma; Paola Mello; Marco Montali; Fabrizio Riguzzi; Sergio Storari (BPM, 2007)

Applying Inductive Logic Programming to Process Mining. - Evelina Lamma; Paola Mello; Fabrizio Riguzzi; Sergio Storari (ILP, 2007)

Fun&Co: identification of key functional differences in transcriptomes. - Giacomo Gamberoni; Evelina Lamma; Gianluca Lodo; Jlenia Marchesini; Nicoletta Mascellani; Simona Rossi; Sergio Storari; Luca Tagliavini; Stefano Volinia (Bioinform., 2007)

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Sergio Storari; Paola Baldazzi; Marilena Manfredi (Computer-based Medical Guidelines and Protocols, 2008)

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Il Milione, 2008)

Checking Compliance of Execution Traces to Business Rules. - Federico Chesani; Paola Mello; Marco Montali; Fabrizio Riguzzi; Maurizio Sebastianis; Sergio Storari (Business Process Management Workshops, 2008)

A Knowledge-Based System for Fashion Trend Forecasting. - Paola Mello; Sergio Storari; Bernardo Valli (IEA/AIE, 2008)

An Abductive Multi-Agent System for Medical Services Coordination. - Anna Ciampolini; Paola Mello; Sergio Storari (IFIP AI, 2008)

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios. - Sergio Storari; Anna Ciampolini; Paola Mello (PervasiveHealth, 2008)

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. - Marco Gavanelli; Michela Milano; Sergio Storari; Luca Tagliavini; Paola Baldazzi; Marilena Manfredi; Gianfranco Valastro (New Challenges in Applied Intelligence Technologies, 2008)

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. - Alessio Bottrighi; Federico Chesani; Paola Mello; Gianpaolo Molino; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani; Mauro Torchio (AIME, 2009)

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. - Alessio Bottrighi; Federico Chesani; Paola Mello; Marco Montali; Stefania Montani; Sergio Storari; Paolo Terenziani (KR4HC, 2009)

Exploiting association and correlation rules parameters for learning Bayesian networks. - Sergio Storari; Fabrizio Riguzzi; Evelina Lamma (Intell. Data Anal., 2009)

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining. - Federico Chesani; Evelina Lamma; Paola Mello; Marco Montali; Fabrizio Riguzzi; Sergio Storari (Trans. Petri Nets Other Model. Concurr., 2009)

Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images. - Denis Ferraretti; Luca Tagliavini; Raffaele Di Cuia; Mariachiara Puviani; Evelina Lamma; Sergio Storari (Intelligenza Artificiale, 2010)

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends. - Paola Mello; Sergio Storari; Bernardo Valli (Intelligenza Artificiale, 2010)

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. - Federico Chesani; Paola Mello; Marco Montali; Sergio Storari; Paolo Torroni (Multiagent Grid Syst., 2010)

Declarative specification and verification of service choreographiess. - Marco Montali; Maja Pesic; Wil M. P. van der Aalst; Federico Chesani; Paola Mello; Sergio Storari (ACM Trans. Web, 2010)

Incremental Declarative Process Mining. - Massimiliano Cattafi; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Smart Information and Knowledge Management, 2010)

Learning specifications of interaction protocols and business processes and proving their properties. - Marco Alberti 001; Marco Gavanelli; Evelina Lamma; Fabrizio Riguzzi; Sergio Storari (Intelligenza Artificiale, 2011)