| Publication | Date of Publication | Type |
|---|
| On exact sampling in the two-variable fragment of first-order logic | 2026-02-27 | Paper |
Quantified neural Markov logic networks
International Journal of Approximate Reasoning | 2024-07-24 | Paper |
Lifted algorithms for symmetric weighted first-order model sampling
Artificial Intelligence | 2024-07-03 | Paper |
Learning Distributional Programs for Relational Autocompletion
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Lifted inference with tree axioms
Artificial Intelligence | 2023-11-16 | Paper |
First-order context-specific likelihood weighting in hybrid probabilistic logic programs
The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
Automatic conjecturing of P-recursions using lifted inference
Inductive Logic Programming | 2023-08-03 | Paper |
Hoeffding-Serfling inequality for U-statistics without replacement
Journal of Theoretical Probability | 2023-05-16 | Paper |
| On Discovering Interesting Combinatorial Integer Sequences | 2023-02-09 | Paper |
| Jump-Diffusion Langevin Dynamics for Multimodal Posterior Sampling | 2022-11-02 | Paper |
Hoeffding and Bernstein inequalities for U-statistics without replacement
Statistics & Probability Letters | 2022-06-01 | Paper |
Beyond graph neural networks with lifted relational neural networks
Machine Learning | 2022-01-28 | Paper |
Weighted first-order model counting in the two-variable fragment with counting quantifiers
Journal of Artificial Intelligence Research | 2021-05-25 | Paper |
Stacked structure learning for lifted relational neural networks
(available as arXiv preprint) | 2021-02-08 | Paper |
| Stacked structure learning for lifted relational neural networks | 2021-02-08 | Paper |
| Pruning hypothesis spaces using learned domain theories | 2021-02-08 | Paper |
Learning Predictive Categories Using Lifted Relational Neural Networks
Inductive Logic Programming | 2019-09-16 | Paper |
| Interpretable encoding of densities using possibilistic logic | 2018-07-12 | Paper |
| Lifted relational neural networks: efficient learning of latent relational structures | 2018-05-28 | Paper |
Constructing Markov Logic Networks from First-Order Default Rules
Inductive Logic Programming | 2016-10-19 | Paper |
Mine 'em all: a note on mining all graphs
Inductive Logic Programming | 2016-10-19 | Paper |
Formulating the template ILP consistency problem as a constraint satisfaction problem
Constraints | 2015-01-22 | Paper |
Bounded Least General Generalization
Inductive Logic Programming | 2013-06-14 | Paper |
Block-wise construction of tree-like relational features with monotone reducibility and redundancy
Machine Learning | 2012-05-08 | Paper |
Taming the complexity of inductive logic programming
SOFSEM 2010: Theory and Practice of Computer Science | 2010-01-28 | Paper |
| A restarted strategy for efficient subsumption testing | 2009-02-12 | Paper |
