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, […]

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 […]

Talk by Vaishak Belle


The next talk of our seminar series will be given by Vaishak Belle (University of Edinburgh) via Teams (please, see details below) on Monday, April 29th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Logic meets Learning: From Aristotle to Neural Networks Abstract: The tension between deduction and induction is perhaps the most fundamental issue […]

Talk by Valentin Goranko


The next talk of our seminar series will be given by Valentin Goranko (Stockholm University) via Teams (please, see details below) on Monday, April 15th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: A Logic for Strategic Reasoning of Rational Agents with Normative Constraints Abstract: I will present a logic-based study of agency and multi-agent […]

Talk by Thomas Bolander


The next talk of our seminar series will be given by Thomas Bolander (Technical University of Denmark) via Teams (please, see details below) on Monday, April 8th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: From Dynamic Epistemic Logic to Socially Intelligent Robots Abstract: Dynamic Epistemic Logic (DEL) can be used as […]

Talk by Christian Straßer


The next talk of our seminar series will be given by Christian Straßer (Ruhr University Bochum) via Teams (please, see details below) on Monday, March 11h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk: Title: Reasoning and explaining with norms and default Abstract: In this talk I will present a general framework […]

Talk by Eric Pacuit


The next talk of our seminar series will be given by Eric Pacuit (University of Maryland) via Teams (please, see details below) on Monday, March 4h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk: Title: From paradox to principles: Splitting cycles and breaking ties Abstract: Voting on two alternatives appears unproblematic compared […]