knowledge compilation

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