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; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; M. Montali; P. Mello; P. Torroni, Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture, in: Proceeding of the IEEE International Conference on Web Services, s.l, IEEE, 2009, pp. 254 - 261 (atti di: ICWS 2009, IEEE International Conference on Web Services, Los Angeles, CA, USA, 6-10 July 2009) [Contributo in Atti di convegno]

P. Torroni; P. Yolum; M. P. Singh; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Modelling interactions via commitments and expectations, in: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, HERSHEY, PENNSYLVANIA, IGI Global, 2009, pp. 263 - 284 [capitolo di libro]

P. Torroni; F. Chesani; P. Mello; M. Montali, Social commitments in time: satisfied or compensated (preliminary report), in: AA.VV., Declarative Agent Languages and Technologies, Seventh International Workshop, DALT 2009 Budapest, Hungary, May 11th, 2009. Workshop Notes, s.l, s.n, 2009, pp. 147 - 161 (atti di: Seventh International Workshop on Declarative Agent Languages and Technologies, Budapest, Hungary, May 11th, 2009) [Contributo in Atti di convegno]

Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Verification of choreographies during execution using the reactive event calculus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; P. Torroni, Verifying a-priori the composition of declarative specified services., in: 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)., AACHEN, CEUR, 2009, 494, pp. 1 - 8 (atti di: 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW AWESOME), Torino, italy, September 7-10, 2009) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Abduction in the Context of a Reasoning Process: the SCIFF Framework, in: Reasoning, Rationality and Probability, STANFORD, CHICAGO, University of Chicago Press, 2008, pp. 271 - 287 [capitolo di libro]

F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi, Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic., in: Computer-based medical guidelines and protocols: A primer and current trends, AMSTERDAM, IOS Press, 2008, pp. 183 - 192 (Studies in Health Technology and Informatics) [capitolo di libro]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and verifying contracts with abductive logic programming, «INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE», 2008, 12(4), pp. 9 - 38 [articolo]

F. Chesani; P. Mello; M. Montali; P. Torroni, Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting, in: AA.VV., SWAP 2008: Semantic Web Applications and Perspectives, AACHEN, Sun SITE Central Europe, 2008, 426, pp. 23-1 - 23-10 (atti di: Semantic Web Applications and Perspectives, Roma, December 15-17, 2008.) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Verifiable agent interaction in abductive logic programming: the SCIFF framework, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2008, 9(4), article 29, pp. 1 - 43 [articolo]

M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Verification from declarative specifications using Logic Programming, in: AA.VV., Proceedings of the 24th International Conference on Logic Programming (ICLP), BERLIN, HEIDELBERG, Springer-Verlag, 2008, 5366, pp. 440 - 454 (atti di: International Conference on Logic Programming, Udine, Italy, December 9-13, 2008) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni, A computational logic-based approach to verification of IT systems, in: AA.VV., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007., STUTTGART, Infonomics-Consulting, 2007, pp. 115 - 125 (atti di: 14th HP Software University Association Workshop (HP-SUA). Hosted by the Leibniz Computing Center and the Munich Network Management Team, Garching/Munich, Germany, July 11-14, 2007) [Contributo in Atti di convegno]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A rule-based approach for reasoning about collaboration between smart Web services, in: Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, «LECTURE NOTES IN COMPUTER SCIENCE», 2007, 4524, pp. 279 - 288 (atti di: Web Reasoning and Rule Systems, First International Conference (RR2007), Innsbruck , Austria, June 7-8, 2007) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; S. Storari, Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshop - Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME 2007), DURHAM, s.n, 2007, pp. 27 - 42 (atti di: Multi-Agent Logics, Languages, and Organisations Federated Workshop (MALLOW 2007), Durham, United Kingdom, 3-7 Settembre 2007) [Contributo in Atti di convegno]

Torroni P.; Gavanelli M.; Chesani F., Argumentation in the Semantic Web, «IEEE INTELLIGENT SYSTEMS», 2007, 22(6), pp. 66 - 74 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.