Ondrej Kuzelka
21 papers · 2016–2026 · 8 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
π Cross-Pollinator (11) π Interdisciplinary Bridge π Conference Polyglot (8) π Academic Marathon (8) π Renaissance Researcher (6)
π
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
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