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