CHESANI, FEDERICO

CHESANI, FEDERICO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.031 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 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.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 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 -