Our Lunch Seminar series continues on Monday, April 11th! Our speaker will be Alberto Termine ( University of Milan) who will give a talk on Model Checking Stochastic Multi Agent Systems with Imprecise Probabilities. See below for more information and the abstract: Abstract: Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to […]
Our Lunch Seminar series continues on Monday, April 4th! We will host Elaine Pimentel (UCL London) who will give a talk on Ecumenical systems: from natural deduction with stoup to pure modal systems. See below for more information and the abstract: Abstract: Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is […]
Abstract: Information transmission in social networks is riddled with issues of reliability and trustworthiness. One of the main sources of disinformation can be traced back to agents—human or artificial—whose political or cultural agenda is guided by conspiracy theories. Modelling and understanding the behaviour of such agents within social networks is therefore crucial to approach the […]
Our Lunch Seminar series continues on Monday, March 21st! We will host Ekaterina Kubyshkina (University of Campinas) who will give a talk on Ignorance as an excuse, formally See below for more information and the abstract: Abstract. In the current literature on epistemology there is a lively debate on which type of ignorance may provide […]
Assistant Professor of Logic (three-years fixed-term) The LUCI group is very happy to advertise a post for a fixed-term Assistant Professor (RTD-a) in “Logic for AI“Deadline 23 March 2022 (12 noon, strict deadline) Please see our open positions page for further details
Our Lunch Seminar series continues on Monday, March 7! We will host Giuseppe Sergioli (University of Cagliari) who will give a talk on Quantum Information and Machine Learning. From foundations to real applications See below for more information and the abstract: Abstract. This talk is about the connection between quantum in-formation theory and machine learning. […]
Our Lunch Seminar series re-starts on Monday, February 21! We will host Francesca Toni (Imperial College London) who will give a talk on Argument graphs and assumption-based argumentation. See below for more information and the abstract: Abstract: Arguments in structured argumentation are usually defined as trees, and extensions as sets of such tree-based arguments with […]
The LUCI Group is now officially a member of the TAILOR network, an European research network for Artificial Intelligence. We are excited to join the European effort towards trustworthy and human-centred AI with our logic-based research and activities!
The LUCI Group is now officially a member of the CLAIRE Research Network, the Confederation of Laboratories for Artificial Intelligence Research in Europe. We are excited to join the European effort towards trustworthy and human-centred AI with our logic-based research and activities!
Tomorrow we will have our last LUCI Lunch Seminar before the break! Starting from 1 PM CET, Richard Booth from the University of Cardiff will give a talk on Conditional Inference under Disjunctive Rationality. Please find the link and more information below: Title: Conditional Inference under Disjunctive Rationality Abstract: The question of conditional inference, i.e., […]
