Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory

DOI10.1007/978-3-540-75256-1_30zbMATH Open1148.68525OpenAlexW1488991733MaRDI QIDQ3524940FDOQ3524940

Authors: N. Lehmann 

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_30

Recommendations

• Representation of interrelationships among binary variables under dempster-shafer theory of belief functions
• Binary decision diagrams
• Implementing belief function computations
• A logic-based analysis of Dempster-Shafer theory
• Implementing Dempster's rule for hierarchical evidence

Mathematics Subject Classification ID

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

Cites Work

• Graph-Based Algorithms for Boolean Function Manipulation
• Title not available (Why is that?)
• Upper and Lower Probabilities Induced by a Multivalued Mapping
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• Implementing belief function computations
• Title not available (Why is that?)

Cited In (3)

• Representation of interrelationships among binary variables under dempster-shafer theory of belief functions
• A Logical Version of the Belief Function Theory
• Towards a logical belief function theory

Uses Software

• CUDD

This page was built for publication: Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory

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