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

M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [articolo]

S. Bragaglia; F. Chesani; A. Ciampolini; P.Mello; M. Montali; D. Sottara, An hybrid architecture integrationg forward rules with fuzzy ontological reasoning, in: Hybrid Artificial Intelligence Systems, BERLIN, Springer, 2010, pp. 438 - 445 (atti di: HAIS 2010, San Sebastian, June 23-25, 2010) [Contributo in Atti di convegno]

A. Bottrighi; F.Chesani; P. Mello; M. Montali; S. Montani; S. Storari; P. Terenziani, Analysis of the GLARE and GPROVE approaches to Clinical Guidelines, in: Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009, Revised Selected and Invited Papers, BERLIN, Springer, 2010, LNCS 5943/2010, pp. 76 - 87 (atti di: AIME 2009 Workshop KR4HC 2009, Verona, Italy, July 19, 2009) [Contributo in Atti di convegno]

P. Mello; S. Storari; B. Valli, Application Of Machine Learning Techniques For The Forecasting Of Fashion Trends., «INTELLIGENZA ARTIFICIALE», 2010, 4 (1), pp. 18 - 26 [articolo]

M. Montali; M. Pesic; W. M. P. van der Aalst; F. Chesani; P. Mello; S. Storari, Declarative Specification and Verification of Service Choreographies, «ACM TRANSACTIONS ON THE WEB», 2010, 4, pp. 1 - 62 [articolo]

F. Chesani; P. Mello; M. Montali; P. Torroni, Declarative Technologies for Open Agent Systems and Beyond, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 1 - 5 (atti di: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

Luccarini L.; Bragadin G.L.; Colombini G.; Mancini M.; Mello P.; Montali M.; Sottara D., Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant., «ENVIRONMENTAL MODELLING & SOFTWARE», 2010, 25, pp. 648 - 660 [articolo]

F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring Time-Aware Social Commitments with Reactive Event Calculus, in: Proceedings of the 20th European Meeting on Cybernetics and Systems Research (EMCSR 2010) - International Workshop From Agent Theory to Agent Implementation (AT2AI-7), VIENNA, Austrian Society for Cybernetics Studies, 2010, 6/6, pp. 447 - 452 (atti di: 7th International Workshop From Agent Theory to Agent Implementation, University of Vienna, Vienna, Austria, April 6-9, 2010) [Contributo in Atti di convegno]

F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework, «MULTIAGENT AND GRID SYSTEMS», 2010, 6, pp. 165 - 190 [articolo]

F. Chesani; P. Mello; M. Montali; P. Torroni, Role Monitoring in Open Agent Societies, in: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, HEIDELBERG, Springer, 2010, 6070, pp. 112 - 121 (atti di: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010) [Contributo in Atti di convegno]

P. Torroni; F. Chesani; P. Mello; M. Montali, Social Commitments in Time: Satisfied or Compensated, in: Declarative Agent Languages and Technologies VII. 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers, BERLIN, SPRINGER, 2010, 5948/2010, pp. 228 - 243 (atti di: AAMAS 2009 - Workshop Declarative Agent Languages and Technologies VII, Budapest, Hungary., May 11, 2009) [Contributo in Atti di convegno]

D.Sottara; P.Mello; A.Manservisi; L.Luccarini; G.Colombini, A CEP-based SOA for the management of WasteWater Treatment Plants, in: In 2009 IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems, EESMS 2009 - Proceedings, s.l, IEEE, 2009, pp. 58 - 65 (atti di: EESMS09 - IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems, Crema, 25 Settembre 2009) [Contributo in Atti di convegno]

A. Bottrighi; F. Chesani; P. Mello; G. Molino; M. Montali; S. Montani; S. Storari; P. Terenziani; M. Torchio, A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance., in: Proceeding of the Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, BERLIN, Springer, 2009, LNCS 5651, pp. 91 - 95 (atti di: Artificial Intelligence in Medicine, 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009) [Contributo in Atti di convegno]

D. Sottara; G. Colombini; L.Luccarini; P.Mello, A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants, in: E. CORCHADO, W. PEDRYCZ, A. ABRAHAM, Hybrid Artificial Intelligence Systems, BERLIN / HEIDELBERG, Springer, 2009, pp. 368 - 375 (atti di: HAIS09 - 4th International Conference on Hybrid Artificial Intelligence Systems, Salamanca, 10-12 Giugno 2009) [Contributo in Atti di convegno]

Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo, A REC-based commitment tracking tool, in: 10th Workshop on Objects and Agents, WOA'09, 2009, pp. 1 - 4 (atti di: 10th Workshop on Objects and Agents, WOA 2009, Parma, ita, 2009) [Contributo in Atti di convegno]

Ultimi avvisi

Al momento non sono presenti avvisi.