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]
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]
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]
M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI, Compliance Verification of Agent Interaction: a Logic-Based Tool, in: Symposium "From Agent Theory to Practice", VIENNA, Austrian Society for Cybernetic., 2004, II, pp. 570 - 575 (atti di: 17th European Meeting on Cybernetics and Systems Research (EMCSR'2004), Vienna, Austria, April 13-16) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auction through Social Integrality Constraints, in: ALFREDO MILANI, Conferenza Italiana sui sistemi Intelligenti 2004, PERUGIA, Morlacchi Editore, 2004, pp. 80 - 81 (atti di: AIIA Nono Convegno, Perugia, Settembre 2004) [Contributo in Atti di convegno]
