Logical Compilation of Bayesian Networks with Discrete Variables

DOI10.1007/978-3-540-75256-1_48MaRDI QIDQ3524963zbMATH OpenOpenAlexFDO

Authors Michael L. Wachter, R. Haenni

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75256-1_48

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• A compositional approach to probabilistic knowledge compilation
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
• scientific article; zbMATH DE number 2096817
• Modeling and Reasoning with Bayesian Networks
• Compiling relational Bayesian networks for exact inference

Cites work

• A Computing Procedure for Quantification Theory
• A differential approach to inference in Bayesian networks
• Compiling relational Bayesian networks for exact inference
• Decomposable negation normal form
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 1945067 (Why is no real title available?)
• scientific article; zbMATH DE number 1946853 (Why is no real title available?)
• scientific article; zbMATH DE number 2000104 (Why is no real title available?)
• Logical Compilation of Bayesian Networks with Discrete Variables
• Probabilistic argumentation systems
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Theory and Applications of Satisfiability Testing

Cited in

(6)

• Weighted positive binary decision diagrams for exact probabilistic inference
• A compositional approach to probabilistic knowledge compilation
• An algebraic theory for statistical information based on the theory of hints
• Probabilistic argumentation
• Logical Compilation of Bayesian Networks with Discrete Variables
• A generic framework for a compilation-based inference in probabilistic and possibilistic networks

This page was built for publication: Logical Compilation of Bayesian Networks with Discrete Variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3524963)