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 . [Editorship]
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) [Contribution to conference proceedings]
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, 2005, 3673, pp. 135 - 147 (atti di: 9th Congress of the Italian Association for Artificial Intelligence, Milan, September 21-32, 2005) [Contribution to conference proceedings]
Alberti, M.; Chesani, Federico; Gavanelli, M.; Lamma, E.; Mello, Paola; Torroni, Paolo, The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies, in: Global Computing, 2005, 3267, pp. 314 - 339 (atti di: IST/FET International Workshop, GC, Rovereto, March 9-12, 2004) [Contribution to conference proceedings]
Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar, 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), 2004. [Exhibition]
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), , ) [Contribution to conference proceedings]
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, 2004, 3259, pp. 159 - 177 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contribution to conference proceedings]
Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G., ALIAS: The Abductive LogIc AgentS architecture, 2004. [Software]
Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo, Abduction with Hypothesis Confirmation, in: PANEGAI ELIO; ROSSI GIANFRANCO, Proceedings of CILC'04 Italian Conference on Computational Logic, PARMA, Dipartimento di Matematica, Università di Parma, 2004, pp. 13 - 27 [Contribution to conference proceedings]
KAKAS A.; TORRONI P.; DEMETRIOU N., Agent Planning, Negotiation, and Control of Operation, in: RAMON LÓPEZ DE MÁNTARAS E LORENZA SAITTA, EDITORS, Proceedings of the 16th Biennal European Conference on Artificial Intelligence, ECAI 2004, AMSTERDAM, IOS Press, 2004, pp. 28 - 32 (atti di: 16th European Conference on Artificial Intelligence (ECAI), , ) [Contribution to conference proceedings]
GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., An Abductive Framework for Information Exchange in Multi-Agent systems, in: Computational Logic in Multi-Agent Systems, 2004, 3259, pp. 34 - 52 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contribution to conference proceedings]
J. LEITE; P. TORRONI, CLIMA V: Fifth International Workshop on Computational Logic in Multi-Agent Systems, 2004. [Exhibition]
