Timothy van Bremen

According to our database, Timothy van Bremen authored at least 11 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability.

Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel

Proceedings of the 27th International Conference on Database Theory, 2024

2023

Lifted inference with tree axioms.

Timothy van Bremen, Ondrej Kuzelka

Artif. Intell., November, 2023

Probabilistic Query Evaluation: The Combined FPRAS Landscape.

Timothy van Bremen, Kuldeep S. Meel

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions.

Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Faster lifting for two-variable logic using cell graphs.

Timothy van Bremen, Ondrej Kuzelka

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

Automatic Conjecturing of P-Recursions Using Lifted Inference.

Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Zelezný, Ondrej Kuzelka

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Fast Algorithms for Relational Marginal Polytopes.

Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang, Ondrej Kuzelka

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Symmetric Component Caching for Model Counting on Combinatorial Instances.

Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.

Timothy van Bremen, Anton Dries, Jean Christoph Jung

Künstliche Intell., 2020

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.

Timothy van Bremen, Ondrej Kuzelka

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.

Timothy van Bremen, Anton Dries, Jean Christoph Jung

Proceedings of the 28th ACM International Conference on Information and Knowledge Management, 2019