F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari, Testing guidelines conformance by translating a graphical language to computational logic., in: Proceedings of the workshop "AI techniques in healthcare:evidence based guidelines and protocols"., s.l, s.n, 2006(atti di: Workshop AI techniques in healthcare:evidence based guidelines and protocols. In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]
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 [articolo]
M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints, in: Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP), ULM, University of Ulm, 2005, pp. 53 - 64 (atti di: 19th Workshop on (Constraint) Logic Programming (W(C)LP), Ulm, 21-23 February 2005) [Contributo in Atti di convegno]
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, 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, «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]
