A generalization of the algorithm of Heidtmann to non-monotone formulas

DOI10.1016/S0377-0427(96)00089-1MaRDI QIDQ5961647zbMATH OpenFDO

Authors R. Bertschy, P. A. Monney

Publication date 26 February 1997

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0377-0427(96)00089-1

zbMATH Keywords

decomposition methodsDempster-Shafter theoryreliability theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Boolean Normal Forms, Shellability, and Reliability Computations
• Smaller sums of disjoint products by subproduct inversion
• Comment on "An improved Abraham-method for generating disjoint sums
• A Minimizing Algorithm for Sum of Disjoint Products
• An Improved Abraham-Method for Generating Disjoint Sums

Cites work

• A logic-based analysis of Dempster-Shafer theory
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• An Improved Algorithm for Network Reliability
• EVIDENCE THEORY BASED ON GENERAL CONSEQUENCE RELATIONS
• scientific article; zbMATH DE number 4012495 (Why is no real title available?)
• scientific article; zbMATH DE number 719691 (Why is no real title available?)
• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• scientific article; zbMATH DE number 956588 (Why is no real title available?)
• Model-based diagnostics and probabilistic assumption-based reasoning
• Smaller sums of disjoint products by subproduct inversion

Cited in

(6)

• Heuristics and exact algorithms for solving the Monden problem
• Model-based diagnostics and probabilistic assumption-based reasoning
• Using propositional logic to compute probabilities in multistate systems
• scientific article; zbMATH DE number 3896630 (Why is no real title available?)
• A belief function classifier based on information provided by noisy and dependent features
• Cost-bounded argumentation

This page was built for publication: A generalization of the algorithm of Heidtmann to non-monotone formulas

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