[BOEK][B] Foundations of Probabilistic Logic Programming: Languages, semantics, inference and learning

F Riguzzi - 2023 - taylorfrancis.com
Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of
activity, with many proposals for languages and algorithms for inference and learning. This …

Lifted graphical models: a survey

A Kimmig, L Mihalkova, L Getoor - Machine Learning, 2015 - Springer
Lifted graphical models provide a language for expressing dependencies between different
types of entities, their attributes, and their diverse relations, as well as techniques for …

Lifted junction tree algorithm

T Braun, R Möller - KI 2016: Advances in Artificial Intelligence: 39th Annual …, 2016 - Springer
We look at probabilistic first-order formalisms where the domain objects are known. In these
formalisms, the standard approach for inference is lifted variable elimination. To benefit from …

Lifted inference with tree axioms

T Van Bremen, O Kuželka - Artificial Intelligence, 2023 - Elsevier
We consider the problem of weighted first-order model counting (WFOMC): given a first-
order sentence ϕ and domain size n∈ N, determine the weighted sum of models of ϕ over …

Lifted dynamic junction tree algorithm

M Gehrke, T Braun, R Möller - … Structures, ICCS 2018, Edinburgh, UK, June …, 2018 - Springer
Probabilistic models involving relational and temporal aspects need exact and efficient
inference algorithms. Existing approaches are approximative, include unnecessary …

Domain-lifted sampling for universal two-variable logic and extensions

Y Wang, T Van Bremen, Y Wang… - Proceedings of the AAAI …, 2022 - ojs.aaai.org
Given a first-order sentence? and a domain size n, how can one sample a model of? on the
domain {1,..., n} efficiently as n scales? We consider two variants of this problem: the uniform …

Colour passing revisited: lifted model construction with commutative factors

M Luttermann, T Braun, R Möller… - Proceedings of the AAAI …, 2024 - ojs.aaai.org
Lifted probabilistic inference exploits symmetries in a probabilistic model to allow for
tractable probabilistic inference with respect to domain sizes. To apply lifted inference, a …

Lifting in support of privacy-preserving probabilistic inference

M Gehrke, J Liebenow, E Mohammadi, T Braun - KI-Künstliche Intelligenz, 2024 - Springer
Privacy-preserving inference aims to avoid revealing identifying information about
individuals during inference. Lifted probabilistic inference works with groups of …

Faster lifting for two-variable logic using cell graphs

T van Bremen, O Kuželka - Uncertainty in Artificial …, 2021 - proceedings.mlr.press
We consider the weighted first-order model counting (WFOMC) task, a problem with
important applications to inference and learning in structured graphical models. Bringing …

Efficient detection of commutative factors in factor graphs

M Luttermann, J Machemer, M Gehrke - arxiv preprint arxiv:2407.16280, 2024 - arxiv.org
Lifted probabilistic inference exploits symmetries in probabilistic graphical models to allow
for tractable probabilistic inference with respect to domain sizes. To exploit symmetries in …