Lifted inference with tree axioms T Van Bremen, O Kuželka Artificial Intelligence 324, 103997, 2023 | 18 | 2023 |
Faster lifting for two-variable logic using cell graphs T van Bremen, O Kuželka Uncertainty in Artificial Intelligence, 1393-1402, 2021 | 13 | 2021 |
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 | 11 | 2021 |
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 | 10 | 2022 |
Approximate weighted first-order model counting: Exploiting fast approximate model counters and symmetry T Van Bremen, O Kuzelka arXiv preprint arXiv:2001.05263, 2020 | 10 | 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 |
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 | 7 | 2021 |
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 | 6 | 2023 |
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 |
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability A Amarilli, T van Bremen, KS Meel arXiv preprint arXiv:2309.13287, 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 |
Symmetry at Many Levels: Exploiting Symmetry for Fast Probabilistic Inference and Counting T Van Bremen, L De Raedt, O Kuzelka | | 2022 |
Research Fellow, National University of Singapore T van Bremen | | |