News

Aug 30, 2026 Talk “Bounded Non-Monotonicity as a Framework for Commonsense Reasoning” (with P. Baldi) at AISC 2026, the 22nd Conference of the Italian Association for Cognitive Science, Turin, 9-11 September. It is scheduled in the “Reasoning Under Uncertainty” session on Thursday 10 September.
Jul 26, 2026 New arXiv preprint: An Unofficial FastLAS Tutorial: A Programmer’s Guide, a hands-on introduction to FastLAS for students and users, drawn from earlier lectures. Every example is checked against FastLAS 2.2.0; the task files are on GitHub.
Jul 19, 2026 At OVERLAY 2026 (FLoC) I presented Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero), and chaired one of the sessions.
Jul 05, 2026 In memoriam: Anthony (Tony) Hunter (UCL). It is with deep sadness that I remember Tony Hunter, a dear collaborator and one of the examiners of my PhD. A leading figure in computational argumentation and knowledge representation, he was as generous and kind as he was brilliant. He will be greatly missed by friends and colleagues at UCL, Imperial, and across our community.
Jul 04, 2026 Paper “Non-monotonic Bounded Reasoners” (with P. Baldi) accepted at the Logic & Cognition Conference (L&C 2026), Poznań.
Jun 29, 2026 Talk “Weighted Assumption-Based Argumentation” (with P. Baldi) in the symposium “Uncertain Reasoning and Computation” at the SILFS 2026 Triennial Conference, IUSS Pavia.
Jun 29, 2026 Paper with Daniele Fossemò and colleagues on explaining neural networks in preference learning via Inductive Logic Programming published in Theory and Practice of Logic Programming (TPLP).
Jun 23, 2026 Co-organising BEWARE 2026 (Bias, Ethical AI, Explainability and Logic) at AIxIA.
Jun 11, 2026 Invited talk at PACMAN 2026 (Proof, Argumentation, Computation, Modalities and Negation), University of Verona.
Jun 01, 2026 New JAIR article on reasoning about substitution in resource-transforming procedures.
Feb 26, 2026 Workshop Proceedings Chair for WSDM 2026, the 19th ACM International Conference on Web Search and Data Mining, in Boise, Idaho. The workshop papers are collected in the WSDM 2026 Workshops Companion (ACM), which I co-edited.
May 15, 2025 Invited talk at PACMAN 2025 (Roma Tre) on learning argumentation semantics.
May 01, 2025 Co-organising the 3rd “Logic for the AI Spring” summer school (eDefAI), Lecce.
Apr 28, 2025 Public-engagement webinar “Insegnare filosofia nell’era dell’IA” (with M. Badino), in the “Didattica digitale della Filosofia” series.
Jan 20, 2025 BEWARE 2024 proceedings (co-edited) published; new paper on weighted assumption-based argumentation (CILC 2025).
Sep 04, 2023 Talk “Are Turing Machines Predictable Entities?” in the symposium “A historical-critical re-reading of Turing’s Imitation Game” (with R. Gaudenzi, G. Longo, T. Numerico) at SILFS 2023, University of Urbino.