Logical Compilation of Bayesian Networks with Discrete Variables

DOI10.1007/978-3-540-75256-1_48zbMath1148.68540OpenAlexW1593879159MaRDI QIDQ3524963

Rolf Haenni, Michael L. Wachter

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)

Related Items (5)

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

Cites Work

• Compiling relational Bayesian networks for exact inference
• A differential approach to inference in Bayesian networks
• Logical Compilation of Bayesian Networks with Discrete Variables
• Decomposable negation normal form
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A Computing Procedure for Quantification Theory
• Theory and Applications of Satisfiability Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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