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 […]
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 […]
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 […]
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 […]
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 […]
The next talk of our seminar series will be given by Paolo Perrone (University of Oxford) via Teams (please, see details below) on Monday, March 18th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: Higher abstraction for probability and statistics Abstract: Probability and statistics are at the […]
On February 27 and February 28 at the Department of Philosophy (University of Milan), Prof. Sanjay Modgil (Reader in Artificial Intelligence at the Department of Informatics at King’s College London and visiting Professor at the Department of Philosophy at the University of Milan) taught a course entitled Truth, Logic and Dialogue. Recorded lectures are now available online, at the YouTube […]
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 […]
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 […]
Prof. Sanjay Modgil, Reader in Artificial Intelligence at the Department of Informatics at King’s College London and visiting Professor at the Department of Philosophy at the University of Milan, will teach a course entitled Truth, Logic and Dialogue, on February 27 (room 515, at 10:30) and on February 28 (room S. Antonio I, at 10:30) at the Department of Philosophy (University of Milan). Anyone who […]
