( en | de | ru )

 

Disambiguierung von "van Bremen, Timothy"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symmetric Component Caching for Model Counting on Combinatorial Instances.

, , , , und . AAAI, Seite 3922-3930. AAAI Press, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gertrud Bremen

Wolfgang Bremen

Thilo Bremen

Lüder Bremen

Josef Bremen

 

Weitere Publikationen von Autoren mit dem selben Namen

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry., und . IJCAI, Seite 4252-4258. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability., , und . ICDT, Volume 290 von LIPIcs, Seite 15:1-15:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Fast Algorithms for Relational Marginal Polytopes., , , , und . IJCAI, Seite 4266-4274. ijcai.org, (2021)Faster lifting for two-variable logic using cell graphs., und . UAI, Volume 161 von Proceedings of Machine Learning Research, Seite 1393-1402. AUAI Press, (2021)Ontology-Mediated Queries over Probabilistic Data via Probabilistic Logic Programming., , und . CIKM, Seite 2437-2440. ACM, (2019)Probabilistic Query Evaluation: The Combined FPRAS Landscape., und . PODS, Seite 339-347. ACM, (2023)Symmetric Component Caching for Model Counting on Combinatorial Instances., , , , und . AAAI, Seite 3922-3930. AAAI Press, (2021)Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions., , , und . AAAI, Seite 10070-10079. AAAI Press, (2022)onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming., , und . Künstliche Intell., 34 (4): 501-507 (2020)Lifted inference with tree axioms., und . Artif. Intell., (November 2023)