conftrace_

weighted model counting

20 papers

Explore in graph

Also known as

WMC

Co-occurring keywords

probabilistic inference (312) weighted model integration (15) knowledge compilation (40) bayesian network (378) first-order logic (171) graphical model (864) lifted inference (46) model counting (46) continuous variable (10) markov logic network (36)

Papers

Variance Computation for Weighted Model Counting with Knowledge Compilation Approach AAAI 2026
New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025
Counting and Sampling Models in First-Order Logic IJCAI 2023
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022
Faster lifting for two-variable logic using cell graphs UAI 2021
Lifted reasoning meets weighted model integration UAI 2021
Weighted model counting with conditional weights for Bayesian networks UAI 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
ADDMC: Weighted Model Counting with Algebraic Decision Diagrams AAAI 2020
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020
Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting AAAI 2020
Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs AAAI 2019
Efficient Search-Based Weighted Model Integration UAI 2019
How to Exploit Structure while Solving Weighted Model Integration Problems UAI 2019
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration IJCAI 2019
Parallel Probabilistic Inference by Weighted Model Counting PGM 2018
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017
Efficient Inference for Untied MLNs IJCAI 2017
Weighted Model Integration with Orthogonal Transformations IJCAI 2017
Lifted Symmetry Detection and Breaking for MAP Inference NIPS 2015