Weighted Programming

no code implementations • 15 Feb 2022 • Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler

We study weighted programming, a programming paradigm for specifying mathematical models.

Probabilistic Programming

Probabilistic Data with Continuous Distributions

no code implementations • 28 Jan 2021 • Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner

In (Grohe, Kaminski, Katoen, Lindner; PODS 2020) we extend the declarative probabilistic programming language Generative Datalog, proposed by (B\'ar\'any et al.~2017) for discrete probability distributions, to continuous probability distributions and show that such programs yield generative models of continuous probabilistic databases.

Probabilistic Programming Databases