Picture for Ondrej Kuzelka

Ondrej Kuzelka

First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

Add code
Jan 26, 2022
Figure 1 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 2 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 3 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 4 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Viaarxiv icon

Learning with Molecules beyond Graph Neural Networks

Add code
Nov 06, 2020
Figure 1 for Learning with Molecules beyond Graph Neural Networks
Figure 2 for Learning with Molecules beyond Graph Neural Networks
Figure 3 for Learning with Molecules beyond Graph Neural Networks
Viaarxiv icon

Beyond Graph Neural Networks with Lifted Relational Neural Networks

Add code
Jul 13, 2020
Figure 1 for Beyond Graph Neural Networks with Lifted Relational Neural Networks
Figure 2 for Beyond Graph Neural Networks with Lifted Relational Neural Networks
Figure 3 for Beyond Graph Neural Networks with Lifted Relational Neural Networks
Figure 4 for Beyond Graph Neural Networks with Lifted Relational Neural Networks
Viaarxiv icon

Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers

Add code
Jul 10, 2020
Figure 1 for Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Figure 2 for Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Figure 3 for Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Figure 4 for Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
Viaarxiv icon

Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform

Add code
Jun 04, 2020
Figure 1 for Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform
Viaarxiv icon

Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms

Add code
Feb 24, 2020
Figure 1 for Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms
Figure 2 for Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms
Viaarxiv icon

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry

Add code
Jan 15, 2020
Figure 1 for Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
Viaarxiv icon

Domain-Liftability of Relational Marginal Polytopes

Add code
Jan 15, 2020
Viaarxiv icon

Lifted Weight Learning of Markov Logic Networks Revisited

Add code
Mar 07, 2019
Viaarxiv icon

Quantified Markov Logic Networks

Add code
Aug 21, 2018
Viaarxiv icon