Pubblicazioni

I. Bartolini, M. Patella, Rammed, or What RAM^3S Taught Us, in: Proceedings Series by ACM of 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS2020), New York, Association for Computing Machinery, 2020, pp. 11 - 15 (atti di: 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS2020), Chiang Mai, Thailand, 30 November - 2 December 2020) [Contributo in Atti di convegno]

Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor, Arg-tuProlog: A tuProlog-based argumentation framework, in: CILC 2020 – Italian Conference on Computational Logic. Proceedings of the 35th Italian Conference on Computational Logic, Aachen, CEUR-WS c/o Redaktion Sun SITE, Informatik V, RWTH Aachen, «CEUR WORKSHOP PROCEEDINGS», 2020, 2719, pp. 51 - 66 (atti di: CILC 2020 – Italian Conference on Computational Logic, Rende, CS, Italy, 13-15 October 2020) [Contributo in Atti di convegno] Open Access

Bortoli M.; Furini M.; Mirri S.; Montangero M.; Prandi C., Conversational Interfaces for a Smart Campus: A Case Study, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 1 - 5 (atti di: 2020 International Conference on Advanced Visual Interfaces, AVI 2020, Island of Ischia, ita, 2020) [Contributo in Atti di convegno]

Casadei R.; Viroli M.; Ricci A., Collective Adaptive Systems as Coordination Media: The Case of Tuples in Space-Time, in: 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Los Alamitos, IEEE, 2020, pp. 139 - 144 (atti di: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, ACSOS-C 2020, Washington, DC, USA, Aug 17, 2020 - Aug 21, 2020) [Contributo in Atti di convegno] Open Access

Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini, Engineering Semantic Self-composition of Services Through Tuple-Based Coordination, in: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, Cham, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12477, pp. 205 - 223 (atti di: 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Rhodes, Greece, 20-30 October 2020) [Contributo in Atti di convegno] Open Access

Ottavi G.; Garofalo A.; Tagliavini G.; Conti F.; Benini L.; Rossi D., A mixed-precision RISC-V processor for extreme-edge DNN inference, in: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, IEEE Computer Society, «PROCEEDINGS IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI», 2020, 2020-, pp. 512 - 517 (atti di: 19th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Cyprus, 2020) [Contributo in Atti di convegno] Open Access

Mambelli G.; Prandi C.; Mirri S., What influences sentiment analysis on social networks: A case study, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 6 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]

Furini M.; Mirri S.; Montangero M.; Prandi C., Untangling between fake-news and truth in social media to understand the Covid-19 Coronavirus, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 6 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]

Changjiang Cai, Matteo Poggi, Stefano Mattoccia, Philippos Mordohai, Matching-space Stereo Networks for Cross-domain Generalization, in: Proceedings of the 8th International Virtual Conference on 3D Vision (3DV 2020), 2020, pp. 364 - 373 (atti di: 8th International Virtual Conference on 3D Vision (3DV 2020), Online conference due to COVID-19, November 25-28 2020) [Contributo in Atti di convegno]

Ribeiro M.; Nisi V.; Prandi C.; Nunes N., A data visualization interactive exploration of human mobility data during the COVID-19 outbreak: A case study, in: Proceedings - IEEE Symposium on Computers and Communications, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS», 2020, 2020-, pp. 1 - 6 (atti di: 2020 IEEE Symposium on Computers and Communications, ISCC 2020, fra, 2020) [Contributo in Atti di convegno]

Donatiello L.; Gasparini L.; Marfia G., Laying the path to consumer-level immersive simulation environments, in: Proceedings of the 2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020, Institute of Electrical and Electronics Engineers Inc., 2020, pp. 1 - 4 (atti di: 24th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2020, cze, 2020) [Contributo in Atti di convegno]

Bosello M.; Ricci A., From programming agents to Educating agents – A jason-based framework for integrating learning in the development of cognitive agents, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12058, pp. 175 - 194 (atti di: 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, can, 2019) [Contributo in Atti di convegno]

Frisoni G.; Moro G.; Carbonaro A., Learning interpretable and statistically significant knowledge from unlabeled corpora of social text messages: A novel methodology of descriptive text mining, in: Proceedings of the 9th International Conference on Data Science, Technology and Applications - DATA, SciTePress, 2020, pp. 121 - 132 (atti di: 9th International Conference on Data Science, Technology and Applications, DATA 2020, Online Streaming, Jul 7, 2020 - Jul 9, 2020) [Contributo in Atti di convegno] Open Access

Alice Tartarini, Elvis Mazzoni, Martina Benvenuti, Catia Prandi, Silvia Mirri, Sara Giovagnoli, Using educational robot and tablet to improve wayfinding in children, in: Proceedings of the Second Symposium on Psychology-Based Technologies, «CEUR WORKSHOP PROCEEDINGS», 2020, pp. 1 - 10 (atti di: 2nd Symposium of Psychology-Based Technologies, PSYCHOBIT 2020, Napoli, 28-29 settembre 2020) [Contributo in Atti di convegno] Open Access

Giacomo Frisoni, Gianluca Moro, Antonella Carbonaro, Unsupervised Descriptive Text Mining for Knowledge Graph Learning, in: Proceedings of the 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020), 2020, 1, pp. 316 - 324 (atti di: 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - IC3K 2020, Budapest, Hungary, Nov 2, 2020 - Nov 4, 2020) [Contributo in Atti di convegno] Open Access

Davide Berardi, Franco Callegati, Andrea Melis, Marco Prandini, TechNETium: Atomic Predicates and Model Driven Development to Verify Security Network Policies, in: 2020 IEEE 17th Annual Consumer Communications Networking Conference (CCNC), 2020, pp. 1 - 6 (atti di: 2020 IEEE 17th Annual Consumer Communications Networking Conference (CCNC), Las Vegas, January 2020) [Contributo in Atti di convegno]

Roberta Calegari, Andrea Omicini, Giovanni Sartor, Argumentation and Logic Programming for Explainable and Ethical AI, in: XAI.it 2020 – Italian Workshop on Explainable Artificial Intelligence 2020, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2020, 2742, pp. 55 - 68 (atti di: XAI.it 2020 – Italian Workshop on Explainable Artificial Intelligence 2020, Online event, 25-26 November 2020) [Contributo in Atti di convegno] Open Access

Roberta Calegari, Andrea Omicini, Giovanni Sartor, Computable Law as Argumentation-based MAS, in: WOA 2020 – Proceedings of the 21st Workshop "From Objects to Agents", Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2020, 2706, pp. 54 - 68 (atti di: 21st Workshop "From Objects to Agents" (WOA 2020), Bologna, Italy, 14-16 September 2020) [Contributo in Atti di convegno] Open Access

Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Neuro-symbolic Computation for XAI: Towards a Unified Model, in: WOA 2020 – Proceedings of the 21st Workshop "From Objects to Agents", Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2020, 2706, pp. 101 - 117 (atti di: 21st Workshop "From Objects to Agents" (WOA 2020), Bologna, Italy, 14–16 September 2020) [Contributo in Atti di convegno] Open Access

Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini, 2P-Kt: logic programming with objects & functions in Kotlin, in: WOA 2020 – Proceedings of the 21st Workshop "From Objects to Agents", Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2020, 2706, pp. 219 - 236 (atti di: 21st Workshop "From Objects to Agents" (WOA 2020), Bologna, Italy, 14–16 September 2020) [Contributo in Atti di convegno] Open Access