Ondrej Kuzelka
21 papers · 2016–2026 · 8 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (25) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Silver 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(8)
🚀
Conference Pioneer
🔥
Unstoppable · Bronze
⚡
Prolific Year · Productive
💎
Century Club · Bronze
🗃️
Keyword Collector
(50)
Top co-authors
Research topics
Machine Learning
(15)
Optimization & Theory
(12)
Artificial Intelligence
(10)
Bayesian & Probabilistic · Artificial Intelligence
(7)
Knowledge & Reasoning
(5)
Mathematics & Optimization
(5)
Core AI
(4)
Optimization
(4)
Representation
(3)
Computer Science
(2)
Deep Learning
(2)
Architectures
(2)
Bayesian & Probabilistic · Machine Learning
(2)
Core Methods
(2)
Foundations
(2)
Keywords
first-order logic
(8)
markov logic network
(8)
statistical relational learning
(5)
lifted inference
(4)
knowledge base completion
(3)
weighted first-order model counting
(3)
probabilistic inference
(3)
weighted model counting
(3)
probabilistic graphical model
(3)
graphical model
(2)
approximate inference
(2)
maximum likelihood estimation
(2)
model counting
(2)
model sampling
(2)
relational marginal polytope
(2)
knowledge compilation
(1)
probabilistic logic
(1)
feature selection
(1)
cardinality constraint
(1)
tree ensemble
(1)
Papers
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
AAAI 2026
Faster Repeated Evasion Attacks in Tree Ensembles
NeurIPS 2024
Counting and Sampling Models in First-Order Logic
IJCAI 2023
Lifted Inference with Linear Order Axiom
AAAI 2023
On Discovering Interesting Combinatorial Integer Sequences
IJCAI 2023
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions
AAAI 2022
Context-Specific Likelihood Weighting
AISTATS 2021
Fast Algorithms for Relational Marginal Polytopes
IJCAI 2021
Faster lifting for two-variable logic using cell graphs
UAI 2021
Lossless Compression of Structured Convolutional Models via Lifting
ICLR 2021
Neural markov logic networks
UAI 2021
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
IJCAI 2020
Complex Markov Logic Networks: Expressivity and Liftability
UAI 2020
Domain-Liftability of Relational Marginal Polytopes
AISTATS 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