CHESANI, FEDERICO

CHESANI, FEDERICO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 109 (tempo di esecuzione: 0.093 secondi).
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.pdfA 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 -