Foto del docente

Paola Mello

Full Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Publications

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) [Contribution to conference proceedings]

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 [Scientific article]

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.) [Contribution to conference proceedings]

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.) [Contribution to conference proceedings]

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) [Contribution to conference proceedings]

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 [Scientific article]

M. Montali; P. Torroni; M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello, Verification from declarative specifications using Logic Programming, in: AA.VV., Proceedings of the 24th International Conference on Logic Programming (ICLP), BERLIN, HEIDELBERG, Springer-Verlag, 2008, 5366, pp. 440 - 454 (atti di: International Conference on Logic Programming, Udine, Italy, December 9-13, 2008) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; S. Storari; P. Torroni, A computational logic-based approach to verification of IT systems, in: AA.VV., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007., STUTTGART, Infonomics-Consulting, 2007, pp. 115 - 125 (atti di: 14th HP Software University Association Workshop (HP-SUA). Hosted by the Leibniz Computing Center and the Munich Network Management Team, Garching/Munich, Germany, July 11-14, 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A rule-based approach for reasoning about collaboration between smart Web services, in: Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings, 2007, 4524, pp. 279 - 288 (atti di: Web Reasoning and Rule Systems, First International Conference (RR2007), Innsbruck , Austria, June 7-8, 2007) [Contribution to conference proceedings]

F. Chesani; P. Mello; M. Montali; S. Storari, Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshop - Agents, Web-Services, and Ontologies Integrated Methodologies (AWESOME 2007), DURHAM, s.n, 2007, pp. 27 - 42 (atti di: Multi-Agent Logics, Languages, and Organisations Federated Workshop (MALLOW 2007), Durham, United Kingdom, 3-7 Settembre 2007) [Contribution to conference proceedings]

D. Sottara; L. Luccarini; P. Mello, AI Techniques for Waste Water Treatment Plant Control. Case Study: Denitrification in a Pilot-Scale SBR, in: Knowledge-Based Intelligent Information and Engineering Systems, 2007, 4692, pp. 639 - 646 (atti di: 11th International Conference on Knowledge-Based and Intelligence Information and Engineering Systems, Vietri sul Mare, Salerno, Italy, 2007) [Contribution to conference proceedings]

E. Lamma; P. Mello; F. Riguzzi; S. Storari, Applying Inductive Logic Programming to Process Mining, in: Inductive Logic Programming, 2007, 4894, pp. 132 - 146 (atti di: International Conference on Inductive Logic Programming, Oregon State University, Corvallis Oregon, USA, 19-21 Giugno 2007) [Contribution to conference proceedings]

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: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Proceedings, s.l, s.n, 2007, pp. 150 - 165 (atti di: Eight International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, 10-11 September 2007) [Contribution to conference proceedings]

M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and Verifying Business Contracts with Abductive Logic Programming, in: Normative Multi-Agent Systems, Dagstuhl Seminars Proceedings, DAGSTUHL, IBFI, 2007, pp. 1 - 29 (atti di: Normative Multi-agent Systems, Dagstuhl Seminars, Dagstuhl, 18-23 Marzo 2007) [Contribution to conference proceedings]

V. Bryl; P. Mello; M. Montali; P. Torroni; N. Zannone, Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach, in: AA.VV., Atti del Quarto Convegno Italiano di Logica Computazionale, s.l, s.n, 2007(atti di: Quarto Convegno Italiano di Logica Computazionale, Messina, 20-21 Giugno 2007) [Contribution to conference proceedings]

Latest news

At the moment no news are available.