Timothy van Bremen

16 papers A* 6A 3B 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Approximating Queries on Probabilistic Graphs.
Log. Methods Comput. Sci.
Antoine Amarilli, Timothy van Bremen, Octave Gaspard, Kuldeep S. Meel
2025 — conf
Best of the Rest: Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability.
Provenance Week@SIGMOD
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2024 A conf
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability.
ICDT
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2023 J jnl
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability.
CoRR
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
2023 J jnl
Lifted inference with tree axioms.
Artif. Intell.
Timothy van Bremen, Ondrej Kuzelka
2023 A* conf
Probabilistic Query Evaluation: The Combined FPRAS Landscape.
PODS
Timothy van Bremen, Kuldeep S. Meel
2022 A* conf
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions.
AAAI
Yuanhong Wang, Timothy van Bremen, Yuyi Wang, Ondrej Kuzelka
2021 B conf
Automatic Conjecturing of P-Recursions Using Lifted Inference.
ILP
Jáchym Barvínek, Timothy van Bremen, Yuyi Wang, Filip Zelezný, Ondrej Kuzelka
2021 A* conf
Fast Algorithms for Relational Marginal Polytopes.
IJCAI
Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang, Ondrej Kuzelka
2021 A conf
Faster lifting for two-variable logic using cell graphs.
UAI
Timothy van Bremen, Ondrej Kuzelka
2021 A* conf
Lifted Inference with Tree Axioms.
KR
Timothy van Bremen, Ondrej Kuzelka
2021 A* conf
Symmetric Component Caching for Model Counting on Combinatorial Instances.
AAAI
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
2020 A* conf
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
IJCAI
Timothy van Bremen, Ondrej Kuzelka
2020 J jnl
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry.
CoRR
Timothy van Bremen, Ondrej Kuzelka
2020 J jnl
onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming.
Künstliche Intell.
Timothy van Bremen, Anton Dries, Jean Christoph Jung
2019 A conf
Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming.
CIKM
Timothy van Bremen, Anton Dries, Jean Christoph Jung