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 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 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning
2018 Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi
A distributed approach to compliance monitoring of business process event streams
2018 Loreti, Daniela; Chesani, Federico; Ciampolini, Anna; Mello, Paola
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening.
2006 F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari
A Game-Based Competition as Instrument for Teaching Artificial Intelligence
2017 Chesani, Federico; Galassi, Andrea; Mello, Paola; Trisolini, Giada
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance.
2009 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 ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P.
A Logic-Based, Reactive Calculus of Events
2010 F. Chesani; P. Mello; M. Montali; P. Torroni
A Prolog application for reasoning on maths puzzles with diagrams
2023 Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola
A REC-based commitment tracking tool
2009 Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
A recommender system for behavioral change in 60-70-year-old adults
2020 Pierpaolo Palumbo, Luca Cattelani, Federica Fusco, Mirjam Pijnappels, Lorenzo Chiari, Federico Chesani, Sabato Mellone
A retrospective on the reactive event calculus and commitment modeling language
2012 P. Torroni; F. Chesani; P. Mello; M. Montali
A rule-based approach for reasoning about collaboration between smart Web services
2007 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni
A Rule-Based Calculus and Processing of Complex Events
2012 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A rule-based framework for risk assessment in the health domain
2020 Cattelani L.; Chesani F.; Palmerini L.; Palumbo P.; Chiari L.; Bandinelli S.
A rule-based implementation of fuzzy tableau reasoning
2010 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules
2010 S. Bragaglia; F. Chesani; P. Mello; D. Sottara
A Verifiable Logic-Based Agent Architecture.
2006 M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello
A-priori verification of web services with abduction.
2006 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 Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning | Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, Fabrizio Riguzzi | 2018-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A distributed approach to compliance monitoring of business process event streams | Loreti, Daniela; Chesani, Federico; Ciampolini, Anna; Mello, Paola | 2018-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | FGCS2017.pdf |
A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. | F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari | 2006-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A Game-Based Competition as Instrument for Teaching Artificial Intelligence | Chesani, Federico; Galassi, Andrea; Mello, Paola; Trisolini, Giada | 2017-01-01 | - | Springer International Publishing | 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 Prolog application for reasoning on maths puzzles with diagrams | Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola | 2023-01-01 | JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | 0952813X.2022.2062456.pdf |
A REC-based commitment tracking tool | Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo | 2009-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
A recommender system for behavioral change in 60-70-year-old adults | Pierpaolo Palumbo, Luca Cattelani, Federica Fusco, Mirjam Pijnappels, Lorenzo Chiari, Federico Ch...esani, Sabato Mellone | 2020-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | paper5.pdf |
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 approach for reasoning about collaboration between smart Web services | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni | 2007-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
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 Verifiable Logic-Based Agent Architecture. | M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello | 2006-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 | - |