Pubblicazioni

Simone Martini, The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 13 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contributo in Atti di convegno] Open Access

Galassi Andrea, Drazewski Kasper, Lippi Marco , Torroni Paolo, Cross-lingual Annotation Projection in Legal Texts, in: Proceedings of the 28th International Conference on Computational Linguistics, International Committee on Computational Linguistics, 2020, pp. 915 - 926 (atti di: The 28th International Conference on Computational Linguistics, arcelona, Spain (Online), December 8-13, 2020) [Contributo in Atti di convegno] Open Access

Zichichi Mirko, Ferretti Stefano, D'Angelo Gabriele, Victor Rodríguez-Doncel, Personal Data Access Control Through Distributed Authorization, in: 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), IEEE Institute of Electrical and Electronics Engineers Inc., 2020, pp. 1 - 4 (atti di: 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, USA, USA (Online), Novembre 2020) [Contributo in Atti di convegno] Open Access

Dennunzio, Alberto; Formenti, Enrico; Margara, Luciano; Montmirail, Valentin; Riva, Sara, Solving Equations on Discrete Dynamical Systems, in: Computational Intelligence Methods for Bioinformatics and Biostatistics, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12313, pp. 119 - 132 (atti di: Computational Intelligence Methods for Bioinformatics and Biostatistics, Bergamo, 4-6 September, 2019) [Contributo in Atti di convegno]

Amadini R.; Gange G.; Schachte P.; Sondergaard H.; Stuckey P.J., String constraint solving: Past, present and future, in: Frontiers in Artificial Intelligence and Applications, IOS Press BV, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 325, pp. 2875 - 2876 (atti di: 24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020, Santiago de Compostela, Spain, 2020) [Contributo in Atti di convegno] Open Access

Amadini, Roberto; Gange, Graeme; Stuckey, Peter J., Dashed Strings and the Replace(-all) Constraint, in: Principles and Practice of Constraint Programming. CP 2020., «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12333, pp. 3 - 20 (atti di: CP 2020., Leuven, September 2020) [Contributo in Atti di convegno]

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro, Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation, in: Service-Oriented Computing - 18th International Conference, {ICSOC} 2020, Dubai, United Arab Emirates, December 14-17, 2020, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12571, pp. 416 - 430 (atti di: 18th International Conference, {ICSOC} 2020, Dubai, United Arab Emirates, December 14-17, 2020) [Contributo in Atti di convegno] Open Access

Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro, The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl--Leibniz-Zentrum f{"u}r Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 21 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contributo in Atti di convegno] Open Access

Andrea Omicini, Not just for humans: Explanation for agent-to-agent communication, in: AIxIA 2020 DP – AIxIA 2020 Discussion Papers Workshop, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2020, 2776, pp. 1 - 11 (atti di: AIxIA 2020 Discussion Papers Workshop, Online event, 27 November 2020) [Contributo in Atti di convegno] Open Access

Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini, An Abstract Framework for Agent-Based Explanations in AI, in: 19th International Conference on Autonomous Agents and MultiAgent Systems, International Foundation for Autonomous Agents and Multiagent Systems, «AAMAS CONFERENCE PROCEEDINGS», 2020, pp. 1816 - 1818 (atti di: 19th International Conference on Autonomous Agents and MultiAgent Systems, Auckland, New Zealand, 9-13 May 2020) [Contributo in Atti di convegno]

Serena L.; Ferretti S.; D'Angelo G., DiLeNA: Distributed ledger network analyzer, in: CRYBLOCK 2020 - Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiCom 2020, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 41 - 46 (atti di: 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CRYBLOCK 2020 - Part of MobiCom 2020, gbr, 2020) [Contributo in Atti di convegno]

Serena L.; D'Angelo G.; Ferretti S., Implications of dissemination strategies on the security of distributed ledgers, in: CRYBLOCK 2020 - Proceedings of the 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiCom 2020, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 65 - 70 (atti di: 3rd Workshop on Cryptocurrencies and Blockchains for Distributed Systems, CRYBLOCK 2020 - Part of MobiCom 2020, gbr, 2020) [Contributo in Atti di convegno]

Berardi D.; Callegati F.; Melis A.; Prandini M., Sustainable Infrastructure Monitoring for Security-Oriented Purposes, in: ACM International Conference Proceeding Series, ;2 Penn Plaza, Suite 701, Association for Computing Machinery, 2020, pp. 48 - 53 (atti di: 6th EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2020, mex, 2020) [Contributo in Atti di convegno]

Sovrano, Francesco; Palmirani, Monica; Vitali, Fabio, Deep learning based multi-label text classification of UNGA resolutions, in: ICEGOV 2020: Proceedings of the 13th International Conference on Theory and Practice of Electronic Governance, New York, ACM Association for Computing Machinery, 2020, pp. 686 - 695 (atti di: ICEGOV 2020: International Conference on Theory and Practice of Electronic Governance, Athen, 23-25 September 2020) [Contributo in Atti di convegno] Open Access

Francesco Sovrano, Monica Palmirani, Fabio Vitali, Legal Knowledge Extraction for Knowledge Graph Based Question-Answering, in: Legal Knowledge and Information Systems JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9–11, 2020, Amsterdam, IOS, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 334, pp. 143 - 153 (atti di: Legal Knowledge and Information Systems (JURIX 2020), 33rd International Conference., Brno, Czech Republic, December 9–11, 2020) [Contributo in Atti di convegno] Open Access

Calegari, Roberta; Sartor, Giovanni, A Model for the Burden of Persuasion in Argumentation, in: Villata, Serena and Harašta, Jakub and Křemen, Petr, Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference, Amsterdam, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, 334, pp. 13 - 22 (atti di: Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, 9-11 december 2020) [Contributo in Atti di convegno] Open Access

Calegari, Roberta; Contissa, Giuseppe; Pisano, Giuseppe; Sartor, Galileo; Sartor, Giovanni, Arg-tuProlog: A Modular Logic Argumentation Tool for PIL, in: Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference, Amsterdam, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2020, pp. 265 - 268 (atti di: Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference, Brno, Czech Republic, 9-11 december 2020) [Contributo in Atti di convegno] Open Access

Croatti, Angelo; Ricci, Alessandro, From Virtual Worlds to Mirror Worlds: A Model and Platform for Building Agent-Based eXtended Realities, in: Multi-Agent Systems and Agreement Technologies, Springer International Publishing, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2020, 12520, pp. 459 - 474 (atti di: EUMAS: European Conference on Multi-Agent Systems, Thessaloniki, Greece, 14th-15th September, 2020) [Contributo in Atti di convegno]

Bravetti M.; Francalanza A.; Golovanov I.; Huttel H.; Jakobsen M.S.; Kettunen M.K.; Ravara A., Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Berlin, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2020, 12470, pp. 105 - 124 (atti di: 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, Fukuoka, Japan, November 30-December 2, 2020) [Contributo in Atti di convegno] Open Access

CEYLAN İSMAIL İLKAN; LUKASIEWICZ THOMAS; MALIZIA E; MOLINARO CRISTIAN; VAICENAVIČIUS ANDRIUS, Explanations for Negative Query Answers under Existential Rules, in: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020, pp. 223 - 232 (atti di: KR 2020, Rhodes, Greece - Online, 12/09/2020 - 18/09/2020) [Contributo in Atti di convegno]