Seminars
We are excited to announce that our Logic Seminars Series will re-start
next week
every Thursday over lunchtime! If you don’t want to miss out, see the list of our amazing invited speakers below, and don’t forget to save the dates on your calendars!
We are delighted to announce that our series of Lunch Seminars is back! Check out the list of our invited speakers below. Our invited speakers are:
Marija Slavkovik
, University of Bergen (13 October 2021)
Riccardo Guidotti
, University of Pisa (27 October 2021)
Giuseppe Sanfilippo
, University of Palermo (10 November 2021)
Francesca Zaffora Blando
, Carnegie Mellon University (24 Novembre 2021)
Alessandro Aldini
, University of Urbino (1 December 2021)
Richard Booth
, Cardiff University (15 December 2021)
All talks will take place at 1 PM CET.
14 Dec 2021 · Seminar
The question of conditional inference, i.e., of which conditional sentences of the form “if α then, normally, β” should follow from a set KB of such sentences, has been one of the classic questions of AI, with several well-known solutions proposed. Perhaps…
1 Dec 2021 · Seminar
The formal description and verification of large networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this lecture, we will explore the…
22 Nov 2021 · Seminar
The theory of algorithmic randomness has its roots in Richard von Mises’ work on the foundations of probability. Von Mises was a fervent proponent of the frequency interpretation of probability, which he supplemented with a (more or less) formal definition…
8 Nov 2021 · Seminar
In the subjective theory of probability of de Finetti, given any event A, the probability P(A) represents the degree of belief on A. In order to assess P(A), in the betting framework, one agrees to pay, for instance, P(A) by receiving 1 or 0 according to…
27 Oct 2021 · Seminar
Artificial Intelligence (AI) is nowadays one of the most important scientific and technological areas, with a tremendous socio-economic impact and a pervasive adoption in every field of the modern society. Many applications in different fields, such as…
12 Oct 2021 · Seminar
Speaker : Marija Slavkovik (University of Bergen), website: http://slavkovik.com Title : Machine Ethics: Introduction to the Area and Research Challenges Abstract : The talk introduces the research area of machine ethics which tries to answer the question…
3 Jun 2021 · Seminar
In this talk I will start by presenting some challenges for the formal modeling of medical diagnosis and then introduce an Adaptive Logic: LATAr, which together with a contraction procedure RETRO and a way to distinguish kinds of premises (knowledge,…
20 May 2021 · Seminar
In this talk, based on joint work with Yifeng Ding and Thomas Icard (at https://escholarship.org/uc/item/1m3156ps ), I will discuss a logical perspective on connections between two alternatives to the standard probability calculus for representing and…
22 Apr 2021 · Seminar
In this talk, I will present a framework for collective decision-making where the agents have to vote on a given issue, but they can also choose to delegate their vote (if, for instance, they did not have the time or expertise to take a stance on the issue…
8 Apr 2021 · Seminar
In recent years, non-monotonic Inductive Logic Programming (ILP) has received growing interest. Specifically, several new learning frameworks and algorithms have been introduced for learning under the answer set semantics, allowing the learning of…
25 Mar 2021 · Seminar
Pearl opened the door to formally defining actual causation using causal models. His approach rests on two strategies: first, capturing the widespread intuition that X = x causes Y = y iff X = x is a Necessary Element of a Sufficient Set for Y = y, and…
11 Mar 2021 · Seminar
Justification Logic was introduced by Sergei Artemov, under the name of Logic of Proofs, in 1995 as a refinement of modal logic with explicit terms in place of the necessity/provability/knowledge modality. Over the years, multiple modal logics have…
20 Feb 2021 · Seminar
This talk will present a point of view over the combination of logic and probability theory. I will first discuss two widely adopted logic languages: logic programming and description logics. After the illustration of similarities and differences, I will…