Sergio Storari

发表

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool

Evelina Lamma, Paola Mello, Federico Chesani, 2006, WS-FM.

Validation of biochemical laboratory results using the DNSev expert system

Evelina Lamma, Paola Mello, Sergio Storari, 2003, Expert Syst. Appl..

Exploiting association and correlation rules parameters for learning Bayesian networks

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2009, Intell. Data Anal..

Checking Compliance of Execution Traces to Business Rules

Paola Mello, Fabrizio Riguzzi, Federico Chesani, 2008, Business Process Management Workshops.

Distributed Medical Diagnosis with Abductive Logic Agents

Paola Mello, Sergio Storari, Anna Ciampolini, 2002 .

Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2001, Electron. Notes Theor. Comput. Sci..

Fun&Co: identification of key functional differences in transcriptomes

Evelina Lamma, Sergio Storari, Giacomo Gamberoni, 2007, Bioinform..

A computational logic-based approach to verification of IT systems

Evelina Lamma, Paola Mello, Federico Chesani, 2011 .

A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening

Paola Mello, Federico Chesani, Marco Montali, 2006, ISMIS.

Discovering validation rules from microbiological data

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2003, New Generation Computing.

On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework

Paola Mello, Federico Chesani, Marco Montali, 2010, Multiagent Grid Syst..

Inducing Declarative Logic-Based Models from Labeled Traces

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2007, BPM.

Finding biological process modifications in cancer tissues by mining gene expression correlations

Sergio Storari, Giacomo Gamberoni, Stefano Volinia, 2005, BMC Bioinformatics.

Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines

Paola Mello, Federico Chesani, Marco Montali, 2009, KR4HC.

Improving the K2 Algorithm Using Association Rule Parameters

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2006 .

Compliance Checking of Cancer-Screening CareFlows: an Approach based on Computational Logic

Evelina Lamma, Paola Mello, Federico Chesani, 2008, Computer-based Medical Guidelines and Protocols.

An intelligent medical system for microbiological data validation and nosocomial infection surveillance

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2002, Proceedings of 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002).

A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance

Paola Mello, Federico Chesani, Marco Montali, 2009, AIME.

An Expert System for the Oral Anticoagulation Treatment

Evelina Lamma, Paola Mello, Sergio Storari, 2005, IEA/AIE.

Learning the Dose Adjustment for the Oral Anticoagulation Treatment

Evelina Lamma, Paola Mello, Sergio Storari, 2004, ISBMDA.

Computer-based Medical Guidelines and Protocols: A Primer and Current Trends

Evelina Lamma, Paola Mello, Federico Chesani, 2008, Computer-based Medical Guidelines and Protocols.

A Knowledge-Based System for Fashion Trend Forecasting

Paola Mello, Sergio Storari, Bernardo Valli, 2008, IEA/AIE.

Applying Inductive Logic Programming to Process Mining

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2007, ILP.

Bayesian Networks Learning for Gene Expression Datasets

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2005, IDA.

A multi-agent system for medical services synergy and coordination

Paola Mello, Sergio Storari, Anna Ciampolini, 2004 .

A knowledge based system for the anticoagulant oral therapy

Evelina Lamma, Paola Mello, Sergio Storari, 2004, Intelligenza Artificiale.

Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic

Paola Mello, Federico Chesani, Marco Montali, 2007, AIME.

Integration of medical services in the MeSSyCo agent system (demo session).

Paola Mello, Sergio Storari, Anna Ciampolini, 2004, AAMAS 2004.

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening

Marco Gavanelli, Sergio Storari, Michela Milano, 2008, New Challenges in Applied Intelligence Technologies.

Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2004, ECAI.

An Expert System for Microbiological Data Validation and Surveillance

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2001, ISMDA.

Incremental Declarative Process Mining

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2010, Smart Information and Knowledge Management.

Using social integrity constraints for on-the-fly compliance verification of medical protocols

Paola Mello, Marco Montali, Sergio Storari, 2005, 18th IEEE Symposium on Computer-Based Medical Systems (CBMS'05).

Improving the SLA Algorithm Using Association Rules

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2003, AI*IA.

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties

Evelina Lamma, Fabrizio Riguzzi, Marco Alberti, 2008, Il Milione.

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, 2008 Second International Conference on Pervasive Computing Technologies for Healthcare.

A System for Monitoring Nosocomial Infections

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2000, ISMDA.

Declarative specification and verification of service choreographiess

Paola Mello, Federico Chesani, Marco Montali, 2010, TWEB.

Learning specifications of interaction protocols and business processes and proving their properties

Evelina Lamma, Fabrizio Riguzzi, Marco Alberti, 2011, Intelligenza Artificiale.

Modeling, Verifying and Reasoning about Web Services (Extended Abstract)

Paola Mello, Fabrizio Riguzzi, Federico Chesani, 2006 .

Artificial intelligence techniques for monitoring dangerous infections

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2006, IEEE Transactions on Information Technology in Biomedicine.

Correlation of Expression Between Different IMAGE Clones from the Same UniGene Cluster

Evelina Lamma, Sergio Storari, Giacomo Gamberoni, 2004, ISBMDA.

Use Of Artificial Intelligence Techniques To The Interpretation Of Subsurface Log Images

Evelina Lamma, Sergio Storari, Denis Ferraretti, 2010, Intelligenza Artificiale.

Exploiting Inductive Logic Programming Techniques for Declarative Process Mining

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2009, Trans. Petri Nets Other Model. Concurr..

An abductive multi-agent framework for distributed service coordination and reasoning in emergency scenarios

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, Pervasive 2008.

Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends

Paola Mello, Sergio Storari, Bernardo Valli, 2010, Intelligenza Artificiale.

An Abductive Multi-Agent System for Medical Services Coordination

Paola Mello, Sergio Storari, Anna Ciampolini, 2008, IFIP AI.

Protocol Specification and Verification by Using Computational Logic

Paola Mello, Federico Chesani, Marco Montali, 2005, WOA.

Marker Analysis with APRIORI-based Algorithms

Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, 2006 .

Towards a DecSerFlow Declarative Semantics based on Computational Logic

Paola Mello, Federico Chesani, Marco Montali, 2007 .