News

  • The LUCI Lab is proud to announce the successful defence of Master’s thesis by Alison Bifolco

    Title: Building Trustworthy Autonomous Systems under Uncertainty: a Probabilistic Approach to Ethical Decision-Making Abstract: Autonomous systems, such as driverless cars and drones, are increasingly deployedacross various fields, promising significant socioeconomic benefits. However, thesesystems − especially fully autonomous ones − raise concerns regarding safety, ethics,and compliance with legal and social norms. Trustworthy autonomous systems must demonstrate…

  • Talks by E. Kubyshkina and G. Primiero at the workshop “Of People and Code”

    Centre for Philosophy of Sciences of the University of Lisbon Of People and Code – Epistemological, Ontological, and Formal Approaches to AI  28 November 2024  This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations,…

  • Project ReDa (Reasoning with Data) launch!

    Data abounds and our ability to process it algorithmically is unprecedented. This opens up to exciting prospects for scientific and technological advance which were unimaginable only two decades ago. Data-intensive and AI-driven methods are therefore likely to shape a significant proportion of science in the decades to come. This requires us to rethink the very…

  • MIRAI (Milano Responsible AI) takes off!

    We are excited to announce that our department is supporting MIRAI (Milano Responsible AI), its first spin-off! MIRAI is a platform for Responsible AI solutions and is a startup born from the results of the PRIN BRIO research project, funded by the MUR and led by Prof. Giuseppe Primiero. The project investigates the logical, epistemological…

  • Talk by Lourdes del Carmen González Huesca

    The next talk of our seminar series will be given by Lourdes del Carmen González Huesca (Universidad Nacional Autónoma de México) via Teams (please, see details below) on Monday, May 13th, starting from 16:00 CET. Here it is the title and abstract of her talk: Title: Non-classical Epistemic Axioms for Computer-Aided Verification Abstract: We have explored the adequacy of IS5 maintaining the…

  • Talk by Andrea Sabatini

    The next talk of our seminar series will be given by Andrea Sabatini (Scuola Normale Superiore) via Teams (please, see details below) on Monday, May 6th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Proofs and refutations: a structural approach to nonmonotonic reasoning Abstract: In this talk I will present a novel proof-theoretic approach to…

Archive