TORRONI P., Multi-agent agreements about actions through argumentation, in: Computational Models of Argument: Proceedings of COMMA 2006, AMSTERDAM, IOS Press, 2006, pp. 323 - 328 (atti di: Computational Models of Argument, Liverpool, UK, September 11-12, 2006) [Contribution to conference proceedings]
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) [Contribution to conference proceedings]
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.) [Contribution to conference proceedings]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Preface, in: Declarative Agent Languages and Technologies III, HEIDELBERG, Springer, 2006, pp. V - VII [Brief introduction]
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) [Chapter or essay]
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, 2006, 3963, pp. 106 - 124 (atti di: 6th International Workshop, ESAW 2005, Kuşadasi, October 26-28, 2005) [Contribution to conference proceedings]
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, 2006, 3900, pp. 243 - 264 (atti di: 6th International Workshop, CLIMA VI, London, June 27-29, 2005) [Contribution to conference proceedings]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005), 2005. [Exhibition]
F. Toni; P. Torroni, 6th International Workshop on Computational Logic in Multi-Agent Systems, «AGENTLINK NEWSLETTER», 2005, 18, pp. 38 - 39 [Scientific article]
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 [Abstract]
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 [Scientific article]
F. TONI; P. TORRONI, CLIMA VI: Sixth International Workshop on Computational Logic in Multi-Agent Systems, 2005. [Exhibition]
Francesca Toni; Paolo Torroni (a cura di): AA.VV., Computational Logic in Multi-Agent Systems - 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, LONDON, City University London, 2005, pp. XII-293 . [Editorship]
LEITE J.; TORRONI P., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 2004. Revised Selected and Invited Papers, BERLIN HEIDELBERG, Springer-Verlag, 2005, pp. XII, 281 (Lecture Notes in Artificial Intelligence). [Editorship]
Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Declarative Agent Languages and Technologies II, HEIDELBERG, Springer, 2005, pp. 289 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
