conftrace_

knowledge compilation

40 papers

Explore in graph

Also known as

KC

Co-occurring keywords

model counting (46) probabilistic inference (312) boolean function (44) weighted model counting (20) propositional logic (55) bayesian network (378) decision diagram (19) boolean circuit (10) circuit complexity (12) circuit representation (4)

Papers

The Power of Literal Equivalence in Model Counting AAAI 2021
Certifying Top-Down Decision-DNNF Compilers AAAI 2021
Weighted model counting with conditional weights for Bayesian networks UAI 2021
Faster lifting for two-variable logic using cell graphs UAI 2021
Efficient Generation of Structured Objects with Constrained Adversarial Networks NIPS 2020
Switch-List Representations in a Knowledge Compilation Map IJCAI 2020
Lower Bounds for Approximate Knowledge Compilation IJCAI 2020
Beyond the Grounding Bottleneck: Datalog Techniques for Inference in Probabilistic Logic Programs AAAI 2020
On Relating Explanations and Adversarial Examples NIPS 2019
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation AAAI 2019
Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively IJCAI 2019
Parallel Probabilistic Inference by Weighted Model Counting PGM 2018
Approximate Knowledge Compilation by Online Collapsed Importance Sampling NIPS 2018
An Improved Decision-DNNF Compiler IJCAI 2017
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011