Chesani, Federico; Mello, Paola; Montali, Marco, Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation, in: Foundations of Intelligent Systems - Lecture Notes in Computer Science, Springer, 2017, 10352, pp. 3 - 16 (atti di: 23rd International Symposium on Intelligent Systems, ISMIS 2017, Warsaw, Poland, June 26-29, 2017) [Contribution to conference proceedings]
Loreti, Daniela; Chesani, Federico; Ciampolini, Anna; Mello, Paola, Distributed Compliance Monitoring of Business Processes over MapReduce Architectures, in: ICPE '17 Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion, 2017, pp. 79 - 84 (atti di: International Conference on Performance Engineering Companion, L'Aquila, April 22 - 26, 2017) [Contribution to conference proceedings]
Chesani, Federico; Ciampolini, Anna; Loreti, Daniela; Mello, Paola, Map reduce autoscaling over the cloud with process mining monitoring, in: Cloud Computing and Services Science. 6th International Conference, CLOSER 2016, Rome, Italy, April 23-25, 2016, Revised Selected Papers, 2017, 740, pp. 109 - 130 (atti di: The 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, Rome; Italy, 23 April 2016 through 25 April 2016;) [Contribution to conference proceedings]
Chesani, Federico; Mello, Paola; Milano, Michela, Solving Mathematical Puzzles: A Challenging Competition for AI, «AI MAGAZINE», 2017, 38, pp. 83 - 96 [Scientific article]
Chesani, F.; Mello, P.; Milano M., Solving mathematical puzzles: A deep reasoning challenge. Position Paper, in: F. Chesani, P. Mello, M. Milano, 2016 AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-Generation Intelligent Agents, URANIA 2016, CEUR WS, 2017, 1802, pp. 44 - 49 (atti di: URANIA Workshop, Convegno Associazione Italiana per l'Intelligenza Artificiale, Genova, 28 Novembre 2016) [Contribution to conference proceedings]
Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio, Abducing Compliance of Incomplete Event Logs, in: AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence - Proceedings. Lecture Notes in Computer Science, Berlin, Springer, 2016, 10037, pp. 208 - 222 (atti di: XVth International Conference of the Italian Association for Artificial Intelligence, Genova - Italy, November 29 - December 1, 2016) [Contribution to conference proceedings]
Chesani, Federico; Masellis, Riccardo De; Francescomarino, Chiara Di; Ghidini, Chiara; Mello, Paola; Montali, Marco; Tessaris, Sergio, Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes, in: Frontiers in Artificial Intelligence and Applications, AMSTERDAM, IOS Press, 2016, 285, pp. 1734 - 1735 (atti di: ECAI 2016 - 22nd European Conference on Artificial Intelligence, The Hague, The Netherlands, 29 August-2 September 2016,) [Poster]
Chesani, Federico; Ciampolini, Anna; Loreti, Daniela; Mello, Paola, Process Mining Monitoring for Map Reduce Applications in the Cloud, in: Proceedings of the 6th International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, SCITEPRESS-Science and Technology Publications, 2016, 1, pp. 95 - 105 (atti di: 6th International Conference on Cloud Computing and Services Science, CLOSER 2016, Rome; Italy, 23 April 2016 through 25 April 2016;) [Contribution to conference proceedings]
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco, Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes, in: Foundations of Biomedical Knowledge Representation, Berlin, Springer International Publishing, 2015, pp. 81 - 106 (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE) [Chapter or essay]
Montali, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola, Evaluating compliance: from LTL to abductive logic programming, in: Proceedings of the 30th Italian Conference on Computational Logic, 2015, 1459, pp. 101 - 116 (atti di: 30th Italian Conference on Computational Logic (CILC2015), Genova, July 1-3, 2015) [Contribution to conference proceedings]
S. Bragaglia; S. Di Monte; P. Mello, A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation, in: Proceedings Complex, Intelligent and Software Intensive Systems (CISIS), IEEE Computer Society, 2014, pp. 531 - 538 (atti di: Complex, Intelligent and Software Intensive Systems (CISIS), 2014 Eighth International Conference on, Birmingham, 2-4 July 2014) [Contribution to conference proceedings]
D. Sottara ; S. Bragaglia; D. Pulcini; P. Mello; L. Luccarini, A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors, in: Proceedings of the 7th International Congress on Environmental Modelling and Software, June 15-19, San Diego, California, USA., 2014, 1, pp. 485 - 492 (atti di: Proceedings of the 7th International Congress on Environmental Modelling and Software, San Diego, California, USA., June 15-19, 2014) [Contribution to conference proceedings]
Matteo Baldoni; Paola Mello; Fabrizio Riguzzi, Guest-editorial: 25 years of AI*IA, «INTELLIGENZA ARTIFICIALE», 2013, Volume 7, Number 2 / 2013, pp. 68 - 68 [Comment or similar]
Marco Montali; Fabrizio M. Maggi; Federico Chesani; Paola Mello; Wil M. P. van der Aalst, Monitoring business constraints with the event calculus, «ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY», 2013, 5, pp. 1 - 30 [Scientific article]
F. Chesani; P. Mello; M. Montali; P. Torroni, Representing and monitoring social commitments using the event calculus, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2013, 27, pp. 85 - 130 [Scientific article]
