Foto del docente

Federico Chesani

Professore associato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Pubblicazioni

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni., Web Service Contracting: Specification and Reasoning with SCIFF, in: The Semantic Web: Research and Applications, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4519, pp. 68 - 83 (atti di: The Semantic Web: Research and Applications, 4th European Semantic Web Conference, (ESWC 2007), Innsbruck, Austria, June 3-7, 2007) [Contributo in Atti di convegno]

F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari, A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening., in: Foundations of Intelligent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 338 - 343 (atti di: 16th International Symposium on Methodologies for Intelligent Systems, Bari, 27- 29 Settembre 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, A Verifiable Logic-Based Agent Architecture., in: Foundations of Intelligent Systems, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 188 - 197 (atti di: Foundations of Intelligent Systems. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS 2006), Bari, Italy, 27-29 Settembre 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari, Abduction for Specifying and Verifying Web Service Choreographies., in: Proceedings of the 4th International Workshop on AI for Service Composition (AISC06)., s.l, s.n, 2006(atti di: 4th International Workshop on AI for Service Composition (AISC06). In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, An Abductive Framework for A-Priori Verification of Web Services, in: Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, NEW YORK, ACM Press, 2006, pp. 39 - 50 (atti di: Eighth Symposium on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, A-priori verification of web services with abduction., in: Proceedings of CILC 2006, Bari, Italy, June 2006., s.l, s.n, 2006(atti di: Convegno Italiano di Logica Computazionale, Bari, Italy, Giugno 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Compliance Verification of Agent Interaction: a Logic-Based Software Tool, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20(2-4), pp. 133 - 157 [articolo]

M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI, Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool, in: Web Services and Formal Methods, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 58 - 72 (atti di: Third International Workshop, WS-FM, Vienna, September 8-9, 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni, Policy-based reasoning for smart web service interaction, in: ALPSWS 2006: Applications of Logic Programming in the Semantic Web and Semantic Web Services, Proceedings., AACHEN, CEUR Workshop Proceedings (CEUR-WS.org), 2006, 196, pp. 87 - 102 (atti di: 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, Seattle, WA, USA, August 16, 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Policy-based reasoning for smart web service interaction., in: PROCEEDINGS OF SWAP 2006,, AACHEN, CEUR Workshop Proceedings (CEUR-WS.org), 2006, 201, pp. 1 - 9 (atti di: THE 3RD ITALIAN SEMANTIC WEB WORKSHOP, PISA, ITALY, DECEMBER 2006.) [Contributo in Atti di convegno]

Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni, Security protocols verification in abductive logic programming: a case study., in: O. DIKENELLI, M.-P. GLEIZES, A. RICCI, Engineering Societies in the Agents World VI, IZMIR, s.n, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3963, pp. 106 - 124 (atti di: 6th International Workshop, ESAW 2005, Kuşadasi, October 26-28, 2005) [Contributo in Atti di convegno]

Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni, Specification and verification of agent interaction using Abductive Reasoning, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3900, pp. 243 - 264 (atti di: 6th International Workshop, CLIMA VI, London, June 27-29, 2005) [Contributo in Atti di convegno]

F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari, Testing guidelines conformance by translating a graphical language to computational logic., in: Proceedings of the workshop "AI techniques in healthcare:evidence based guidelines and protocols"., s.l, s.n, 2006(atti di: Workshop AI techniques in healthcare:evidence based guidelines and protocols. In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; P. Torroni, Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie, «INTELLIGENZA ARTIFICIALE», 2005, Anno II No 1, pp. 22 - 29 [articolo]

M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints, in: Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP), ULM, University of Ulm, 2005, pp. 53 - 64 (atti di: 19th Workshop on (Constraint) Logic Programming (W(C)LP), Ulm, 21-23 February 2005) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.