Pubblicazioni

Tse R.; Mirri S.; Tang S.-K.; Pau G.; Salomoni P., Modelling and visualizing people flow in smart buildings: A case study in a university campus, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, Association for Computing Machinery, Inc, 2021, pp. 309 - 312 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, ita, 2021) [Contributo in Atti di convegno]

Ilaria Bartolini; Andrea Di Luzio, Cataplexy Detection: Neurologists, You Are Not Alone!, in: S. Greco, M. Lenzerini, E. Masciari, A. Tagarelli, SEBD 2021 - Italian Symposium on Advanced Database Systems, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 2994, pp. 315 - 322 (atti di: 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021) [Contributo in Atti di convegno] Open Access

Accattoli B.; Condoluci A.; Sacerdoti Coen C., Strong Call-by-Value is Reasonable, Implosively, in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021-, pp. 1 - 14 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, 2021) [Contributo in Atti di convegno] Open Access

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor, A Mechanism for Reasoning over Defeasible Preferences in Arg2P, in: CILC 2021 – Italian Conference on Computational Logic. Proceedings of the 36th Italian Conference on Computational Logic, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 3002, pp. 16 - 30 (atti di: 36th Italian Conference on Computational Logic (CILC 2021), Parma, Italy, 7–9 September 2021) [Contributo in Atti di convegno] Open Access

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt, in: Logics in Artificial Intelligence. JELIA 2021., Cham, Springer Nature, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12678, pp. 407 - 420 (atti di: 17th European Conference on Logics in Artificial Intelligence (JELIA 2021), Virtual Event, 17–20 May 2021) [Contributo in Atti di convegno] Open Access

Roberta Calegari, Andrea Omicini, Giovanni Sartor, Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming, in: AIxIA 2020 – Advances in Artificial Intelligence, Cham, Springer Nature, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12414, pp. 19 - 36 (atti di: The 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), Virtual Event, 25–27 November 2020) [Contributo in Atti di convegno] Open Access

Francia M.; Gallinucci E.; Golfarelli M., Conversational OLAP, in: SEBD 2021 - Italian Symposium on Advanced Database Systems, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2021, 2994, pp. 403 - 410 (atti di: 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021) [Contributo in Atti di convegno] Open Access

Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12561, pp. 192 - 209 (atti di: 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, ita, 2020) [Contributo in Atti di convegno]

Bettina Fazzinga, Andrea Galassi, Paolo Torroni, A Preliminary Evaluation of a Privacy-Preserving Dialogue System, in: Proceedings of the Fifth Workshop on Natural Language for Artificial Intelligence (NL4AI 2021) co-located with 20th International Conferenceof the Italian Association for Artificial Intelligence (AI*IA 2021), Aachen, CEUR-WS.org, «CEUR WORKSHOP PROCEEDINGS», 2021, 3015, pp. 1 - 15 (atti di: NL4AI: Workshop on Natural Language for Artificial Intelligence, Online, 29 November 2021) [Contributo in Atti di convegno] Open Access

Wong K.L.; Bosello M.; Tse R.; Falcomer C.; Rossi C.; Pau G., Li-Ion batteries state-of-charge estimation using deep LSTM at various battery specifications and discharge cycles, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, Association for Computing Machinery, Inc, 2021, pp. 85 - 90 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, Roma, Italy, September 9 - 11, 2021) [Contributo in Atti di convegno] Open Access

Sovrano, Francesco; Vitali, Fabio; Palmirani, Monica, Making Things Explainable vs Explaining: Requirements and Challenges Under the GDPR, in: AI Approaches to the Complexity of Legal Systems XI-XII. AICOL AICOL XAILA 2020 2018 2020, Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 13048, pp. 169 - 182 (atti di: nternational Workshop on AI Approaches to the Complexity of Legal Systems (AICOL) / 3rd Workshop on Explainable and Responsible AI in Law (XAILA) at 33rd International Conference on Legal Knowledge and Information Systems (JURIX), ELECTR NETWORK, DEC 09-11, 2020) [Contributo in Atti di convegno] Open Access

Kasper Drawzeski, Andrea Galassi, Agnieszka Jablonowska, Francesca Lagioia, Marco Lippi, Hans Wolfgang Micklitz, Giovanni Sartor, Giacomo Tagiuri, Paolo Torroni, A Corpus for Multilingual Analysis of Online Terms of Service, in: Proceedings of the Natural Legal Language Processing Workshop 2021, Punta Cana, Association for Computational Linguistics, 2021, pp. 1 - 8 (atti di: Natural Legal Language Processing, Punta Cana, Dominican Republic, 2021) [Contributo in Atti di convegno] Open Access

de Gregorio D.; Zanella R.; Palli G.; Di Stefano L., Effective deployment of CNNs for 3DOF pose estimation and grasping in industrial settings, in: 2020 25TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION (ICPR), Institute of Electrical and Electronics Engineers Inc., «INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION», 2021, pp. 7419 - 7426 (atti di: 25th International Conference on Pattern Recognition, ICPR 2020, ita (ELECTR NETWORK), 2021) [Contributo in Atti di convegno] Open Access

Palmirani, Monica; Sovrano, Francesco; Liga, Davide; Sapienza, Salvatore; Vitali, Fabio, Hybrid AI Framework for Legal Analysis of the EU Legislation Corrigenda, in: Legal Knowledge and Information Systems, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2021, pp. 68 - 75 (atti di: JURIX 2021: 34th International Conference on Legal Knowledge and Information Systems, Mykolas Romeris University, Vilnius, Lithuania, December 8-10, 2021) [Contributo in Atti di convegno] Open Access

Sovrano, Francesco; Sapienza, Salvatore; Palmirani, Monica; Vitali, Fabio, A Survey on Methods and Metrics for the Assessment of Explainability Under the Proposed AI Act, in: Legal Knowledge and Information Systems, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2021, pp. 235 - 242 (atti di: JURIX 2021: 4th International Conference on Legal Knowledge and Information Systems, Mykolas Romeris University, Vilnius, Lithuania, December 8-10, 2021) [Contributo in Atti di convegno] Open Access

Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi, Towards Explainable Visionary Agents: License to Dare and Imagine, in: Explainable and Transparent AI and Multi-Agent Systems, Cham, Springer Nature, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12688, pp. 139 - 157 (atti di: 3rd International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2021), Virtual Event, 3–7 May 2021) [Contributo in Atti di convegno] Open Access

Molan M.; Borghesi A.; Beneventi F.; Guarrasi M.; Bartolini A., An Explainable Model for Fault Detection in HPC Systems, in: High Performance Computing. ISC High Performance 2021, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2021, 12761, pp. 378 - 391 (atti di: International Conference on High Performance Computing, ISC High Performance 2021, ONLINE, 2021) [Contributo in Atti di convegno] Open Access

Rosa, Lorenzo; Song, Weijia; Foschini, Luca; Corradi, Antonio; Birman, Ken, DerechoDDS: Strongly Consistent Data Distribution for Mission-Critical Applications, in: MILCOM 2021 - 2021 IEEE Military Communications Conference (MILCOM), 2021, pp. 684 - 689 (atti di: MILCOM 2021 - 2021 IEEE Military Communications Conference (MILCOM), San Diego (USA), 29 Nov.-2 Dec. 2021) [Contributo in Atti di convegno]

Montori F.; Zyrianoff Ivan Dimitry; Gigli L.; Venanzi R.; Sindaco S.; Aguzzi C.; Zonzini F.; Zauli M.; Testoni Nicola; Alessi Enrico; Di Felice M.; Bononi L.; Bellavista P.; De Marchi L.; Cinotti T.S., A Toolchain Architecture for Condition Monitoring Using the Eclipse Arrowhead Framework, in: IECON Proceedings (Industrial Electronics Conference), New York, IEEE, «PROCEEDINGS OF THE ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY», 2021, 2021-, pp. 1 - 6 (atti di: 47th Annual Conference of the IEEE Industrial Electronics Society, IECON 2021, can, 2021) [Contributo in Atti di convegno] Open Access

Sabbioni, Andrea; Rosa, Lorenzo; Bujari, Armir; Foschini, Luca; Corradi, Antonio, A Shared Memory Approach for Function Chaining in Serverless Platforms, in: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, pp. 1 - 6 (atti di: 2021 IEEE Symposium on Computers and Communications (ISCC), Athens, Greece, 5-8 Sept. 2021) [Contributo in Atti di convegno]