54:54Alberto Termine - Model Checking Stochastic Multi Agent Systems with Imprecise Probabilities
Advanced
A 55-minute video from LUCI Lab: “Alberto Termine - Model Checking Stochastic Multi Agent Systems with Imprecise Probabilities”.
LUCI Lab
141 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
54:54
46:51Ekaterina Kubyshkina - Ignorance as an excuse, formally
Advanced
A 47-minute video from LUCI Lab: “Ekaterina Kubyshkina - Ignorance as an excuse, formally”.
52:21Elaine Pimentel - Ecumenical systems: from natural deduction with stoup to pure modal systems
Advanced
A 52-minute video from LUCI Lab: “Elaine Pimentel - Ecumenical systems: from natural deduction with stoup to pure modal systems”.
43:34Felix Weitkämper - Statistical relational AI and first-order logics of probability
A 44-minute video from LUCI Lab: “Felix Weitkämper - Statistical relational AI and first-order logics of probability”.
52:03Francesca Toni (Imperial College London): Argument graphs and assumption-based argumentation
Advanced
A 52-minute video from LUCI Lab: “Francesca Toni (Imperial College London): Argument graphs and assumption-based argumentation”.
51:41Giuseppe Sergioli: Quantum Information and Machine Learning. From foundations to real applications.
A 52-minute video from LUCI Lab: “Giuseppe Sergioli: Quantum Information and Machine Learning. From foundations to real applications.”.
50:25LUCI Lunch Seminars: Giuseppe Sanfilippo - Operations among conditional events under coherence
Advanced
A 50-minute video from LUCI Lab: “LUCI Lunch Seminars: Giuseppe Sanfilippo - Operations among conditional events under coherence”.
1:08:32LUCI Lunch Seminars: Marija Slavkovik - Machine ethics
Advanced
A 69-minute video from LUCI Lab: “LUCI Lunch Seminars: Marija Slavkovik - Machine ethics”.
42:37LUCI Lunch Seminars: Riccardo Guidotti - Exploiting Auto-Encoders for Explaining Black Box Classifie
Advanced
A 43-minute video from LUCI Lab: “LUCI Lunch Seminars: Riccardo Guidotti - Exploiting Auto-Encoders for Explaining Black Box Classifie”.
44:24Milano Logic Lunch: Sander Beckers - Causal Sufficiency and Actual Causation
Advanced
A 44-minute video from LUCI Lab: “Milano Logic Lunch: Sander Beckers - Causal Sufficiency and Actual Causation”.
50:53Milano Logic Lunch:Atocha Aliseda - The role of Hypothesis in Medical Diagnosis: a Logical Challenge
Advanced
A 51-minute video from LUCI Lab: “Milano Logic Lunch:Atocha Aliseda - The role of Hypothesis in Medical Diagnosis: a Logical Challenge”.
58:51Ole Thomassen Hjortland (University of Bergen) - Logical pluralism and abductivism in logic
Advanced
A 59-minute video from LUCI Lab: “Ole Thomassen Hjortland (University of Bergen) - Logical pluralism and abductivism in logic”.