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]
M. Montali; F. Chesani; P. Mello; F. M. Maggi, Towards data-aware constraints in declare, in: SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, New York, ACM, 2013, pp. 1391 - 1396 (atti di: 28th Annual ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, 18-22 March 2013) [Contribution to conference proceedings]
P. Torroni; F. Chesani; P. Mello; M. Montali, A retrospective on the reactive event calculus and commitment modeling language, in: Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers, HEIDELBERG, Springer-Verlag, 2012, pp. 120 - 127 (LECTURE NOTES IN COMPUTER SCIENCE) [Chapter or essay]
S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Rule-Based Calculus and Processing of Complex Events, in: Rules on the Web: Research and Applications, Berlin, Springer Verlag, 2012, 7438, pp. 151 - 166 (atti di: 6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, Montpellier, France, 27-29 August 2012) [Contribution to conference proceedings]
