Bragadin G.L.; Grilli S.; Luccarini L.; Mancini M.; Mello P.; Sottara D., Tecniche di intelligenza artificiale per la gestione e il controllo di impianti di depurazione. Caso di studio: SBR in scala pilota alimentato con refluo reale., in: Ambiente: tecnologie, controlli e certificazioni per il recupero e la valorizzazione di materiali ed energie., RIMINI, Maggioli Editore, 2006, pp. 106 - 111 (atti di: ECOMONDO 10^ Fiera Internazionale del Recupero di Materia ed Energia e dello Sviluppo Sostenibile., Rimini, 8-11 novembre 2006) [Contributo in Atti di convegno]
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; M. Gavanelli; E. Lamma; P. Mello; M. Milano, A CHR-based implementation of known arc-consistency, «THEORY AND PRACTICE OF LOGIC PROGRAMMING», 2005, 5, pp. 419 - 440 [articolo]
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 [atti di convegno-abstract]
B. Barbieri; G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari, An Expert System for the Oral Anticoagulation Treatment, in: Innovations in Applied Artificial Intelligence, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3533, pp. 773 - 782 (atti di: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, June 22-24, 2005) [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. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO, Dealing with incomplete knowledge on CLP(FD) variable Domains, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2005, 27, pp. 236 - 263 [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; M. Gavanelli; E. Lamma; P. Mello; G. Sartor; P. Torroni, Mapping Deontic Operators to Abductive Expectations, in: AA.VV., roceedings of 1st International Symposium on Normative Multiagent Systems (NorMAS 2005), HERTFORDSHIRE, HATFIELD, AISB, 2005, pp. 126 - 136 [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]
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]
Ciampolini A.; Mello P.; Montali M.; Storari S., Using social integrity constraints for on-the-fly compliance verification of medical protocol, in: A. TSYMBAL, P. CUNNINGHAM, Proceedings of eighteenth IEEE Symphosium on Computer Based Medical Systems (CBMS) 2005, LOS ALAMITOS, IEEE Press, 2005, pp. 503 - 505 [Contributo in Atti di convegno]
