We are happy to announce that our three papers P. Baldi and H. Hosni, Logical Approximations of Qualitative Probability. A. Termine, A. Antonucci, A. Facchini and G. Primiero, Robust Model Checking with Imprecise Markov Reward Models. E. A. Corsi, T. Flaminio and H. HosniWhen Belief Functions and Lower Probabilities are Indistinguishable. are now available online […]
The Logic Group is thrilled to advertise a postdoc position (two years, renewable) within the project “Logical Foundations of AI“ The project will be developed within a research line contributing to bridging the gap between statistical methodologies at the basis of (supervised, unsupervised) Machine Learning and Logic in the development of AI. We aim to […]
Next week, our Logic Seminar Series continues, again as a Logic Aperitivo! The next talk will be given by Atocha Aliseda (UNAM) on June 3rd, starting at 18:00. Save the date and join us on Zoom! Title: The role of Hypothesis in Medical Diagnosis: a Logical Challenge Abstract: In this talk I will start by presenting some challenges for the formal […]
Starting from this week, our Logic Lunch Seminar Series changes its usual starting time, and turns into a Logic Aperitivo! The next talk will be given by Wesley Holliday (University of California, Berkeley) on May 20th, starting at 18:00. Save the date and join us on Zoom! Title: Logics of Imprecise, Comparative, and Regular Probability […]
Review scores collect users’ opinions in a simple and intuitive manner. However, review scores are also easily manipulable, hence they are often accompanied by explanations. A substantial amount of research has been devoted to ascertaining the quality of reviews, to identify the most useful and authentic scores through explanation analysis. In this paper, we advance […]
Don’t miss out on our next seminar of the Logic Lunch series! Next Thursday (April 22nd), Arianna Novaro (ILLC Amsterdam) will talk about Unravelling multi-agent ranked delegations, starting at 12:30. Save the date and join us on Zoom! Please find more information below, and follow us on Twitter and Instagram for more events and activities. […]
We are happy to announce that on April 8th, Mark Law (Imperial College London) will give the fourth talk of our Logic Lunch seminar series, starting at 12:30. Join us on Zoom at this link! And don’t forget to follow us on Twitter and Instagram to keep up to date with our news and events. […]
Our Logic Lunch Seminar Series continues this week. Sander Beckers (MCMP Munich) will give the next talk on March 25th, starting at 12:30. Save the date and join us on Zoom at this link! Please find more information below, and follow us on Twitter and Instagram to keep up to date! Title: Causal Sufficiency and Actual Causation Abstract: Pearl opened […]
After a successful first talk given by Fabrizio Riguzzi, our Logic Lunch Seminar Series continues! The second talk will be delivered by Roman Kuznets (TU Wien) next Thursday (March 11th) starting at 12:30. Save the date and join us on Zoom at this link! Title: Intuiting Duals of Proofs Abstract: Justification Logic was introduced by Sergei […]
Last Thursday, Fabrizio Riguzzi from the University of Ferrara gave an excellent talk on Probabilistic Logics in the context of our Logic Lunch Seminar Series. You can watch the entire presentation in the video below: The slides of the talk are also available here.