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

Variance Computation for Weighted Model Counting with Knowledge Compilation Approach AAAI 2026
A Knowledge Compilation Map for Quantum Information AAAI 2026
Proof Systems That Tightly Characterise Model Counting Algorithms AAAI 2026
Grounding Methods for Neural-Symbolic AI IJCAI 2025
Circuit-Aware d-DNNF Compilation IJCAI 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs AAAI 2025
New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025
Counting and Reasoning with Plans AAAI 2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
Learning from Logical Constraints with Lower- and Upper-Bound Arithmetic Circuits IJCAI 2025
Encoding Constraints as Binary Constraint Networks Satisfying BTP AAAI 2024
Engineering an Exact Pseudo-Boolean Model Counter AAAI 2024
Structured d-DNNF Is Not Closed under Negation IJCAI 2024
Compilation and Fast Model Counting beyond CNF IJCAI 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation AAAI 2024
Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability IJCAI 2024
Scaling integer arithmetic in probabilistic programs UAI 2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
Fast Converging Anytime Model Counting AAAI 2023
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation AAAI 2022
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022
Knowledge Compilation Meets Logical Separability AAAI 2022
LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022
Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021