| Lifted inference with tree axioms T Van Bremen, O Kuželka Artificial Intelligence 324, 103997, 2023 | 14 | 2023 |
| Faster lifting for two-variable logic using cell graphs T Van Bremen, O Kuželka Uncertainty in Artificial Intelligence, 1393-1402, 2021 | 10 | 2021 |
| Approximate weighted first-order model counting: Exploiting fast approximate model counters and symmetry T Van Bremen, O Kuzelka arXiv preprint arXiv:2001.05263, 2020 | 9 | 2020 |
| Ontology-mediated queries over probabilistic data via probabilistic logic programming T Van Bremen, A Dries, JC Jung Proceedings of the 28th ACM International Conference on Information and …, 2019 | 9 | 2019 |
| Domain-lifted sampling for universal two-variable logic and extensions Y Wang, T Van Bremen, Y Wang, O Kuželka Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 10070 …, 2022 | 8 | 2022 |
| Automatic conjecturing of P-recursions using lifted inference J Barvínek, T Van Bremen, Y Wang, F Železný, O Kuželka International Conference on Inductive Logic Programming, 17-25, 2021 | 8 | 2021 |
| Symmetric component caching for model counting on combinatorial instances T Van Bremen, V Derkinderen, S Sharma, S Roy, KS Meel Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3922-3930, 2021 | 5 | 2021 |
| onto2problog: a probabilistic ontology-mediated querying system using probabilistic logic programming T van Bremen, A Dries, JC Jung KI-Künstliche Intelligenz 34, 501-507, 2020 | 4 | 2020 |
| Probabilistic query evaluation: The combined FPRAS landscape T van Bremen, KS Meel Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2023 | 3 | 2023 |
| Fast Algorithms for Relational Marginal Polytopes. Y Wang, T Van Bremen, J Pu, Y Wang, O Kuzelka IJCAI, 4266-4274, 2021 | 3 | 2021 |
| From probabilistic netkat to problog: New algorithms for inference and learning in probabilistic networks B Van den Berg, T Van Bremen, V Derkinderen, A Kimmig, T Schrijvers, ... International Conference on Probabilistic Programming, Location: Online, 2021 | 2 | 2021 |
| Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability A Amarilli, T van Bremen, KS Meel arXiv preprint arXiv:2309.13287, 2023 | 1 | 2023 |
| Symmetry at Many Levels: Exploiting Symmetry for Fast Probabilistic Inference and Counting T Van Bremen | | 2022 |
| Research Fellow, National University of Singapore T van Bremen | | |
Ondřej KuželkaCzech Technical University in PragueVerified email at fel.cvut.cz
