← Authors

Ondrej Kuzelka

21 papers · 2016–2026 · 8 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (11) πŸ—ΊοΈ Taxonomy Completionist (22) 🌈 Renaissance Researcher (6) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (8) πŸƒ Academic Marathon (8) πŸŒ‰ Interdisciplinary Bridge πŸ† Keyword Champion (8) πŸ”₯ Unstoppable (9) πŸš€ Conference Pioneer πŸ“ˆ Trend Setter πŸ’Ž Century Club (20) ⚑ Prolific Year (5)

Conferences

IJCAI (7) UAI (4) AAAI (3) AISTATS (3) CONLL (1) ICLR (1) NIPS (1) PGM (1)

Top co-authors

Yuyi Wang (7) Timothy van Bremen (4) Jesse Davis (4) Yuanhong Wang (3) Steven Schockaert (3) Jan TΓ³th (2) Vyacheslav Kungurtsev (2) Jan Ramon (1) Lorenzo Cascioli (1) Qipeng Kuang (1)

Keywords

markov logic network (8) first-order logic (8) statistical relational learning (5) lifted inference (4) probabilistic inference (3) probabilistic graphical model (3) weighted model counting (3) knowledge base completion (2) approximate inference (2) relational marginal polytope (2) maximum likelihood estimation (2) model counting (2) model sampling (2) weighted first-order model counting (2) discrete mathematics (1) dynamic programming (1) knowledge compilation (1) probabilistic logic (1) probabilistic modeling (1) interpretable model (1)

Papers

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence AAAI 2026
Faster Repeated Evasion Attacks in Tree Ensembles NIPS 2024
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Lifted Inference with Linear Order Axiom AAAI 2023
Counting and Sampling Models in First-Order Logic IJCAI 2023
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022
Faster lifting for two-variable logic using cell graphs UAI 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
Context-Specific Likelihood Weighting AISTATS 2021
Neural markov logic networks UAI 2021
Lossless Compression of Structured Convolutional Models via Lifting ICLR 2021
Domain-Liftability of Relational Marginal Polytopes AISTATS 2020
Complex Markov Logic Networks: Expressivity and Liftability UAI 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry IJCAI 2020
Lifted Weight Learning of Markov Logic Networks (Revisited One More Time) PGM 2020
Lifted Weight Learning of Markov Logic Networks Revisited AISTATS 2019
Markov Logic Networks for Knowledge Base Completion: A Theoretical Analysis Under the MCAR Assumption UAI 2019
Modelling Salient Features as Directions in Fine-Tuned Semantic Spaces CONLL 2018
Induction of Interpretable Possibilistic Logic Theories from Relational Data IJCAI 2017
Bounds for Learning from Evolutionary-Related Data in the Realizable Case IJCAI 2016
Learning Possibilistic Logic Theories from Default Rules IJCAI 2016