Foto del docente

Paola Mello

Full Professor

Department of Computer Science and Engineering

Academic discipline: ING-INF/05 Information Processing Systems

Publications

M. Montali; P. Torroni; N. Zannone; P. Mello; V. Bryl, Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2011, 23, pp. 193 - 223 [Scientific article]

D. Sottara;P. Mello;C. Sartori;E. Fry, Enhancing a production rule engine with predictive models using PMML, in: Proceedings of the 2011 workshop on Predictive markup language modeling, New York, NY, USA, ACM, 2011, pp. 39 - 47 (atti di: Predictive markup language modeling, San Diego, 21-24/08/2011) [Contribution to conference proceedings]

S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara, Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems, in: Rule-Based Modeling and Computing on the Semantic Web, BERLIN, Springer-Verlag, 2011, 7018, pp. 267 - 281 (atti di: RuleML 2011 - America. The 5th International Symposium on Rules: Research Based and Industry Focused, Fort Lauderdale, Florida, USA, November 3-5, 2011) [Contribution to conference proceedings]

S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara, Fuzzy Conformance Checking of Observed Behaviour with Expectations, in: AI*IA 2011: Artificial Intelligence Around Man and Beyond, BERLIN, Springer-Verlag, 2011, 6934, pp. 80 - 91 (atti di: AI*IA 2011 - Artificial Intelligence Around Man and Beyond - Twelfth International Conference on Advances in Artificial Intelligence - Italian Association for Artificial Intelligence (AI*IA)., Palermo, Italy, September 15-17, 2011) [Contribution to conference proceedings]

F. Chesani; P. Mello; M. Montali; P. Torroni, Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions., «INTELLIGENZA ARTIFICIALE», 2011, 5 (1), pp. 101 - 105 [Scientific article]

F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring time-aware commitments within agent-based simulation environments, «CYBERNETICS AND SYSTEMS», 2011, 42, pp. 546 - 566 [Scientific article]

D. Sottara; P. mello; M. Proctor, A configurable rete-oo engine for reasoning with different types of imperfect information., «IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING», 2010, 22 (11), pp. 1535 - 1548 [Scientific article]

F. Chesani; P. Mello; M. Montali; P. Torroni, A Logic-Based, Reactive Calculus of Events, «FUNDAMENTA INFORMATICAE», 2010, 105(1-2), pp. 135 - 161 [Scientific article]

S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A rule-based implementation of fuzzy tableau reasoning, in: Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings, BERLIN-HEIDELBERG, Springer-Verlag, 2010, 6403, pp. 35 - 49 (atti di: Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA., October 21-23, 2010.) [Contribution to conference proceedings]

S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules, in: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings, BERLING-HEIDELBERG, Springer-Verlag, 2010, 6333, pp. 227 - 230 (atti di: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010., Bressanone/Brixen, Italy., September 22-24, 2010.) [Contribution to conference proceedings]

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

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

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

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

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

Latest news

At the moment no news are available.