Seminars
The 2022 LUCI logic seminar series.
30 May 2022 · Seminar
It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of…
23 May 2022 · Seminar
Logical knowledge has often been considered exceptional, either because it is a priori, foundational, or simply self-evident. Against this, some anti-exceptionalists argue that knowledge of basic logical laws is not acquired via direct access, but through…
16 May 2022 · Seminar
After a general introduction to both components of the title, we will see how the lens of first-order logics of probability can suggest approaches to two interlinked problems in statistical relational AI, both of which have recently garnered much attention…
2 May 2022 · Seminar
Logical knowledge has often been considered exceptional, either because it is a priori, foundational, or simply self-evident. Against this, some anti-exceptionalists argue that knowledge of basic logical laws is not acquired via direct access, but through…
11 Apr 2022 · Seminar
Abstract: Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to the epistemic domain. Results in this direction have been achieved by epistemic extensions of Probabilistic Computation Tree Logic and related…
4 Apr 2022 · Seminar
Abstract : Natural deduction systems, as proposed by Gentzen and further studied by Prawitz, is one of the most well known proof-theoretical frameworks. Part of its success is based on the fact that natural deduction rules present a simple characterization…
21 Mar 2022 · Seminar
Abstract. In the current literature on epistemology there is a lively debate on which type of ignorance may provide a moral excuse. A good candidate is the one in which an agent has never considered or thought about a true proposition p . From a logical…
7 Mar 2022 · Seminar
Abstract. This talk is about the connection between quantum in- formation theory and machine learning. In particular, we show how quantum state discrimination can represent a useful tool to address the standard classification problem in machine learning….
21 Feb 2022 · Seminar
Abstract: Arguments in structured argumentation are usually defined as trees, and extensions as sets of such tree-based arguments with various properties depending on the particular argumentation semantics. However, these arguments and extensions may have…