CHESANI, FEDERICO
CHESANI, FEDERICO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di IIa fascia
A computational logic application framework for service discovery and contracting
2011-01-01 M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
A computational logic-based approach to verification of IT systems
2007-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
2009-01-01 A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani; M. Torchio
A Logic based Approach to Interaction Design in Open Multi-Agent Systems
2004-01-01 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
A Logic-Based, Reactive Calculus of Events
2010-01-01 F. Chesani; P. Mello; M. Montali; P. Torroni
A retrospective on the reactive event calculus and commitment modeling language
2012-01-01 P. Torroni; F. Chesani; P. Mello; M. Montali
A Rule-Based Calculus and Processing of Complex Events
2012-01-01 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A rule-based framework for risk assessment in the health domain
2020-01-01 Cattelani L.; Chesani F.; Palmerini L.; Palumbo P.; Chiari L.; Bandinelli S.
A rule-based implementation of fuzzy tableau reasoning
2010-01-01 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules
2010-01-01 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A-priori verification of web services with abduction.
2006-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
Abducing Compliance of Incomplete Event Logs
2016-01-01 Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes
2016-01-01 Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio
Abduction for Generating Synthetic Traces
2018-01-01 Chesani, Federico; Ciampolini, Anna; Loreti, Daniela; Mello, Paola
Abduction for Specifying and Verifying Web Service Choreographies.
2006-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari
Abduction in the Context of a Reasoning Process: the SCIFF Framework
2008-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010-01-01 M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation
2017-01-01 Chesani, Federico; Mello, Paola; Montali, Marco
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
2007-01-01 F. Chesani; P. Mello; M. Montali; S. Storari
An Abductive Framework for A-Priori Verification of Web Services
2006-01-01 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A computational logic application framework for service discovery and contracting | M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2011-01-01 | INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH | - | 1.01 Articolo in rivista | - |
| A computational logic-based approach to verification of IT systems | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni | 2007-01-01 | - | Infonomics-Consulting | 4.01 Contributo in Atti di convegno | - |
| A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. | A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani;... M. Torchio | 2009-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A Logic based Approach to Interaction Design in Open Multi-Agent Systems | ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P. | 2004-01-01 | - | IEEE Press | 4.01 Contributo in Atti di convegno | - |
| A Logic-Based, Reactive Calculus of Events | F. Chesani; P. Mello; M. Montali; P. Torroni | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| A retrospective on the reactive event calculus and commitment modeling language | P. Torroni; F. Chesani; P. Mello; M. Montali | 2012-01-01 | - | Springer-Verlag | 2.01 Capitolo / saggio in libro | - |
| A Rule-Based Calculus and Processing of Complex Events | S. Bragaglia; F. Chesani; P. Mello; D. Sottara | 2012-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| A rule-based framework for risk assessment in the health domain | Cattelani L.; Chesani F.; Palmerini L.; Palumbo P.; Chiari L.; Bandinelli S. | 2020-01-01 | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | - | 1.01 Articolo in rivista | ARule-basedFrameworkforRiskAssessmentintheHealthDomain.pdf; A rule-based framework for risk assessment in the health pp.pdf |
| A rule-based implementation of fuzzy tableau reasoning | S. Bragaglia; F. Chesani; P. Mello; D. Sottara | 2010-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules | S. Bragaglia; F. Chesani; P. Mello; D. Sottara | 2010-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| A-priori verification of web services with abduction. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Abducing Compliance of Incomplete Event Logs | Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio | 2016-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes | Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Pao...la; Montali, Marco; Tessaris, Sergio | 2016-01-01 | - | IOS Press | 4.03 Poster | - |
| Abduction for Generating Synthetic Traces | Chesani, Federico; Ciampolini, Anna; Loreti, Daniela; Mello, Paola | 2018-01-01 | - | Teniente, Ernest and Weidlich, Matthias | 2.01 Capitolo / saggio in libro | - |
| Abduction for Specifying and Verifying Web Service Choreographies. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| Abduction in the Context of a Reasoning Process: the SCIFF Framework | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2008-01-01 | - | University of Chicago Press | 2.01 Capitolo / saggio in libro | - |
| Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes | M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
| Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation | Chesani, Federico; Mello, Paola; Montali, Marco | 2017-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification | F. Chesani; P. Mello; M. Montali; S. Storari | 2007-01-01 | - | s.n | 4.01 Contributo in Atti di convegno | - |
| An Abductive Framework for A-Priori Verification of Web Services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali | 2006-01-01 | - | ACM Press | 4.01 Contributo in Atti di convegno | - |