Federico Chesani's Home Page

My publications

Refereed publications

2006

[21] M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali and P. Torroni. Policy-based reasoning for smart web service interaction. International Workshop Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006). In conjunction with ICLP2006, part of FLOC2006, Seattle, Washington, 10-22 August 2006. To appear.

[20] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma and Paola Mello. A verifiable logic-based agent architecture. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS '06), Bari, Italy, September 2006. Springer Verlag. To appear.

[19] Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, and Sergio Storari. A framework for defining and verifying clinical guidelines: a case study on cancer screening. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS '06), Bari, Italy, September 2006. Springer Verlag. To appear.

[18] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. Computational Logic for Run-Time Verification of Web Services Choreographies: exploiting the SOCS-SI tool. 3rd International Workshop on Web Services and Formal Methods (WS-FM '06), Vienna, Austria, September 2006. Springer Verlag. To appear.

[17] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Sergio Storari. Abduction for Specifying and Verifying Web Service Choreographies. 4th International Workshop on AI for Service Composition (AISC06). In conjunction with the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 2006. To appear.

[16] Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, and Sergio Storari. Testing guidelines conformance by translating a graphical language to computational logic. Workshop AI techniques in healthcare:evidence based guidelines and protocols. In conjunction with the 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, august 2006. To appear.

[15] [bib] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali. An abductive framework for a-priori verification of web services. In M. Maher, editor, Principles and Practice of Declarative Programming (PPDP'06). Venice, Italy, july 2006. ACM Press. To appear.

[14] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali.A-priori verification of web services with abduction. In F. Esposito, D. Malerba, and G. Semeraro, editors, Proceedings of CILC 2006, Bari, Italy, June 2006. To appear.

[13] F. Chesani, M. Gavanelli, M. Alberti, E. Lamma, P. Mello and P. Torroni. Specification and Verification of Agent Interaction Using Abductive Reasoning. In Proceedings of the 6th International Workshop on Computational Logic in Multi-agent Systems (CLIMA VI), LNAI, Springer Verlag. London, June 2005. LNAI 3900, pages 243 - 264.

[12] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-Based Tool. In Applied Artificial Intelligence, Vol. 20, Nos. 4-5, Taylor & Francis, April 2006. Special issue edited by Paolo Petta and Jörg P. Müller:"Best of AT2AI-4".

2005

[11] Marco Alberti, Anna Ciampolini, Federico Chesani, Paola Mello, Marco Montali, Sergio Storari and Paolo Torroni. Protocol specification and verification by using computational logic. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna.

[10] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Paolo torroni. Security protocols verification in abductive logic programming: a case study. In O˘guz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci, editors, Proceedings of ESAW’05, Lecture Notes in Artificial Intelligence, Berlin, Germany, 2005. Department of Computer Engineering Ege University, Springer Verlag. To appear.

[9] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Security protocols verification in Abductive Logic Programming: A case study. In Alberto Pettorossi, Maurizio Proietti, and Valerio Senni, eds., CILC 2005 - Convegno Italiano di Logica Computazionale. Università degli Studi di Roma Tor Vergata, June 21-22 2005. Revised version in Oguz Dikenelli, Marie-Pierre Gleizes, and Andrea Ricci, Proceedings of ESAW'05, October 26-28, 2005.

[8] Federico Chesani. Formalization and Verification of Interaction Protocols. International Conference of Logic Programming - Doctoral Consortium. Sitges, Barcellona 2-5 October 2005. Research Abstract and Presentation.

[7] Marco Alberti and Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. In Intelligenza Artificiale, Anno II No. 3, Settembre 2005, pp. 45-51. ISSN 1724-8035. http://ia.di.uniba.it/

[6] Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni. Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie. In Intelligenza Artificiale, Anno II No. 1, Marzo 2005, pp. 22-29. ISSN 1724-8035.

[5] Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints. In Armin Wolf, ed., Proceedings of the 19th Workshop on (Constraint) Logic Programming, (W(C)LP), University of Ulm, Germany, February 21-23, 2005, pp.53-64. http://www.informatik.uni-ulm.de/epin/pw/11541

[4] Marco Alberti, Federico Chesani, Marco Gavanelli, and Evelina Lamma. The CHRbased implementation of a system for generation and confirmation of hypotheses. In Armin Wolf, Thom Fr¨uhwirth, and Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005, number 2005-01 in Ulmer Informatik-Berichte, pages 111–122, University of Ulm, Germany, February 2005. http://www.informatik.uni-ulm.de/epin/pw/11541

2004

[3] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. In Post-Proceedings of the Global Computing 2004 Workshop (GC 2004), Rovereto, Italy, March 9-12, 2004, 2004. LNCS 3267 Springer-Verlag.

[2] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A logic-based approach to interaction design in open multi-agent systems. In Proceedings of the 13th IEEE International workshops on Enabling technologies: Infrastructures for collaborative enterprises (WETICE-2004), 2nd International Workshop "Theory and practice of open computational systems (TAPOCS)". Modena, Italy, June 14, 2004. IEEE Press. To appear.

[1] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-Based Tool. In R. Trappl, editor, Proceedings of the 17th European Meeting on Cybernetics and Systems Research (EMCSR'2004), Vol. II, Symposium "From Agent Theory to Agent Implementation" (AT2AI-4), pp. 570-575, Vienna, Austria, April 13-16, 2004. Austrian Society for Cybernetic Studies. An extended version is available as a LIA Technical Report. The presentation slides are available here.

Technical reports and other work

Federico Chesani. Presentazione Attività 2° Anno di Dottorato. Hands-out of the presentation. Only italian. Presented November the 7th, 2005.

Federico Chesani and Marco Gavanelli. Specification and Verification of Agent Interaction using SOCS-SI. 6th International Workshop on Computational Logic in Multi-agent Systems (CLIMA VI). London, June 2005.

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma,
Paola Mello, and Paolo Torroni. Expressing interaction in combinatorial auction
through social integrity constraints. In Alfredo Milani, editor, Conferenza Italiana
sui Sistemi Intelligenti, page 80, Perugia (Italy), sep 2004. AI*IA, SIREN, GIPR,
Morlacchi Editore.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma,
Paola Mello, and Paolo Torroni. A demonstration of SOCS-SI. Convegno Italiano di Logica Computazionale - GULP, Parma, 16-17 Giugno 2004.

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, and Paolo Torroni. Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. In Alfredo Milani, ed., Atti della Conferenza Italiana sui Sistemi Intelligenti CISI-04, 9th AI*IA Convention. Workshop Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità. Perugia, Italy, 2004. Morlacchi Editore, Perugia. ISBN 88-89422-09-2.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Storyboard of the AAMAS 2004 DEMO presented at Columbia University, New York, NY, USA, on July 22, 2004.