F. Chesani; P. De Matteis; P. Mello; M. Montali; S. Storari, A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening., in: Foundations of Intelligent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 338 - 343 (atti di: 16th International Symposium on Methodologies for Intelligent Systems, Bari, 27- 29 Settembre 2006) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, A Verifiable Logic-Based Agent Architecture., in: Foundations of Intelligent Systems, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4203, pp. 188 - 197 (atti di: Foundations of Intelligent Systems. 16th International Symposium on Methodologies for Intelligent Systems (ISMIS 2006), Bari, Italy, 27-29 Settembre 2006) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari, Abduction for Specifying and Verifying Web Service Choreographies., in: Proceedings of the 4th International Workshop on AI for Service Composition (AISC06)., s.l, s.n, 2006(atti di: 4th International Workshop on AI for Service Composition (AISC06). In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]
G. Giacomelli; P. Mello; M. Milano; B. Poli; A. Roli; G. Siroli, A.I. Artificial Intelligence Scienza o Fantascienza, 2006. [mostra o esposizione]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, An Abductive Framework for A-Priori Verification of Web Services, in: Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, NEW YORK, ACM Press, 2006, pp. 39 - 50 (atti di: Eighth Symposium on Principles and Practice of Declarative Programming, Venice, Italy, July 10-12) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali, A-priori verification of web services with abduction., in: Proceedings of CILC 2006, Bari, Italy, June 2006., s.l, s.n, 2006(atti di: Convegno Italiano di Logica Computazionale, Bari, Italy, Giugno 2006) [Contributo in Atti di convegno]
E.Lamma; P.Mello; A.Nanetti; F.Riguzzi; S.Storari; G.Valastro, Artificial Intelligence Techniques for Monitoring Dangerous Infections, «IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE», 2006, 10, n. 1, Gennaio, pp. 143 - 155 [articolo]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Compliance Verification of Agent Interaction: a Logic-Based Software Tool, «APPLIED ARTIFICIAL INTELLIGENCE», 2006, 20(2-4), pp. 133 - 157 [articolo]
M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; P. MELLO; M. MONTALI; S. STORARI; P. TORRONI, Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool, in: Web Services and Formal Methods, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 4184, pp. 58 - 72 (atti di: Third International Workshop, WS-FM, Vienna, September 8-9, 2006) [Contributo in Atti di convegno]
E. Lamma; P. Mello; F. Riguzzi, Exploiting abduction for learning from incomplete interpretations, in: Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale''", s.l, s.n, 2006(atti di: Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) dal titolo ``Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale''.", Ferrara, Ottobre 2006) [Contributo in Atti di convegno]
Marco Alberti ; Evelina Lamma ; Marco Gavanelli ; Paola Mello ; Giovanni Sartor ; Paolo Torroni, Mapping Deontic Operators to Abductive Expectations, «COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY», 2006, 12(2-3), pp. 205 - 225 [articolo]
M. Alberti; F. Chesani; E. Lamma; M. Gavanelli; P. Mello; M. Montali; P. Torroni, Policy-based reasoning for smart web service interaction, in: ALPSWS 2006: Applications of Logic Programming in the Semantic Web and Semantic Web Services, Proceedings., AACHEN, CEUR Workshop Proceedings (CEUR-WS.org), 2006, 196, pp. 87 - 102 (atti di: 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, Seattle, WA, USA, August 16, 2006) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Policy-based reasoning for smart web service interaction., in: PROCEEDINGS OF SWAP 2006,, AACHEN, CEUR Workshop Proceedings (CEUR-WS.org), 2006, 201, pp. 1 - 9 (atti di: THE 3RD ITALIAN SEMANTIC WEB WORKSHOP, PISA, ITALY, DECEMBER 2006.) [Contributo in Atti di convegno]
Marco Alberti; Federico Chesani; Marco Gavanelli; Evelina Lamma; Paola Mello; Paolo Torroni, Security protocols verification in abductive logic programming: a case study., in: O. DIKENELLI, M.-P. GLEIZES, A. RICCI, Engineering Societies in the Agents World VI, IZMIR, s.n, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3963, pp. 106 - 124 (atti di: 6th International Workshop, ESAW 2005, Kuşadasi, October 26-28, 2005) [Contributo in Atti di convegno]
Federico Chesani; Marco Gavanelli; Marco Alberti; Evelina Lamma; Paola Mello; Paolo Torroni, Specification and verification of agent interaction using Abductive Reasoning, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2006, 3900, pp. 243 - 264 (atti di: 6th International Workshop, CLIMA VI, London, June 27-29, 2005) [Contributo in Atti di convegno]
