Scholar
Ondřej Kuželka
Google Scholar ID: QWmpgVgAAAAJ
Czech Technical University in Prague
Citations & Impact
Citations
701
H-index
13
i10-index
21
Publications
20
Co-authors
24
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published paper 'Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity' at LICS 2025
- Published paper 'Lifted Algorithms for Symmetric Weighted First-Order Model Sampling' in 'Artificial Intelligence'
- Published paper 'Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat' at KR 2024
- Published paper 'Faster Repeated Evasion Attacks in Tree Ensembles' at NeurIPS 2024
- Published paper 'A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom' at ECAI 2024
- Published paper 'Quantified Neural Markov Logic Networks' in 'International Journal of Approximate Reasoning'
- Delivered an invited talk 'Model Counting and Sampling in First-Order Logic' at DL 2024
- Published paper 'On Discovering Interesting Combinatorial Integer Sequences' at IJCAI 2023
- Published paper 'On Exact Sampling in the Two-Variable Fragment of First-Order Logic' at LICS 2023
- Published paper 'Lifted Inference with Linear Order Axiom' at AAAI 2023
- Published paper 'Lifted Inference with Tree Axioms' in 'Artificial Intelligence'
- Published paper 'First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs' in 'Journal of Artificial Intelligence Research'
- Published paper 'Counting and Sampling Models in First-Order Logic' at IJCAI 2023
- Published paper 'Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions' at AAAI 2022
- Published paper 'Hoeffding–Serfling Inequality for U-Statistics Without Replacement' in 'Journal of Theoretical Probability'
- Published paper 'Hoeffding and Bernstein Inequalities for U-statistics Without Replacement' in 'Statistics and Probability Letters'
- Published paper 'Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers' in 'Journal of Artificial Intelligence Research'
- Published paper 'Neural Markov Logic Networks' at UAI 2021
- Published paper 'Lifted Inference with Tree Axioms' at KR 2021
Research Experience
- Published multiple papers in international conferences and journals, including LICS, IJCAI, AAAI, etc.
Education
- Did two postdocs in the DTAI group at KU Leuven, with Luc De Raedt and Jan Ramon, and one at Cardiff University with Steven Schockaert.
Background
- Assistant professor working on ML and AI in CS Dept @FEE, Czech Technical University in Prague.
