< Back to previous page
Researcher
Timothy Van Bremen
- Disciplines:Knowledge representation and reasoning, Machine learning and decision making, Computational logic and formal languages
Affiliations
- Declarative Languages and Artificial Intelligence (DTAI) (Division)
Member
From1 Aug 2020 → 31 Aug 2022
Projects
1 - 1 of 1
- Symmetry at Many Levels: Exploiting Symmetry for Fast Probabilistic Inference and CountingFrom21 Sep 2018 → 14 Jun 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 10 of 11
- Symmetry at Many Levels: Exploiting Symmetry for Fast Probabilistic Inference and Counting(2022)
Authors: Timothy Van Bremen, Luc De Raedt
- Automatic Conjecturing of P-Recursions Using Lifted Inference(2022)
Authors: Timothy Van Bremen
Pages: 17 - 25 - Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions(2022)
Authors: Timothy Van Bremen
Pages: 10070 - 10079 - Faster Lifting for Two-Variable Logic Using Cell Graphs(2021)
Authors: Timothy Van Bremen
Pages: 1393 - 1402 - Lifted Inference with Tree Axioms(2021)
Authors: Timothy Van Bremen
Pages: 599 - 608 - Fast Algorithms for Relational Marginal Polytopes(2021)
Authors: Timothy Van Bremen
Pages: 4266 - 4274 - Symmetric Component Caching for Model Counting on Combinatorial Instances(2021)
Authors: Timothy Van Bremen, Vincent Derkinderen
Pages: 3922 - 3930 - onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming(2020)
Authors: Timothy Van Bremen
Pages: 501 - 507 - Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry(2020)
Authors: Timothy Van Bremen
Pages: 4252 - 4258 - Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry(2020)
Authors: Timothy Van Bremen
Pages: 4252 - 4258