Logic Group at ISIPTA 2021

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

Postdoc in Logical Foundations of AI – Deadline 30th June 2021

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

Seminar Announcement (A. Aliseda)

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

Seminar Announcement (W. Holliday)

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

Assessing the Quality of Online Reviews Using Formal Argumentation Theory

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

Seminar Announcement (A. Novaro)

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

Seminar Announcement (S. Beckers)

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

Seminar Announcement (R. Kuznets)

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