关注
Timothy van Bremen
Timothy van Bremen
在 ntu.edu.sg 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Lifted inference with tree axioms
T Van Bremen, O Kuželka
Artificial Intelligence 324, 103997, 2023
182023
Faster lifting for two-variable logic using cell graphs
T van Bremen, O Kuželka
Uncertainty in Artificial Intelligence, 1393-1402, 2021
132021
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
112021
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
102022
Approximate weighted first-order model counting: Exploiting fast approximate model counters and symmetry
T Van Bremen, O Kuzelka
arXiv preprint arXiv:2001.05263, 2020
102020
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
92019
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
72021
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
62023
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
42020
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability
A Amarilli, T van Bremen, KS Meel
arXiv preprint arXiv:2309.13287, 2023
32023
Fast Algorithms for Relational Marginal Polytopes.
Y Wang, T van Bremen, J Pu, Y Wang, O Kuzelka
IJCAI, 4266-4274, 2021
32021
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
22021
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
系统目前无法执行此操作,请稍后再试。
文章 1–14