Federico Chesani Home Page

Federico Chesani

Ph. D., Lecturer

DEIS, Università di Bologna

Contact information:

Ing. Federico Chesani

Laboratorio di Informatica Avanzata
Dipartimento di Informatica, Elettronica e Sistemistica
Università di Bologna
V.le Risorgimento, 2
40136 BOLOGNA, Italy

office: +39 051 209 3086
FAX: +39 051 209 3073

federico.chesani__at___unibo.it

Welcome to my Home Page

About Me

About me

I am currently a Post Doc at DEIS, Università di Bologna. My research interestes are:

autonomous agents and multi-agent systems

computational logics, logic programming, abduction

social aspects of multi-agent systems and semantics of agent communication

interaction protocols definition languages, properties of such languages

Recommendation Systems

My personal interests, other than research, are music, mountain (summer and winter), scuba diving and reading.

Short curriclum vitae

Personal Information

Name and Surname: Federico Chesani

Date and place of birth: 6 June 1975, Bologna, Italy

Current position: Post Doc at DEIS, Università degli Studi di Bologna

Place of residence: Bologna, Italy

Citizenship: Italian

Civil status: married, with two children

Education

2002: MEng (Diploma di Laurea) in Computer Science Engineering: "Un Sistema che Integra Tecniche Basate sul Contenuto e sulla Collaborazione fra Utenti per la Generazione Automatica di Suggerimenti nellAccesso allInformazione". Supervisors: Prof. P. Mello and Dr. Y. Faihe

2007: Ph.D., with a thesis entitled "Specification, Execution and Verification of Interaction Protocols".

Grants

2004-2006: PhD scholarship (borsa di dottorato) in Computer Science Engineering by the University of Bologna (DEIS, Corso di dottorato in Ingegneria Elettronica ed Informatica, XVIII ciclo): " Formalizzazione ed esecuzione di protocolli di interazione ". Supervisors: Prof. P. Mello, Ing. P. Torroni.

2007: Researcher at CINI

2008-2009: post doc funding (Assegno di ricerca) at DEIS

2010: Senior Post Doc funding at DEIS

Current and past projects

2002-2005: SOCS project, funded by EU, IST, 5th framework programme, on "Societies Of ComputeeS: a computational logical model for the description, analysis and verification of global and open societies of heterogeneous computees", coordinator F. Toni.

2004-2005: MIUR PRIN project "Sviluppo e verifica di sistemi nulti-agente basati sulla logica", coordinator A. Martelli.

2009-2010: MIUR PRIN project "Studio ed applicazione di tecniche di Intelligenza Artificiale all’analisi dei flussi turistici", coordinator Prof. Bernardo Valli, (funding 2007).

Modern language skills

Italian, native speaker.

English, fluent.

Contact

Ing. Federico Chesani
Dipartimento di Informatica, Elettronica e Sistemistica
Laboratorio di Informatica Avanzata
Università di Bologna
V.le Risorgimento, 2
40136 BOLOGNA, Italy
office: +39 051 209 3086
FAX: +39 051 209 3073

Links

My co-authors :

Some personal links:

The Nascapi group: I am a member with the nick "chesio".

Sottosoglio: one of the places I loved more in my life... thank you Marcello!

Sottosoglio, during the winter and in the autumn...

Practising sport (basket, volley, and other) at Corticella: the web site of the PGS Corticella - Bologna

Publications

Export 55 results:

Sort by: Author Title [ Type

] Year

Filters: Author is chesani [Clear All Filters]

Book Chapter

Torroni, P., F. Chesani, P. Mello, and M. Montali, "A Retrospective on the Reactive Event Calculus and Commitment Modeling Language", Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012. Abstract

Chesani, F., E. Lamma, P. Mello, M. Montali, S. Storari, P. Baldazzi, and M. Manfredi, "Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic", {Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends}: IOS Press, 2008.

Torroni, P., F. Chesani, P. Yolum, M. Gavanelli, M. P. Singh, E. Lamma, M. Alberti, and P. Mello, "Modelling Interactions via Commitments and Expectations", Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.

Conference Paper

Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge", Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.

Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.

Bragaglia, S., F. Chesani, P. Mello, M. Montali, and D. Sottara, "Fuzzy Conformance Checking of Observed Behaviour with Expectations", AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.

Alberti, M., M. Cattafi, F. Chesani, M. Gavanelli, E. Lamma, M. Montali, P. Mello, and P. Torroni, "Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture", IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.

Chesani, F., P. Mello, M. Montali, and P. Torroni, "A REC-Based Commitment Tracking Tool", Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.

Chesani, F., P. Mello, M. Montali, and P. Torroni, "Role Monitoring in Open Agent Societies", Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.

Torroni, P., F. Chesani, P. Mello, and M. Montali, "Social Commitments in Time: Satisfied or Compensated", Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers, vol. 5948: Springer, pp. 228-243, 2010.

Download: DALT2009.pdf (301.44 KB)

Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.

Chesani, F., D. P. Matteis, P. Mello, M. Montali, and S. Storari, "A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening", Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS 2006), vol. 4203: Springer Verlag, pp. 338-343, 2006.

Bottrighi, A., F. Chesani, P. Mello, G. Molino, M. Montali, S. Montani, S. Storari, P. Terenziani, and M. Torchio, "A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance", 12th Conference on Artificial Intelligence in Medicine (AIME'09), vol. 5651, pp. 91-95, 2009.

Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", {24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.

Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services", Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR'07), vol. 4524: Springer Verlag, pp. 279-288, 2007.

Sottara, D., S. Bragaglia, F. Chesani, and P. Mello, "A Rule-Based Implementation of Fuzzy Tableau Reasoning", Proceedings of the 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2010), 2010.

Bragaglia, S., D. Sottara, F. Chesani, and P. Mello, "A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules", Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR2010), vol. 6333/2010, Bressanone, Italy, Springer, pp. 227-230, 2010.

Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "A-Priori Verification of Web Services with Abduction", 21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.

Chesani, F., P. Mello, M. Montali, M. Alberti, M. Gavanelli, E. Lamma, and S. Storari, "Abduction for Specifying and Verifying Web Service Choreographies", 4th International Workshop on AI for Service Composition (AISC 2006), 2006.

Chesani, F., P. Mello, M. Montali, and S. Storari, "Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification", International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies (AWESOME'007), 2007.

Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "An Abductive Framework for A-Priori Verification of Web Services", Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: ACM Press, pp. 39-50, 2006.

Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, S. Storari, and P. Terenziani, "Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines", {Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Revised Selected and Invited Papers}, vol. 5943: Springer, pp. 76-87, 2010.

Chesani, F., P. Mello, M. Montali, F. Riguzzi, M. Sebastianis, and S. Storari, "Checking Compliance of Execution Traces to Business Rules", {Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.

Chesani, F., P. Mello, M. Montali, and P. Torroni, "Commitment Tracking via the Reactive Event Calculus", Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.

Montali, M., P. Mello, F. Chesani, F. Riguzzi, S. Storari, and M. Sebastianis, "Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming", 23-esimo Convegno Italiano di Logica Computazionale (CILC 2008), 2008.