Ondrej Kuzelka
Orcid: 0000-0002-6523-9114
According to our database1,
Ondrej Kuzelka
authored at least 80 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat.
CoRR, 2024
Artif. Intell., 2024
A More Practical Algorithm for Weighted First-Order Model Counting with Linear Order Axiom.
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024
2023
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023
First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs.
J. Artif. Intell. Res., 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theory Pract. Log. Program., 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Mach. Learn., 2021
Weighted First-Order Model Counting in the Two-Variable Fragment With Counting Quantifiers.
J. Artif. Intell. Res., 2021
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021
2020
Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform.
CoRR, 2020
Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms.
CoRR, 2020
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020
Proceedings of the International Conference on Probabilistic Graphical Models, 2020
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020
2019
Markov Logic Networks for Knowledge Base Completion: A Theoretical Analysis Under the MCAR Assumption.
Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, 2019
Scaling up relational templated neural models.
Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019
Proceedings of the 1st Conference on Automated Knowledge Base Construction, 2019
Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 2019
2018
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures.
J. Artif. Intell. Res., 2018
Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, 2018
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Proceedings of the 22nd Conference on Computational Natural Language Learning, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Stratified Knowledge Bases as Interpretable Probabilistic Models (Extended Abstract).
CoRR, 2016
Appl. Artif. Intell., 2016
Proceedings of the 11th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy'16) co-located with the Joint Multi-Conference on Human-Level Artificial Intelligence (HLAI 2016), 2016
Proceedings of the Inductive Logic Programming - 26th International Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
2015
Novel gene sets improve set-level classification of prokaryotic gene expression data.
BMC Bioinform., 2015
Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015
Proceedings of the NIPS Workshop on Cognitive Computation: Integrating Neural and Symbolic Approaches co-located with the 29th Annual Conference on Neural Information Processing Systems (NIPS 2015), 2015
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015
Learning to Detect Network Intrusion from a Few Labeled Events and Background Traffic.
Proceedings of the Intelligent Mechanisms for Network Configuration and Security, 2015
2014
J. Intell. Inf. Syst., 2014
2013
Formulating the template ILP consistency problem as a constraint satisfaction problem.
Constraints An Int. J., 2013
Proceedings of the Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to, 2013
2012
Prediction of DNA-binding propensity of proteins by the ball-histogram method using automatic template search.
BMC Bioinform., 2012
Proceedings of the New Frontiers in Mining Complex Patterns - First International Workshop, 2012
Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2012
Extending the ball-histogram method with continuous distributions and an application to prediction of DNA-binding proteins.
Proceedings of the 2012 IEEE International Conference on Bioinformatics and Biomedicine, 2012
2011
Block-wise construction of tree-like relational features with monotone reducibility and redundancy.
Mach. Learn., 2011
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2011
Proceedings of the Bioinformatics Research and Applications - 7th International Symposium, 2011
Proceedings of the ACM International Conference on Bioinformatics, 2011
2010
Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010
Seeing the World through Homomorphism: An Experimental Study on Reducibility of Examples.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010
Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming.
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010
Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.
Proceedings of the Abstraction, 2010
2009
Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties.
Proceedings of the 26th Annual International Conference on Machine Learning, 2009
2008
Fast estimation of first-order clause coverage through randomization and maximum likelihood.
Proceedings of the Machine Learning, 2008