activity
20222026
most citedOn the relative asymptotic expressivity of inference frameworks

3 citations · 3 across the 11 of their papers we have counts for

collaborators

11 papers

cs.AI2026

From probability to causality in probabilistic logic programming

Zora Wurm, Kilian Rückschloß, Felix Weitkämper

Probabilistic logic programming is a formalism of statistical relational artificial intelligence that supports causal queries, including interventions from outside the system. When…

cs.AI2026

Logic Programming Semantics for Causal Processes

Felix Weitkämper

Motivated by challenging modelling issues in the life sciences, we investigate the relationship between logic programming semantics and the eventual states of causal processes comp…

cs.AI2025

How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics

Guus Eelink, Kilian Rückschloß, Felix Weitkämper

Bayesian networks and causal models provide frameworks for handling queries about external interventions and counterfactuals, enabling tasks that go beyond what probability distrib…

cs.AI2024

Understanding Domain-Size Generalization in Markov Logic Networks

Florian Chen, Felix Weitkämper, Sagar Malhotra

We study the generalization behavior of Markov Logic Networks (MLNs) across relational structures of different sizes. Multiple works have noticed that MLNs learned on a given domai…

cs.PL2023

SimPLoID: Harnessing probabilistic logic programming for infectious disease epidemiology

Felix Weitkämper, Ameen Almiftah, Kailin Sun

High quality epidemiological modelling is essential in order to combat the spread of infectious diseases. In this contribution, we present SimPLoID, an epidemiological modelling fr…

cs.LO2023

"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming

Kilian Rückschloß, Felix Weitkämper

Probabilistic logic programs are logic programs where some facts hold with a specified probability. Here, we investigate these programs with a causal framework that allows counterf…

cs.LO2023

On the Independencies Hidden in the Structure of a Probabilistic Logic Program

Kilian Rückschloß, Felix Weitkämper

Pearl and Verma developed d-separation as a widely used graphical criterion to reason about the conditional independencies that are implied by the causal structure of a Bayesian ne…

math.LO2023

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers

Vera Koponen, Felix Weitkämper

We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination…

cs.AI2022

The generalised distribution semantics and projective families of distributions

Felix Weitkämper

We generalise the distribution semantics underpinning probabilistic logic programming by distilling its essential concept, the separation of a free random component and a determini…

cs.LO2022★ 3 cited

On the relative asymptotic expressivity of inference frameworks

Vera Koponen, Felix Weitkämper

We consider logics with truth values in the unit interval . Such logics are used to define queries and to define probability distributions. In this context the notion of alm…

cs.AI2022

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies

Felix Weitkämper

Dependencies on the relative frequency of a state in the domain are common when modelling probabilistic dependencies on relational data. For instance, the likelihood of a school cl…