F. Chesani; P. Mello; M. Montali; P. Torroni, Verifying a-priori the composition of declarative specified services., in: Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME)., AACHEN, CEUR, 2009, 494, pp. 1 - 8 (atti di: 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW AWESOME), Torino, italy, September 7-10, 2009) [Contributo in Atti di convegno]
P. Mello; S. Storari; B. Valli, A Knowledge-Based System for Fashion Trend Forecasting, in: New Frontiers in Applied Artificial Intelligence, 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Lecture Notes in Computer Science 5027, BERLIN, Springer Verlag, 2008, pp. 425 - 434 (atti di: Proceedings. Springer 2008, Wroclaw, Poland, June 18-20 2008) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Abduction in the Context of a Reasoning Process: the SCIFF Framework, in: Reasoning, Rationality and Probability, STANFORD, CHICAGO, University of Chicago Press, 2008, pp. 271 - 287 [capitolo di libro]
D.Sottara; P. Mello; M. Proctor, Adding Uncertainty to a Rete-OO Inference Engine., in: RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB, BERLIN, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5321, pp. 104 - 118 (atti di: INTERNATIONAL SYMPOSIUM, RULEML 2008, Orlando FL USA, 30-31 October 2008) [Contributo in Atti di convegno]
A. Ciampolini; P. Mello; S. Storari, An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios., in: Proceedings of the 1st International Workshop on MObile and DIstributed approaches in Emergency (MODIES, s.l, IEEE Press, 2008, pp. 60 - 64 (atti di: 1st International Workshop on MObile and DIstributed approaches in Emergency Scenarios (MODIES 2008), Tampere, Finland, 30 Gennaio - 1 Febbraio 2008) [Contributo in Atti di convegno]
A. Ciampolini; P.Mello; S. Storari, An Abductive Multi-Agent System for Medical Services Coordination, in: Proceedings of Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008, BOSTON, Springer, 2008, 276, pp. 421 - 426 (atti di: IFIP World Computer Congress 2008, IFIP AI, Milano, 7th-10th September 2008) [Contributo in Atti di convegno]
L. Luccarini; P. Mello; D. Sottara; A. Spagni, Artificial Intelligence based rules for event recognition and control applied to SBR systems, in: Conference Proceedings of the 4th Sequencing Batch Reactor Conference, ROMA, s.n, 2008, pp. 155 - 158 (atti di: SBR4 - 4th Sequencing Batch Reactor Conference, Rome, 7-10 April, 2008) [Contributo in Atti di convegno]
v. bryl; p. mello; m. montali; p. torroni; n. zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification, in: Computational Logic in Multi-Agent Systems, CLIMA VIII. Revised Selected and Invited Papers., BERLIN, HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2008, 5056, pp. 157 - 176 (atti di: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII., Porto, Portugal, September 2007) [Contributo in Atti di convegno]
F. Chesani; E. Lamma; P. Mello; M. Montali; S. Storari; P. Baldazzi; M. Manfredi, Conformance Checking of Cancer-Screening Careflows: an Approach based on Computational Logic., in: Computer-based medical guidelines and protocols: A primer and current trends, AMSTERDAM, IOS Press, 2008, pp. 183 - 192 (Studies in Health Technology and Informatics) [capitolo di libro]
D. Sottara; P.Mello; L.Luccarini; G.Colombini, Controllo e gestione intelligente degli impianti di depurazione, in: L. MORSELLI, Europa del Recupero : le ricerche, le tecnologie, gli strumenti e i casi studio per una cultura della responsabilità ambientale, S.ARCANGELO DI ROMAGNA (RN), Maggioli, 2008, pp. 156 - 161 (atti di: Ecomondo 2008, Rimini, 5-8 Novembre 2008) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and verifying contracts with abductive logic programming, «INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE», 2008, 12(4), pp. 9 - 38 [articolo]
D. Sottara; P. Mello, Modelling Radial Basis Functions with Rational Logic Rules., in: Notes in Computer Science 5271 Springer 2008,, BERLIN, Springer Verlag, 2008, pp. 334 - 344 (atti di: HAIS08 Proceedings, Burgos, Spain, September 24-26, 2008.) [Contributo in Atti di convegno]
F. Chesani; P. Mello; M. Montali; P. Torroni, Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting, in: AA.VV., SWAP 2008: Semantic Web Applications and Perspectives, AACHEN, Sun SITE Central Europe, 2008, 426, pp. 23-1 - 23-10 (atti di: Semantic Web Applications and Perspectives, Roma, December 15-17, 2008.) [Contributo in Atti di convegno]
D.Sottara; L.Luccarini; P.Mello, Strumenti di IA per il controllo e la diagnosi dei processi biologici negli impianti a fanghi attivi, in: L. MORSELLI, Europa del recupero : le ricerche, le tecnologie, gli strumenti e i casi studio per una cultura della responsabilità ambientale, S.ARCANGELO DI ROMAGNA (RN), Maggioli, 2008, pp. 150 - 155 (atti di: Ecomondo 2008, Rimini, 5-8 Novembre 2008) [Contributo in Atti di convegno]
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, Verifiable agent interaction in abductive logic programming: the SCIFF framework, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2008, 9(4), article 29, pp. 1 - 43 [articolo]
