Ondřej Kuželka

From MaRDI portal
Person:413860

Available identifiers

zbMath Open kuzelka.ondrejMaRDI QIDQ413860

List of research outcomes





PublicationDate of PublicationType
Quantified neural Markov logic networks2024-07-24Paper
Lifted algorithms for symmetric weighted first-order model sampling2024-07-03Paper
Learning Distributional Programs for Relational Autocompletion2023-12-12Paper
Lifted inference with tree axioms2023-11-16Paper
First-order context-specific likelihood weighting in hybrid probabilistic logic programs2023-10-23Paper
Automatic conjecturing of P-recursions using lifted inference2023-08-03Paper
Hoeffding-Serfling inequality for U-statistics without replacement2023-05-16Paper
On Discovering Interesting Combinatorial Integer Sequences2023-02-09Paper
Jump-Diffusion Langevin Dynamics for Multimodal Posterior Sampling2022-11-02Paper
Hoeffding and Bernstein inequalities for U-statistics without replacement2022-06-01Paper
Beyond graph neural networks with lifted relational neural networks2022-01-28Paper
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers2021-05-25Paper
Stacked structure learning for lifted relational neural networks2021-02-08Paper
Pruning hypothesis spaces using learned domain theories2021-02-08Paper
Learning Predictive Categories Using Lifted Relational Neural Networks2019-09-16Paper
https://portal.mardi4nfdi.de/entity/Q45762462018-07-12Paper
https://portal.mardi4nfdi.de/entity/Q46436942018-05-28Paper
Constructing Markov Logic Networks from First-Order Default Rules2016-10-19Paper
Mine ’Em All: A Note on Mining All Graphs2016-10-19Paper
Formulating the template ILP consistency problem as a constraint satisfaction problem2015-01-22Paper
Bounded Least General Generalization2013-06-14Paper
Block-wise construction of tree-like relational features with monotone reducibility and redundancy2012-05-08Paper
Taming the Complexity of Inductive Logic Programming2010-01-28Paper
https://portal.mardi4nfdi.de/entity/Q36027442009-02-12Paper

Research outcomes over time

This page was built for person: Ondřej Kuželka