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 :

Marco Alberti

Marco Gavanelli

Evelina Lamma

Paola Mello

Paolo Torroni

 

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 56 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: Author is chesani  [Clear All Filters]
Conference Paper
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni, "Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool", Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
Chesani, F., M. Montali, P. Mello, and P. Torroni, "Monitoring Time-Aware Social Commitments with Reactive Event Calculus", Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting", Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), vol. 429, 2009.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
Alberti, M., F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, and P. Torroni, "Protocol Specification and Verification by Using Computational Logic", Proceedings of the 6th AI*IA/TABOO Joint Workshop ``From Objects to Agents'' (WOA 2005): Simulation and Formal Analysis of Complex Systems: Pitagora Editrice Bologna, pp. 184-192, 2005.
Chesani, F., P. Mello, M. Montali, and S. Storari, "Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic", Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 2007.
Montali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verification from Declarative Specifications Using Logic Programming", 24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
Montali, M., P. Torroni, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello, "Verification from Declarative Specifications Using Logic Programming", 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
Kafalı, Ö., F. Chesani, and P. Torroni, "What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior", Computational Logic in Multi-Agent Systems, vol. 6245: Springer Berlin / Heidelberg, pp. 82-98, 2010. Abstract
Conference Proceedings
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Declarative Technologies for Open Agent Systems and Beyond", Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, pp. 1-5, 06/2010.
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning", Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010), vol. 6076: Springer, pp. 438–445, 2010.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Modeling and Verification of Business Processes and Choreographies in ALP", Il Milione - A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli, vol. 487: CEUR Workshop Proceedings, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verifying A-Priori the Composition of Declarative Specified Services", Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), vol. 494: CEUR Workshop Proceedings, 2009.
Journal Article
Torroni, P., F. Chesani, and M. Gavanelli, "Argumentation in the Semantic Web", Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments", Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract