M. Alberti; F. Chesani; D. Daolio; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Specification and Verification of Agent Interaction Protocols in a Logic-based System, «SCALABLE COMPUTING. PRACTICE AND EXPERIENCE», 2007, 8(1), pp. 1 - 13 [articolo]
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]
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]
Francesca Toni; Paolo Torroni, Computational Logics in Multi-Agent Systems VI, HEIDELBERG, Springer, 2006, pp. 439 (Lecture Notes in Artificial Intelligence, LNCS 3900). [curatela]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Declarative Agent Languages and Technologies III, HEIDELBERG, Springer, 2006, pp. 245 (LECTURE NOTES IN COMPUTER SCIENCE). [curatela]
Marco Alberti ; Evelina Lamma ; Marco Gavanelli ; Paola Mello ; Giovanni Sartor ; Paolo Torroni, Mapping Deontic Operators to Abductive Expectations, «COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY», 2006, 12(2-3), pp. 205 - 225 [articolo]
TORRONI P., Multi-agent agreements about actions through argumentation, in: Computational Models of Argument: Proceedings of COMMA 2006, AMSTERDAM, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2006, pp. 323 - 328 (atti di: Computational Models of Argument, Liverpool, UK, September 11-12, 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]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Preface, in: Declarative Agent Languages and Technologies III, HEIDELBERG, Springer, 2006, pp. V - VII [introduzione]
Francesca Toni; Paolo Torroni, Preface, in: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, Berlin, Springer, 2006, pp. V - VIII (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
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]
M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Abduction with hypotheses confirmation, in: F. GIUNCHIGLIA, Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI'2005), Edinburgh, UK, July 30-August 5, 2005, SAN FRANCISCO, CA, Morgan Kaufmann, 2005, pp. 1545 - 1546 [atti di convegno-abstract]
