[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 …
activity, with many proposals for languages and algorithms for inference and learning. This …
Lifted graphical models: a survey
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 …
types of entities, their attributes, and their diverse relations, as well as techniques for …
Lifted junction tree algorithm
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 …
formalisms, the standard approach for inference is lifted variable elimination. To benefit from …
Lifted inference with tree axioms
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 …
order sentence ϕ and domain size n∈ N, determine the weighted sum of models of ϕ over …
Lifted dynamic junction tree algorithm
Probabilistic models involving relational and temporal aspects need exact and efficient
inference algorithms. Existing approaches are approximative, include unnecessary …
inference algorithms. Existing approaches are approximative, include unnecessary …
Domain-lifted sampling for universal two-variable logic and extensions
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 …
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
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 …
tractable probabilistic inference with respect to domain sizes. To apply lifted inference, a …
Lifting in support of privacy-preserving probabilistic inference
Privacy-preserving inference aims to avoid revealing identifying information about
individuals during inference. Lifted probabilistic inference works with groups of …
individuals during inference. Lifted probabilistic inference works with groups of …
Faster lifting for two-variable logic using cell graphs
We consider the weighted first-order model counting (WFOMC) task, a problem with
important applications to inference and learning in structured graphical models. Bringing …
important applications to inference and learning in structured graphical models. Bringing …
Efficient detection of commutative factors in factor graphs
Lifted probabilistic inference exploits symmetries in probabilistic graphical models to allow
for tractable probabilistic inference with respect to domain sizes. To exploit symmetries in …
for tractable probabilistic inference with respect to domain sizes. To exploit symmetries in …