Francesca Toni; Paolo Torroni, Multi-Agent Systems in Logic Programming: Challenges and Outcomes of the SOCS Project, in: AA.VV., Pre-proceedings of the Sixth International Workshop on Computational Logic in Multi-Agent Systems, LONDON, City University London, 2005, pp. 9 - 11 (atti di: Sixth International Workshop on Computational Logic in Multi-Agent Systems, City University London, UK, 27-29 June 2005) [Contributo in Atti di convegno]
Leite Joao Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar, Preface, in: LEITE JOAO ALEXANDRE OMICINI ANDREA TORRONI PAOLO YOLUM PINAR, Declarative Agent Languages and Technologies II, HEIDELBERG, Springer, 2005, pp. V - VIII [introduzione]
F. TONI; P. TORRONI, Preface, in: F. TONI, P. TORRONI, Pre-Proceedings of the 6th International Workshop on Computational Logic in Multi-agent Systems (CLIMA-VI), City University London, 27-29 June, 2005, LONDON, s.n, 2005, pp. V - VII [introduzione]
leite joao; torroni paolo, Preface, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3487, pp. V - VII [articolo]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Preface, in: BALDONI MATTEO ENDRISS ULLE OMICINI ANDREA TORRONI PAOLO, Proceedings of the 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005), UTRECHT, s.n., 2005, pp. V - V [introduzione]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, Proceedings of the 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005), UTRECHT, s.n., 2005, pp. VIII-193 . [curatela]
M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, Protocol Specification and Verification by Using Computational Logic, in: WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi, BOLOGNA, Pitagora Editrice, 2005(atti di: WOA 2005 Dagli Oggetti agli Agenti, Camerino, 14-16 Novembre 2005) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, SOCS-SI: The SOCS Social Infrastructure, 2005. [software]
M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni, The SCIFF Abductive Proof Procedure, 2005. [software]
M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, The SCIFF abductive proof-procedure, in: AI*IA 2005: Advances in Artificial Intelligence, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3673, pp. 135 - 147 (atti di: 9th Congress of the Italian Association for Artificial Intelligence, Milan, September 21-32, 2005) [Contributo in Atti di convegno]
ALBERTI M.; CHESANI F.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies, in: Global Computing, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3267, pp. 314 - 339 (atti di: IST/FET International Workshop, GC, Rovereto, March 9-12, 2004) [Contributo in Atti di convegno]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005), 2005. [mostra o esposizione]
F. Toni; P. Torroni, 6th International Workshop on Computational Logic in Multi-Agent Systems, «AGENTLINK NEWSLETTER», 2005, 18, pp. 38 - 39 [articolo]
ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P., A Logic based Approach to Interaction Design in Open Multi-Agent Systems, in: AA.VV., Proceedings of the 13th IEEE International workshops on Enabling technologies: Infrastructures for collaborative enterprises (WETICE-2004), LOS ALAMITOS, CA, IEEE Press, 2004, pp. 387 - 392 (atti di: 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), , ) [Contributo in Atti di convegno]
BRACCIALI A.; TORRONI P., A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction, in: Computational Logic in Multi-Agent Systems, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3259, pp. 159 - 177 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contributo in Atti di convegno]
