research
∙
08/17/2023
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
Weighted model counting (WMC) is the task of computing the weighted sum ...
share
research
∙
02/09/2023
On Discovering Interesting Combinatorial Integer Sequences
We study the problem of generating interesting integer sequences with a ...
research
∙
02/06/2023
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
In this paper, we study the sampling problem for first-order logic propo...
research
∙
11/02/2022
Jump-Diffusion Langevin Dynamics for Multimodal Posterior Sampling
Bayesian methods of sampling from a posterior distribution are becoming ...
research
∙
11/02/2022
Lifted Inference with Linear Order Axiom
We consider the task of weighted first-order model counting (WFOMC) used...
research
∙
01/26/2022
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Statistical relational AI and probabilistic logic programming have so fa...
research
∙
01/24/2021
Context-Specific Likelihood Weighting
Sampling is a popular method for approximate inference when exact infere...
research
∙
11/06/2020
Learning with Molecules beyond Graph Neural Networks
We demonstrate a deep learning framework which is inherently based in th...
research
∙
07/13/2020
Beyond Graph Neural Networks with Lifted Relational Neural Networks
We demonstrate a declarative differentiable programming framework based ...
research
∙
07/10/2020
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers
It is known due to the work of Van den Broeck et al [KR, 2014] that weig...
research
∙
06/04/2020
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform
In this paper we show that inference in 2-variable Markov logic networks...
research
∙
02/24/2020
Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms
We study expressivity of Markov logic networks (MLNs). We introduce comp...
research
∙
01/15/2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
We study the symmetric weighted first-order model counting task and pres...
research
∙
01/15/2020
Domain-Liftability of Relational Marginal Polytopes
We study computational aspects of relational marginal polytopes which ar...
research
∙
05/31/2019
Neural Markov Logic Networks
We introduce Neural Markov Logic Networks (NMLNs), a statistical relatio...
research
∙
03/07/2019
Lifted Weight Learning of Markov Logic Networks Revisited
We study lifted weight learning of Markov logic networks. We show that t...
research
∙
07/03/2018
Quantified Markov Logic Networks
Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
research
∙
07/03/2018
Markov Logic Networks with Statistical Quantifiers
Markov Logic Networks (MLNs) are well-suited for expressing statistics s...
research
∙
04/17/2018
VC-Dimension Based Generalization Bounds for Relational Learning
In many applications of relational learning, the available data can be s...
research
∙
03/15/2018
PAC-Reasoning in Relational Domains
We consider the problem of predicting plausible missing facts in relatio...
research
∙
10/05/2017
Stacked Structure Learning for Lifted Relational Neural Networks
Lifted Relational Neural Networks (LRNNs) describe relational domains us...
research
∙
09/18/2017
Relational Marginal Problems: Theory and Estimation
In the propositional setting, the marginal problem is to find a (maximum...
research
∙
05/19/2017
Induction of Interpretable Possibilistic Logic Theories from Relational Data
The field of Statistical Relational Learning (SRL) is concerned with lea...
research
∙
11/18/2016
Stratified Knowledge Bases as Interpretable Probabilistic Models (Extended Abstract)
In this paper, we advocate the use of stratified logical theories for re...
research
∙
08/20/2015
Lifted Relational Neural Networks
We propose a method combining relational-logic representations with neur...
research
∙
06/03/2015