Foto del docente

Paola Mello

Professoressa ordinaria

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Pubblicazioni

P. Torroni; P. Yolum; M. P. Singh; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Modelling interactions via commitments and expectations, in: Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, HERSHEY, PENNSYLVANIA, IGI Global, 2009, pp. 263 - 284 [capitolo di libro]

Luccarini L.; Bragadin G.L.; Mancini M.L.; Mello P.; Montali M.; Sottara D., Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification, in: International Symposium on Sanitary and Environmental Engineering-SIDISA 08 -Proceedings, ROMA, ANDIS, 2009, 1, pp. 152/1 - 152/8 (atti di: ANDIS-DICEA-IWA. International Symposium on Sanitary and Environmental Engineering-SIDISA 08, Florence (Italy), 24-27 june 2008) [Contributo in Atti di convegno]

P. Torroni; F. Chesani; P. Mello; M. Montali, Social commitments in time: satisfied or compensated (preliminary report), in: AA.VV., Declarative Agent Languages and Technologies, Seventh International Workshop, DALT 2009 Budapest, Hungary, May 11th, 2009. Workshop Notes, s.l, s.n, 2009, pp. 147 - 161 (atti di: Seventh International Workshop on Declarative Agent Languages and Technologies, Budapest, Hungary, May 11th, 2009) [Contributo in Atti di convegno]

D. Sottara; P. Mello; M. Proctor, Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems, in: J. HALL, G. GOVERNATORI, A.PASCHKE, Rule Interchange and Applications, BERLIN / HEIDELBERG, Springer, 2009, pp. 345 - 352 (atti di: RuleML 2009 - International Symposium on Rule Interchange and Applications, Las Vegas, Nevada, US, 5-7 Novembre 2009) [Contributo in Atti di convegno]

Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, Verification of choreographies during execution using the reactive event calculus, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5387, pp. 55 - 72 (atti di: 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, Milan, ita, 2008) [Contributo in Atti di convegno]

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]