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

DOI10.1016/S0377-0427(96)00089-1zbMath0868.68102MaRDI QIDQ5961647

Paul-André Monney, R. Bertschy

Publication date: 26 February 1997

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

zbMATH Keywords

decomposition methodsreliability theoryDempster-Shafter theory

Mathematics Subject Classification ID

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

Related Items

Cost-bounded argumentation ⋮ A belief function classifier based on information provided by noisy and dependent features ⋮ Using propositional logic to compute probabilities in multistate systems ⋮ Model-based diagnostics and probabilistic assumption-based reasoning

Cites Work

• A logic-based analysis of Dempster-Shafer theory
• Model-based diagnostics and probabilistic assumption-based reasoning
• A mathematical theory of hints. An approach to the Dempster-Shafer theory of evidence
• An Improved Algorithm for Network Reliability
• Smaller sums of disjoint products by subproduct inversion
• EVIDENCE THEORY BASED ON GENERAL CONSEQUENCE RELATIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item