Publications

G. Primiero, D. Ceolin & F. Doneda. A computational model for assessing experts’ trustworthiness, Journal of Experimental & Theoretical Artificial Intelligence, 2023. DOI: 10.1080/0952813X.2023.2183272

D. Chiffi, S. Moroni & L. Zanetti. Types of Technological Innovation in the Face of Uncertainty. Philos. Technol. 35, 94 (2022). https://doi.org/10.1007/s13347-022-00587-3

Andrea Apicella, Salvatore Giugliano, Francesco Isgrò & Roberto Prevete. Exploiting auto-encoders and segmentation methods for middle-level explanations of image classification systems, Knowledge-Based Systems,
2022.

Daniele Chiffi & Francesco Curci, Types of Uncertainty: Cities from a Post-pandemic Perspective, New Metropolitan Perspectives. NMP 2022. Lecture Notes in Networks and Systems, vol. 482. Springer.

Nicola Angius & Giuseppe Primiero, Copying safety and liveness properties of computational artefacts, Journal of Logic and Computation, 2022.

Davide Ceolin, Giuseppe Primiero, Michael Soprano & Jan Wielemaker, Transparent assessment of information quality of online reviews using formal argumentation theory, Information Systems, Journal pre-print.

S. Arfini, D. Spinelli & D. Chiffi, Ethics of Self-driving Cars: A Naturalistic Approach. Minds & Machines (2022).

Stefano Moroni, Daniele Chiffi, Uncertainty and Planning: Cities, Technologies and Public Decision-Making. Perspectives on Science 2022; 30 (2): 237–259.

Lorenzo Prandi, Giuseppe Primiero. A logic for biassed information diffusion by paranoid agents in social networks.
Journal of Logic and Computation, 2022.

G. Tamburrini, The AI Carbon Footprint and Responsibilities of AI Scientists. Philosophies. 2022; 7(1):4.

Marco Larotonda and Giuseppe Primiero. A Depth-Bounded Semantics for Becoming Informed. In: P. Masci, C. Bernardeschi, P. Graziani, M. Koddenbrock and M. Palmieri (eds.) Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops. SEFM 2022. Lecture Notes in Computer Science, vol 13765. Springer, 2023.

Guido Boella, Fabio Aurelio D’Asaro, Abeer Dyoub & Giuseppe Primiero. BEWARE 2022: Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming. Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022) co-located with the 21th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2022). Udine, Italy, December 2, 2022.

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, and Nicolas Troquard. Almost certain termination for ALC weakening. In Goreti Marreiros, Bruno Martins, Ana Paiva, Bernardete Ribeiro, and Alberto Sardinha (eds.), Progress in Artificial Intelligence – 21st EPIA Conference on Artificial Intelligence, EPIA 2022, Lisbon, Portugal, August 31 – September 2, 2022, Proceedings, volume 13566 of Lecture Notes in Computer Science, pp. 663-675, 2022. (Best paper award EPIA 2022)

Guendalina Righetti, Oliver Kutz, Daniele Porello, and Nicolas Troquard. A game of essence and serendipity: Superb owls vs. cooking-woodpeckers. In Maria M. Hedblom, Anna Aurora Kantosalo, Roberto Confalonieri, Oliver Kutz, and Tony Veale (eds.), Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27 – July 1, 2022, pp. 300–309, 2022.

Guendalina Righetti, Daniele Porello, and Roberto Confalonieri. Evaluating the interpretability of threshold operators. In Oscar Corcho, Laura Hollink, Oliver Kutz, Nicolas Troquard, and Fajar J. Ekaputra (eds.), Knowledge Engineering and Knowledge Management – 23rd International Conference, EKAW 2022, Bolzano, Italy, September 26-29, 2022, Proceedings, volume 13514 of Lecture Notes in Computer Science, pp. 136–151, 2022.

Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz,Maria M. Hedblom, and Pietro Galliani. Asymmetric hybrids: Dialogues for computational concept combination (extended abstract). In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pp. 5329-5333, 2022.
(Sister Conferences Best Papers Track)

Giuseppe Primiero. Hyperintensions for Probabilistic Computations. In Pavel Materna and Bjørn Jespersen (eds.), Logically Speaking: A Festschrift for Marie Duží. Tributes vol. 49, College Publications, pp. 311-328, 2022.

Francesco A. Genco & Giuseppe Primiero. A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs. Submitted for Publication.

Fabio Aurelio D’Asaro & Giuseppe Primiero. Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System. Submitted for publication.